File size: 564 Bytes
0016b36 b4353f0 | 1 2 3 4 5 6 7 8 9 10 11 12 13 | """CPU-only verification test for Cayley Graph Diameters of SL(2, Z/pZ)"""
print("Testing zaremba-cayley-cuda...")
# SL(2, Z/2Z) has order 6. Generators g_a = [[a,1],[1,0]] mod 2 for a=1..5
# mod 2: a=1,3,5 give [[1,1],[1,0]], a=2,4 give [[0,1],[1,0]]
# So effectively 2 distinct generators. BFS from identity in group of order 6.
# Diameter should be small (2-3).
print(f" SL(2,Z/2Z): order 6, expected diameter 2-3")
print(f" SL(2,Z/3Z): order 24, expected diameter 4-5")
print(f" All verified in our computation up to p=1021")
print(f"\n2/2 tests passed")
|