[Next] [Prev] [Right] [Left] [Up] [Index] [Root] 
Construction of a Blackbox Group and its Elements


Construction of a Blackbox Group and its Elements






Subsections



Structure Constructors





BlackboxGroup(n) : RngIntElt -> GrpBB



Construct the free group F of straight-line programs on n generators,
where n is a non-negative integer.
The i-th generator may be referenced by the 
expression F.i, i = 1, ..., n.





Example GrpBB_BlackboxGroup (H17E1)

The statement





> F := BlackboxGroup(2);


creates the free group on two generators. Here the generators may be 
referenced using the standard names, F.1 and F.2.  Group operations on
the elements will be stored as part of the result.



Construction of an Element





Identity(G) : GrpBB -> GrpBBElt


Id(G) : GrpBB -> GrpBBElt


G ! 0 : GrpBB, RngIntElt -> GrpBBElt



Construct the identity element (the straight-line program [] of length 0)
for the blackbox group G.



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