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