Next: Classical Groups
Up: Groups
Previous: Groups
Automatic Groups
New Features:
- A number of intrinsics have been provided to return information
about the word acceptor and word difference automata. These are
WordAcceptorSize, WordAcceptor, WordDifferenceSize,
WordDifferenceAutomaton, WordDifferences,
and GeneratorOrder.
- Printing level Magma has now been implemented for automatic groups.
This makes it possible to write (read) automatic groups to (from) a file.
The reconstruction of the group implements a number of basic checks
on the input to avoid possibly corrupt input, but does not do exhaustive
checks.
- A database of automatic groups corresponding to 4000 hyperbolic 3
-manifolds
from the Weeks' census of low volume hyperbolic 3-manifolds will shortly be
made available.
Bug Fixes:
- Detection of infinite loops when constructing an automatic structure
for a group has been improved. Also, the verbose messages printed
on failure are more comprehensive.
- A number of memory problems, including memory leaks and crashes,
have been fixed, improving the use of memory and the stability of the code.
- The generator access A.i, when A is an automatic group,
now works when i is zero or negative.
- The MaxWordDiffs parameter is now taken notice of when constructing
the automata.
Next: Classical Groups
Up: Groups
Previous: Groups