Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/loops/gap/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 29.7.2024 mit Größe 672 B image not shown  

Quelle  bol_core_methods.gd   Sprache: unbekannt

 
#############################################################################
##
#W  bol_core_methods.gd     Common methods for Bol loops [loops]
##
##
#Y  Copyright (C)  2004,  G. P. Nagy (University of Szeged, Hungary),
#Y                        P. Vojtechovsky (University of Denver, USA)
##

DeclareAttribute( "AssociatedLeftBruckLoop", IsLeftBolLoop );
DeclareAttribute( "AssociatedRightBruckLoop", IsRightBolLoop );

DeclareOperation( "IsExactGroupFactorization", [ IsGroup, IsGroup, IsGroup ] );
DeclareGlobalFunction( "RightBolLoopByExactGroupFactorizationNC" ); # auxiliary
DeclareGlobalFunction( "RightBolLoopByExactGroupFactorization" ); # variable arguments



[ Dauer der Verarbeitung: 0.4 Sekunden  (vorverarbeitet)  ]