Symbolic Computation with Indexed Objects within Mathematica

A new Mathematica package EinS is intended for calculations involving sums of indexed objects (e.g., tensors). EinS automatically handles implicit summations and dummy indices, allows one to assign symmetry properties to new objects and has an efficient built-in simplification algorithm based on pattern matching. Further features include printing expressions in a 2-dimensional form, exporting into plain TeX or LaTeX with user-controllable alignment commands, converting implicit summations into explicit ones, debugging capabilities and online help messages. Some typical applications of EinSare described.