Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quelle  timing_normals.g   Sprache: unbekannt

 
Spracherkennung für: .g vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

############################################################################
##
##  timing_normals.g                  CRISP                 Burkhard Höfling
##
##  Copyright © 2000 Burkhard Höfling
##
NormalSubgroupsSolvableOld := G -> SubgroupsSolvableGroup(G,rec(
        actions:=List(GeneratorsOfGroup(G),i->InnerAutomorphism(G,i)),
        normal:=true));

LoadPackage("crisp", "", false);
CRISP_Read("tst/timing_test.g");
CRISP_Read("tst/timing_samples.g");

Sizes := l -> Collected(List(l, Size));


tests :=

    [tmp -> NormalSubgroups(tmp), Sizes, "CRISP", ["UPP"]],
    [tmp -> NormalSubgroupsCalc(tmp), Sizes, "new lib", ["UPP"]],
    [tmp -> NormalSubgroupsSolvableOld( tmp, TrivialSubgroup( tmp ), []),  Sizes, "old lib",
    [tmp -> NormalSubgroupsAbove( tmp, TrivialSubgroup( tmp ), []),  Sizes, "ccl",
        ["DARK/6", "DARK", "UPP", "LUXwrS3"]],
];

Print("normal subgroups\n");
DoTests(groups, tests);


############################################################################
##
#E
##

[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-09-02]

                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik

Statistik
#Sources=1019547
#Domains=890699