Math.Projects.ChevalleyGroup.Exceptional

data Octonion k

i0

i1

i2

i3

i4

i5

i6

fromList

toList

expose

nf

m

conj

sqnorm

isOrthogonal

antiCommutes

octonions

isUnit

unitImagOctonions

autFrom

(%^)

alpha3

beta3

gamma3s

gamma3

alpha3'

beta3'

gamma3'

g2_3

alpha4

beta4

gamma4s

gamma4

alpha4'

beta4'

gamma4'