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.