IsNormalized( U )
IsNormalized
returns true
if no induced generating system but an
canonical generating system for U is known.
If U.cgs
but not U.igs
is bound, true
is returned. If neither
U.cgs
nor U.igs
are bound, a canonical generating system is
computed, bound to U.cgs
and true
is retuned. If U.igs
is
present, it is check, if U.igs
is a canonical generating. If so, the
canonical generating system is bound to U.cgs
and U.igs
is
unbound.
GAP 3.4.4