What is this This is a computer algebra system. It helps simplify tensor expressions which have symmetries like SO(n) or SU(n). Useful for physics, chemistry, and engineering. Specifically this was built to remove redundant calculations in Feynman diagrams. Related Links Penrose graphical notation Group Theory: Birdtracks, Lie's, and Exceptional Groups Overview Video