Magnus is a special purpose mathematical package for Infinite Group Theory computations
Project homepage:
http://sourceforge.net/projects/magnus
Programming language(s): C,C++
License: other
Some source files from: Magnus/magnus/back_end/KB
include/
DiffHistory.h
DiffHistoryRep.h
DiffMachine.h
DiffMachineRep.h
GenMult.h
GenMultRep.h
KBMachine.h
KBMachineRep.h
KBmagPackage.h
RKBPackage.h
WordOrder.h
WordOrderRep.h
src/
DiffMachineRep.C
GenMultRep.C
KBMachineRep.C
KBmagPackage.C
RKBPackage.C
test/
test-Diff.C
test-Diff.data
test-Diff.mastertestout
test-GenMult.C
test-GenMult.data
test-GenMult.mastertestout
test-KBM.C
test-KBM.data
test-KBM.mastertestout
test-KBmag.C
test-KBmag.data
test-KBmag.mastertestout
test-RKBP.C
test-RKBP.data
test-RKBP.mastertestout
test-finiteness.C
test-finiteness.data
test-finiteness.mastertestout
test-rewrite.C
test-rewrite.data
test-rewrite.mastertestout
test-weighedLex.mastertestout
test-weightedLex.C
test-weightedLex.data
test-weightedLex.mastertestout
test-weightedSL.C
test-weightedSL.data
test-weightedSL.mastertestout
test-wordAcceptor.C
test-wordAcceptor.data
test-wordAcceptor.mastertestout
Makefile
See more files for this project here