Eine aufbereitete Darstellung der Quelle

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

Benutzer

Quelle  groupsearch.tst   Sprache: unbekannt

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

#############################################################################
##
#W  groupsearch.tst          DifSets Package                     Dylan Peifer
##
##  Tests of functions from groupsearch.gi.
##

gap> START_TEST("DifSets Package: groupsearch.tst");

gap> LoadPackage("example", false);
true

gap> G := SmallGroup(83);;
gap> List(RefiningSeries(G), N -> Size(N));
8421 ]

gap> G := SmallGroup(311);;
gap> PossibleDifferenceSetSizes(G);
61015 ]

gap> G := SmallGroup(169);;
gap> DifferenceSetsOfSizeK(G, 1);
[ [ 1 ] ]

gap> G := SmallGroup(169);;
gap> DifferenceSets(G);
[ [ 1234710 ], [ 123489 ] ]

gap> G := SmallGroup(168);;
gap> N := Subgroup(G, [G.3, G.4]);;
gap> DifferenceSumsOfSizeK(G, N, 1);
[ [ 1000 ] ]

gap> G := SmallGroup(168);;
gap> N := Subgroup(G, [G.3, G.4]);;
gap> DifferenceSums(G, N);
[ [ 3111 ], [ 2220 ] ]

gap> STOP_TEST("groupsearch.tst", 10000);

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

[Dauer der Verarbeitung: 0.15 Sekunden, vorverarbeitet 2026-06-15]

                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik

Statistik
#Sources=492969
#Domains=607362