Magnus is a special purpose mathematical package for Infinite Group Theory computations
include/ ACConjecture.h ACE.h AGModule.h AbelianInvariants.h AbelianProblems.h AffineProblem.h AreEltsEqual.h CommutatorIterator.h CommutatorsChecker.h ConjugacyProblem.h EquationsInFPProblem.h ExtendToHomProblem.h FNWP.h FreeIsPartOfBasisProblem.h FreeProblems.h GAConjProblemForORGroup.h GAEquations.h GAWordProblemForORGroup.h GeneticProblems.h HNNProblems.h HToddCoxeter.h HomologyProblem.h IsAbelianProblem.h IsEltCentral.h IsFiniteProblem.h IsFreeProblem.h IsNilpotentProblem.h IsTrivialProblem.h IsWordAPE.h KBModule.h KernelPresentation.h MakeRandomPresentation.h NGSubgroupProblems.h NilpotentProblems.h NilpotentQuotients.h NormalClosure.h OneRelatorProblems.h OrderOfElt.h OrderProblem.h PreAbelianRepProblem.h QuadEquationSolver.h RankOfElt.h RankOfSubgroup.h Rewrites.h SGNilpotentQuotients.h SMMagnusBreakdown.h SetOfWordsChecker.h SubgroupContainmentProblem.h SubgroupProblems.h TTProblem.h ToddCoxeter.h WhiteheadMinimal.h WordProblem.h fastProblems.h src/ ACConjecture.C ACE.C AGModule.C AbelianInvariants.C AbelianProblems.C AffineProblem.C AreEltsEqual.C CommutatorsChecker.C ConjugacyProblem.C EquationsInFPProblem.C ExtendToHomProblem.C FNWP.C FreeIsPartOfBasisProblem.C FreeProblems.C GAConjProblemForORGroup.C GAEquations.C GAWordProblemForORGroup.C GeneticProblems.C HNNProblems.C HToddCoxeter.C HomologyProblem.C IsAbelianProblem.C IsEltCentral.C IsFiniteProblem.C IsFreeProblem.C IsNilpotentProblem.C IsTrivialProblem.C IsWordAPE.C KBModule.C KernelPresentation.C MakeRandomPresentation.C NGSubgroupProblems.C NilpotentProblems.C NilpotentQuotients.C NormalClosure.C OneRelatorProblems.C OrderOfElt.C OrderProblem.C PreAbelianRepProblem.C QuadEquationSolver.C RankOfElt.C RankOfSubgroup.C Rewrites.C SGNilpotentQuotients.C SMMagnusBreakdown.C Makefile