GAP Manual: 25.53. IsNormalized

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.