Finitely Presented Groups
Abelian Groups
Abelian group creation, generic abelian groups, and elements.
Free Groups
Free group creation, subgroups, and automorphisms.
Introduction to FP-Groups
FP-group construction, properties, and subgroups.
Finitely Presented Groups
FP-group construction, simplification, and standard constructions.
Polycyclic Groups
Polycyclic group construction, subgroups, quotients, and conversion.
Braid Groups
Braid group construction and element creation.
Groups Defined by Rewrite Systems
Rewriting system creation, properties, and arithmetic for groups.
Automatic and Hyperbolic Groups
Automatic groups and hyperbolic groups.
Groups of Straight-line Programs
Straight-line program group creation and operations.
Finitely Presented Semigroups
Semigroup presentation creation, operations, and properties.
Monoids Given by Rewrite Systems
Rewriting system creation, operations, and homomorphisms for monoids.