Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/recog/misc/bbox/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 22.0.2025 mit Größe 462 B image not shown  

Quelle  M22G1-find1   Sprache: unbekannt

 
# Black box algorithm to find standard generators
# of M22

 set V 0

lbl START
 rand 1
 ord 1 A
 incr V
 if V gt 1000 then timeout
 if A notin 1 2 3 4 5 6 7 8 11 then fail
 if A noteq 8 then jmp START

 mu 1 1 3
 mu 3 3 2

 set X 0

lbl CONJ
  incr X
 if X gt 1000 then timeout
 rand 4
 cjr 3 4
 mu 2 3 5   # ab
 ord 5 D
 if D notin 2 3 4 5 6 7 8 11 then fail
 if D noteq 11 then jmp CONJ

 mu 5 3 6
 mu 5 6 7
 ord 7 E

 if E noteq 11 then jmp CONJ

 oup 2 2 3

Messung V0.5
C=88 H=96 G=91

[ Dauer der Verarbeitung: 0.12 Sekunden  (vorverarbeitet)  ]