Construction of an SLP-Group and its Elements

Contents

Structure Constructors

Magma's black-box groups are built on Magma's other group types. The basic constructor takes a group and returns a corresponding black-box group. The element set of the black-box group is essentially the same as the element set of the original group, and the group operations are inherited from the original group.

NaturalBlackBoxGroup(H) : Grp -> GrpBB
Construct the natural black-box group from the concrete group H.

Construction of an Element

Identity(G) : GrpBB -> GrpBBElt
Id(G) : GrpBB -> GrpBBElt
G ! 1 : GrpBB, RngIntElt -> GrpBBElt
Construct the identity element for the BB-group G.
V2.28, 13 July 2023