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

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.19 of Wed Apr 24 15:09:57 EST 2013