ComputerAlgebraSystem - http://zebra.sci.ccny.cuny.edu/web/nygtc/software/aboutmagnus.html debian deb package - magnus - Computational group theory software with GUI [[:in apt-line:]]