25.53 Normalize

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).

Previous Up Top Next
Index

GAP 3.4.4
April 1997