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
:
isFactorGroupElement
contains true
.
info
:
operations
:FactorGroupAgWordsOps
.
GAP 3.4.4