Documentation
g2_3 :: [Permutation (Octonion F3)]Source
Generators for G2(3), a finite simple group of order 4245696, as a permutation group on the 702 unit imaginary octonions over F3
g2_3 :: [Permutation (Octonion F3)]Source
Generators for G2(3), a finite simple group of order 4245696, as a permutation group on the 702 unit imaginary octonions over F3