[Next] [Prev] [Right] [Left] [Up] [Index] [Root]
Properties of Planes
Properties of Planes
IsDesarguesian(P) : Plane -> BoolElt
True if and only if the plane P is a desarguesian plane.
IsSelfDual(P) : ProjPl -> BoolElt
True if and only if the projective plane P is self-dual.
[Next] [Prev] [Right] [Left] [Up] [Index] [Root]