25.59 CollectorlessFactorGroup

CollectorlessFactorgroup( G, N )

CollectorlessFactorgroup constructs the factorgroup F = <G>/<N> without initializing a new collector. The elements of F are records faking ag words.

Each element f of F contains the following components.

representative:

a canonical representative d in G for f.

isFactorGroupElement contains true.

info:

a record containing information about the factor group.

operations:

the operations record FactorGroupAgWordsOps.

Previous Up Top Next
Index