The order of the plane P.

# V : PlanePtSet -> RngIntElt

The cardinality v of the point-set V of the plane P.

# L : PlaneLnSet -> RngIntElt

The cardinality v of the line-set L of the plane P.

The p-rank of the plane P of order p^t.

pRank(P, p) : Plane -> RngIntElt

The p-rank of the plane P.

> P := ProjectivePlane(8);
> NumberOfLines(P);
73
> Order(P);
8
> pRank(P);
28
> pRank(P, 2);
28
> pRank(P, 3);
72
> pRank(P, 5);
73