[Next][Prev] [Right] [Left] [Up] [Index] [Root]

Construction of an SLP-Group and its Elements

Subsections

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.
 [Next][Prev] [Right] [Left] [Up] [Index] [Root]

Version: V2.19 of Mon Dec 17 14:40:36 EST 2012