[Next] [Prev] [Right] [Left] [Up] [Index] [Root]
The Structures Associated with a Plane
The Structures Associated with a Plane
VectorSpace(P) : Plane -> ModTupFld
The vector space underlying the classical plane P.
Field(P) : Plane -> FldFin
The field over which the classical plane P is defined.
[Next] [Prev] [Right] [Left] [Up] [Index] [Root]