magnus 20060324-5.2ubuntu1 (amd64 binary) in ubuntu lucid

 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.
 .
 MAGNUS features an intuitive graphical user interface, facilities for
 running different algorithms on the same problem in parallel, generation
 of approximations for working on otherwise infeasible problems, genetic
 algorithms and a plug-in package manager.