Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/deepthought/tst/   (GAP Algebra Version 4.15.1©)  Datei vom 20.5.2025 mit Größe 2 kB image not shown  

Quelle  finite.tst   Sprache: unbekannt

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

gap> testpackage := Filename( DirectoriesPackageLibrary( "DeepThought", "tst" ),
>                             "testpackage.g" );;
gap> Read(testpackage);;

# finite group 
gap> p := 2;;
gap> k := 5;;
gap> num := NrSmallGroups(p^k);;
gap> nr := Random([1 .. num]);; 
gap> H := PcGroupToPcpGroup(SmallGroup(p^k, nr)); 
Pcp-group with orders [ 22222 ]
gap> coll := Collector(H);;
gap> Test_DTP_functions(coll, true, 10001000); 
true
gap> Test_DTP_functions(coll, false, 10001000);
true
gap> Test_DTP_pkg_consistency(coll, 100);
true

# finite group 
gap> p := 2;;
gap> k := 8;;
gap> num := NrSmallGroups(p^k);;
gap> nr := Random([1 .. num]);; 
gap> H := PcGroupToPcpGroup(SmallGroup(p^k, nr)); 
Pcp-group with orders [ 22222222 ]
gap> coll := Collector(H);;
gap> Test_DTP_functions(coll, true, 10001000); 
true
gap> Test_DTP_functions(coll, false, 10001000);
true
gap> Test_DTP_pkg_consistency(coll, 100);
true

# finite group 
gap> p := 5;;
gap> k := 2;;
gap> num := NrSmallGroups(p^k);;
gap> nr := Random([1 .. num]);; 
gap> H := PcGroupToPcpGroup(SmallGroup(p^k, nr)); 
Pcp-group with orders [ 55 ]
gap> coll := Collector(H);;
gap> Test_DTP_functions(coll, true, 10001000); 
true
gap> Test_DTP_functions(coll, false, 10001000);
true
gap> Test_DTP_pkg_consistency(coll, 100);
true

# finite group 
gap> p := 5;;
gap> k := 4;;
gap> num := NrSmallGroups(p^k);;
gap> nr := Random([1 .. num]);; 
gap> H := PcGroupToPcpGroup(SmallGroup(p^k, nr)); 
Pcp-group with orders [ 5555 ]
gap> coll := Collector(H);;
gap> Test_DTP_functions(coll, true, 10001000); 
true
gap> Test_DTP_functions(coll, false, 10001000);
true
gap> Test_DTP_pkg_consistency(coll, 100);
true

# finite group 
gap> p := 7;;
gap> k := 3;;
gap> num := NrSmallGroups(p^k);;
gap> nr := Random([1 .. num]);; 
gap> H := PcGroupToPcpGroup(SmallGroup(p^k, nr)); 
Pcp-group with orders [ 777 ]
gap> coll := Collector(H);;
gap> Test_DTP_functions(coll, true, 10001000); 
true
gap> Test_DTP_functions(coll, false, 10001000);
true
gap> Test_DTP_pkg_consistency(coll, 100);
true

# finite group 
gap> p := 23;;
gap> k := 4;;
gap> num := NrSmallGroups(p^k);;
gap> nr := Random([1 .. num]);; 
gap> H := PcGroupToPcpGroup(SmallGroup(p^k, nr)); 
Pcp-group with orders [ 23232323 ]
gap> coll := Collector(H);;
gap> Test_DTP_functions(coll, true, 10001000); 
true
gap> Test_DTP_functions(coll, false, 10001000);
true
gap> Test_DTP_pkg_consistency(coll, 100);
true

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