Properties of Planes

IsDesarguesian(P) : Plane -> BoolElt
Returns true if and only if the plane P is a desarguesian plane.
IsSelfDual(P) : PlaneProj -> BoolElt
Returns true if and only if the projective plane P is self--dual.

V2.28, 13 July 2023