| |
| | The Point-Set and Line-Set of a Plane |
 | | An affine or projective plane in Magma consists of three objects: the plane P itself, the point--set V of P, and the line--set L of P. Although called the point--set and line--set, V and L are not actual Magma sets. |
 | | Given the line set L of a classical plane P defined over a finite field K, and elements a, b, c of K, create the line (i.e. |
 | | Given the line--set L of a plane P and a line l of a (possibly) different plane (generally a subplane of P), return the line of P corresponding to l. |
| www.umich.edu /~gpcc/scs/magma/text1219.htm (930 words) |
|