Two planes are considered equal if their point sets are equal and they have the same lines.

P eq Q : Plane, Plane -> BoolElt

True if the planes P and Q are equal, otherwise false.

True if the planes P and Q are not equal, otherwise false.

    AutomorphismGroups: MonStgElt       Default: "None"

True if the planes P and Q are isomorphic, otherwise false. If the planes are isomorphic, an isomorphism f from P onto Q is also returned. The function first computes none, one, or both of the automorphism groups of the left and right planes. This may assist the isomomorphism testing. The parameter AutomorphismGroups, with valid string values Both, Left, Right, None, may be used to specify which of the automorphism groups should be constructed first if not already known. The default is None.

True if P is a subplane of Q, otherwise false.