| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/xmod/lib/ (Algebra von RWTH Aachen Version 4.15.1©) Datei vom 10.6.2025 mit Größe 3 kB |
|
Quelle gp4obj.gd Sprache: unbekannt |
|
|
Untersuchungsergebnis.gd Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln ############################################################################# ## ## gp4obj.gd GAP4 package `XMod' Chris Wensley ## Alper Odabas #Y Copyright (C) 2001-2025, Chris Wensley et al, ## ## This file declares generic methods for (pre-)crossed cubes and ## (pre-)cat3-groups. ############################################################################# ## #A Front3DimensionalGroup( <PS> ) #A Left3DimensionalGroup( <PS> ) #A Up3DimensionalGroup( <PS> ) #A Right3DimensionalGroup( <PS> ) #A Down3DimensionalGroup ( <PS> ) #A Back3DimensionalGroup( <PS> ) ## DeclareAttribute( "Front3DimensionalGroup", IsHigherDimensionalGroup ); DeclareAttribute( "Left3DimensionalGroup", IsHigherDimensionalGroup ); DeclareAttribute( "Up3DimensionalGroup", IsHigherDimensionalGroup ); DeclareAttribute( "Right3DimensionalGroup", IsHigherDimensionalGroup ); DeclareAttribute( "Down3DimensionalGroup", IsHigherDimensionalGroup ); DeclareAttribute( "Back3DimensionalGroup", IsHigherDimensionalGroup ); ############################################################################# ## #A Size4d( <obj> ) ## DeclareAttribute( "Size4d", IsHigherDimensionalDomain ); ############################################################################# ## #R IsPreCat3GroupObj ( <obj> ) #T PreCat3GroupObjType #O PreCat3GroupObj( <cat2gp>, <cat2 gp> ) ## A pre-cat3-group is a cube of commuting pre-cat1-groups ## DeclareRepresentation( "IsPreCat3GroupObj", IsHigherDimensionalGroup and IsAttributeStoringRep, [ "front3d", "left3d", "up3d", "right3d", "down3d", "back3d" ] ); BindGlobal( "PreCat3GroupObjType", NewType( FamilyHigherDimensionalGroup, IsPreCat3GroupObj ) ); DeclareOperation( "PreCat3GroupObj", [ IsList] ); ############################################################################# ## #P IsPreCat3Group( <PCG> ) #P IsCat3Group( <C1G> ) ## DeclareProperty( "IsPreCat3Group", IsHigherDimensionalGroup ); DeclareProperty( "IsCat3Group", IsHigherDimensionalGroup ); InstallTrueMethod( IsPreCat3Group, IsCat3Group ); ############################################################################# ## #F PreCat3Group( <arg> ) #F Cat3Group( <arg> } #F DetermineRemainingFaces( <arg> ) #O DetermineRemainingCat2Groups( <front> <left> ) #O PreCat3GroupByPreCat2Groups( <front>,<left>,<up>,<right>,<down>,<back> ) ## DeclareGlobalFunction( "PreCat3Group" ); DeclareGlobalFunction( "Cat3Group" ); DeclareGlobalFunction( "DetermineRemainingFaces" ); DeclareOperation( "DetermineRemainingCat2Groups", [ IsPreCat2Group, IsPreCat2Group ] ); DeclareOperation( "PreCat3GroupByPreCat2Groups", [ IsPreCat2Group, IsPreCat2Group, IsPreCat2Group, IsPreCat2Group, IsPreCat2Group, IsPreCat2Group ] ); ############################################################################# ## #O AllCat3Groups( <G> ) #O AllCat3GroupsIterator( <gp> ) #A AllCat3GroupsNumber( <gp> ) #O AllCat3GroupsUpToIsomorphism( <G> ) #O AllCat3GroupTriples( <G> ) ## DeclareOperation( "AllCat3Groups", [ IsGroup ] ); DeclareOperation( "AllCat3GroupsIterator", [ IsGroup ] ); DeclareAttribute( "AllCat3Gro DeclareOperation( "AllCat3GroupsUpToIsomorphism", [ IsGroup ] ); DeclareOperation( "AllCat3GroupTriples", [ IsGroup ] ); [ zur Elbe Produktseite wechseln0.87Quellennavigators ] |
2026-03-28