73.49 IsCat1

IsCat1( C )

This function checks that the axioms of a cat1-group are satisfied and that the main fields of a cat1-group record exist.

    gap> IsCat1(C);
    true  

Previous Up Top Next
Index