Construction of an SLP-Group and its Elements
Structure Constructors
NaturalBlackBoxGroup(H) : Grp -> GrpBB
Construction of an Element
Identity(G) : GrpBB -> GrpBBElt
Arithmetic with Elements
u * v : GrpBBElt, GrpBBElt -> GrpBBElt
u ^ m : GrpBBElt, RngIntElt -> GrpBBElt
u ^ v : GrpBBElt, GrpBBElt -> GrpBBElt
(u, v) : GrpBBElt, GrpBBElt -> GrpBBElt
Accessing the Defining Generators
G . i : GrpBB, RngIntElt -> GrpBBElt
Generators(G) : GrpBB -> { GrpBBElt }
NumberOfGenerators(G) : GrpBB -> RngIntElt
Equality and Comparison
u eq v : GrpBBElt, GrpBBElt -> BoolElt
u ne v : GrpBBElt, GrpBBElt -> BoolElt
Attributes of Elements
Parent(u) : GrpBBElt -> GrpBB
UnderlyingElement(u) : GrpBBElt -> GrpElt
Order(u) : GrpBBElt -> RngIntElt
Example GrpBB_standard-gens (H64E1)
Membership and Equality
g in G : GrpBBElt, GrpBB -> BoolElt
Set Operations
PseudoRandom(G) : GrpBB -> GrpBBElt
Rep(G) : GrpBB -> GrpBBElt
Coercions Between Related Groups
G ! g : GrpBB, GrpBBElt -> GrpBBElt
[Next][Prev] [Right] [____] [Up] [Index] [Root]
Version: V2.19 of
Mon Dec 17 14:40:36 EST 2012