[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 Mon Dec 17 14:40:36 EST 2012