Magnus is a special purpose mathematical package for Infinite Group Theory computations
include/ AbelianEquations.h AbelianGroup.h AbelianGroupRep.h AbelianInfinitenessProblem.h AbelianSGPresentation.h Affine.h EqSystemParser.h EquationParser.h FGGroup.h FGGroupRep.h FPGroup.h FPGroupRep.h FreeByCyclic.h FreeGroup.h FreeGroupRep.h GeneralWhitehead.h Group.h GroupFastChecks.h GroupRep.h Homology.h MSCGConjugacyProblem.h MSCGroup.h ORWordProblem.h PowerSeriesWP.h PresentationParser.h PrimeNumbers.h Products.h RandomAutomorphism.h RandomMSCGroup.h RandomPrimitiveElement.h RipsConstruction.h ShortenByRelators.h SmithNormalForm.h SmithNormalForm1.h SymmetricRelators.h TTP.h TietzeTrekker.h WordEnumerator.h src/ AbelianEquations.C AbelianGroup.C AbelianGroupRep.C AbelianInfinitenessProblem.C AbelianSGPresentation.C Aff_poly_matrix.C Aff_poly_pair.C Aff_poly_term.C Aff_polynomial.C Affine.C EqSystemParser.C EquationParser.C FGGroup.C FGGroupRep.C FPGroup.C FPGroupRep.C FreeByCyclic.C FreeGroup.C FreeGroupRep.C GeneralWhitehead.C Group.C GroupFastChecks.C GroupRep.C Homology.C MSCGConjugacyProblem.C MSCGroup.C ORWordProblem.C PowerSeriesWP.C PresentationParser.C PrimeNumbers.C Products.C RandomAutomorphism.C RandomMSCGroup.C RandomPrimitiveElement.C RipsConstruction.C ShortenByRelators.C SmithNormalForm.C SmithNormalForm1.C SymmetricRelators.C TTP.C TietzeTrekker.C WordEnumerator.C test/ debug-AbelianGroup.C debug-AbelianInfinitenessProblem.C debug-EquationParser.C debug-MSCGConjugacyProblem.C debug-MSCGroup.C debug-MSCGroup.data debug-MSCGroup.testout debug-RandomAutomorphism.C debug-RandomMSCGroup.C debug-RandomPrimitiveElement.C debug-TietzeTrekker.C test-SymmetricRelators.C Makefile