HaskellForMaths-0.3.1: Combinatorics, group theory, commutative algebra, non-commutative algebra

Math.Projects.ChevalleyGroup.Exceptional

Synopsis

Documentation

newtype Octonion k Source

Constructors

O [(Int, k)] 

Instances

Eq k => Eq (Octonion k) 
(Ord k, Num k, Fractional k) => Fractional (Octonion k) 
(Ord k, Num k) => Num (Octonion k) 
Ord k => Ord (Octonion k) 
Show k => Show (Octonion k) 

i1 :: Octonion QSource

i2 :: Octonion QSource

i3 :: Octonion QSource

i4 :: Octonion QSource

i5 :: Octonion QSource

i6 :: Octonion QSource

i0 :: Octonion QSource

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