Construction and Arithmetic

• Nilpotent quotient of a finitely presented group (W. Nickel's algorithm)
• Direct products
• Product, inverse, conjugate, commutator for elements
• Element normal form and equality testing
• Element order
• Random element generation