Braid Groups [HB 31]

New Features:

• The intrinsic Generators has been provided to return the generators of a group for the current presentation or a given presentation.

• The intrinsics UltraSummitRepresentative and UltraSummitSet return an element in the ultra summit set of a given element and the whole ultra summit set of a given element respectively. To determine if a given element is contained in its ultra summit set use IsUltraSummitRepresentative.

• The process for constructing the ultra summit elements of a given element can be obtained using UltraSummitProcess.

• Minimal simple elements result from the new intrinsics MinimalElementConjugatingToPositive, MinimalElementConjugatingToSuperSummit and MinimalElementConjugatingToUltraSummit.

• A simple element and a minimal element can be gained using Transport and Pullback of an element contained in its super summit set and a simple element.