gap&gt; pg := PG(1,7^3);
ProjectiveSpace(1, 343)
gap&gt; p1 := VectorSpaceToElement(pg,[1,1]*Z(7)^0);
&lt;a point in ProjectiveSpace(1, 343)&gt;
gap&gt; p2 := VectorSpaceToElement(pg,[1,2]*Z(7)^0);
&lt;a point in ProjectiveSpace(1, 343)&gt;
gap&gt; p3 := VectorSpaceToElement(pg,[1,3]*Z(7)^0);
&lt;a point in ProjectiveSpace(1, 343)&gt;
gap&gt; IsFrameOfProjectiveSpace([p1,p2,p3]);
true
