Math.Projects.MiniquaternionGeometry
data F9
e
f9
w
conj
norm
data J9
squaresF9
i
j
k
j9
autJ9
autA
autB
autC
autsJ9
conj'
isAut
isReal
isComplex
ptsPG2
orthogonalLinesPG2
rightLinesPG2
leftLinesPG2
phi
phi'
collineationsPhi
liftToGraph
omega0
omega
omega2
collineationsOmega
omegaD
omegaD1
omegaD2
(<*)
psi
psi2
collineationsPsi
order
isProjectivePlane
collinear
isQuadrangle
concurrent
isQuadrilateral
isOval
findOvals1
findQuadrangles
findOvals