Quelle  M11G1-find1   Sprache: unbekannt

# Black box algorithm to find standard generators
# of M11

 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 8 11 then fail
 if A notin 4 8 then jmp START

 div A 2 B
 pwr B 1 2

 div A 4 C
 pwr C 1 3

 # The elements 2 and 3 are now in the correct conjugacy classes.

 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 8 11 then fail
 if D noteq 11 then jmp CONJ

 mu 5 3 6
 mu 6 3 7
 mu 5 6 8
 mu 8 7 9   # ababbabbb

 ord 9 E

 if E eq 3 then
  inv 3 10
  cp 10 3
 endif

 oup 2 2 3