25.5 Set Functions for Ag Groups

As already mentioned in the introduction of the chapter, ag groups are domains. Thus all set theoretic functions, for example Intersection and Size, can be applied to ag groups. This and the following sections give further comments on the definition and implementations of those functions for ag groups. All set theoretic functions not mentioned here not treated special for ag groups.

Elements( G )

The elements of a group G are constructed using a canonical generating system. See Elements for Ag Groups.

g in G

Membership is tested using SiftedAgWord (see SiftedAgWord), if g lies in the parent group of G. Otherwise false is returned.

IsSubset( G, H )

If G and H are groups then IsSubset tests if the generators of H are elements of G. Otherwise DomainOps.IsSubset is used.

Intersection( G, H )

The intersection of ag groups G and H is computed using Glasby's algorithm. See Intersection for Ag Groups.

Size( G )

The size of G is computed using a canonical generating system of G. See Size for Ag Groups.

Previous Up Top Next
Index

GAP 3.4.4
April 1997