| Current Path : /usr/share/gap/lib/ |
Linux ift1.ift-informatik.de 5.4.0-216-generic #236-Ubuntu SMP Fri Apr 11 19:53:21 UTC 2025 x86_64 |
| Current File : //usr/share/gap/lib/trans.g |
DeclareCategoryKernel("IsTransformation",
IsMultiplicativeElementWithInverse and IsAssociativeElement,
IS_TRANS);
DeclareCategoryCollections( "IsTransformation" );
DeclareCategoryCollections( "IsTransformationCollection" );
BIND_GLOBAL("TransformationFamily", NewFamily("TransformationFamily",
IsTransformation, CanEasilySortElements, CanEasilySortElements));
DeclareRepresentation( "IsTrans2Rep", IsInternalRep, [] );
DeclareRepresentation( "IsTrans4Rep", IsInternalRep, [] );
BIND_GLOBAL("TYPE_TRANS2", NewType(TransformationFamily,
IsTransformation and IsTrans2Rep));
BIND_GLOBAL("TYPE_TRANS4", NewType(TransformationFamily,
IsTransformation and IsTrans4Rep));