The Canon package: a fast kernel for tensor manipulators. Nature of problem: Manipulation and simplification of tensor expressions (or any expression in terms of indexed objects) in explicit index notation, where the indices obey generic permutation symmetries and there may exist dummy (summed over) indices. Solution method: Computational Group Theory algorithms have been used, specially algorithms for finding canonical representations of single and double cosets, and algorithms for creating strong generating sets. (Source: