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'