MAF

Contents

• Introduction
  • Copyright notice
  • Preface
  • How MAF happened
  • What is MAF?
  • What's new?
  • Obtaining and installing MAF
• An overview of MAF
  • Solutions to the word problem
  • Computations on whole groups or monoids
  • Computations on subgroups
• Reference
  • Internal limits
  • File names and formats
    • Input files
    • Substructure files
    • Coset system filenames
    • Output files (groups and monoids)
    • Output files (Coset systems)
  • Word-ordering methods
  • Piping and redirection
  • Exit codes
  • Usage
    • Usage: command line syntax
    • Usage: standard options
    • Usage: automata
    • Usage: RWS Utilities

    • Usage: FSA Utilities

• Tutorials
  • 1 - Processing an input file with automata
  • 2 - Choosing generators
  • 3 - Using wreath product word-orderings
  • 4 - A useful trick with two generator groups
  • 5 - Discovering more about a group
  • 6 - Intersecting subgroups
• Background material
  • Alphabets, words, and identifiers
  • Finitely presented monoids
  • Orderings
  • The word problem
  • Rewriting systems
  • Finite state automata
  • Automatic structures
  • The general multiplier and word-differences
  • Subgroup word-acceptors
• Appendices
  • Appendix A : MAF and KBMAG compared
  • Appendix B : Using the GAP KBMAG package with MAF
  • Appendix C : How MAF works
  • Appendix D : GNU Free Documentation License