Normalize( U )
Normalize
converts an induced generating system of an ag group U into
a canonical one.
If U.cgs
and not U.igs
is bound, U is returned without any
further action. If U contains both components U.cgs
and U.igs
,
U.igs
is unbound. If only U.igs
but not U.cgs
is bound the
generators in U.igs
are converted into a canonical generating and
bound to U.cgs
, while U.igs
is unbound. If neither U.igs
nor
U.cgs
are bound a canonical generating system is computed using Cgs
(see Cgs).
GAP 3.4.4