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