magnus - computational group theory software with GUI
The MAGNUS Computational Group Theory Package is an innovative symbolic
algebra package providing facilities for doing calculations in and
about infinite groups. Almost all symbolic algebra systems are
oriented toward finite computations that are guaranteed to produce
answers, given enough time and resources. By contrast, MAGNUS is
concerned with experiments and computations on infinite groups which in
some cases are known to terminate, while in others are known to be
generally recursively unsolvable.
A graphical object and method based user interface which is easy
and intuitive to use and naturally reflects the underlying C++
A kernel comprised of a ‘‘session manager", to communicate
between the user interface or front-end and the back-end where
computations are carried out, and ‘‘computation managers" which
direct the computations which may involve several algorithms and
‘‘information centers" where information is stored;
Facilities for performing several procedures in parallel and
allocating resources to each of several simultaneous algorithms
working on the same problem;
Enumerators which generate sizable finite approximations to both
finite and infinite algebraic objects and make it possible to
carry out searches for answers even when general algorithms may
Innovative genetic algorithms;
A package manager to ‘‘plug in" more special purpose algorithms
written by others.
See http://www.grouptheory.org/ for further information.
Magnus was written by Dmitri Bormotov <email@example.com>,
Gilbert Baumslag, C.F. Miller III, Hamish Short and many others.
This manual page was prepared by Ben Burton <firstname.lastname@example.org>, for the
Debian GNU/Linux system (but may be used by others).
July 21, 2005