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.

[Next][Prev] [Right] [Left] [Up] [Index] [Root]

Version: V2.29 of Fri Nov 28 15:14:01 AEDT 2025