It may sometimes be desirable to have an explicitly enumerated set of the points or lines of a plane, as opposed to the point--set and line--set, which aren't true Magma sets. The following functions have been provided for this purpose.
An indexed set E whose elements are the points of the plane P. Note that this creates a standard indexed set and not the point--set of P, in contrast to the function PointSet.
An indexed set containing the lines of the plane P. In contrast to the function LineSet, this function returns the collection of lines of P in the form of a standard indexed set.