|
gap> ps := ProjectiveSpace(5,9);
ProjectiveSpace(5, 9)
gap> sub := CanonicalSubgeometryOfProjectiveSpace(ps,GF(3));
Subgeometry PG(5, 3) of ProjectiveSpace(5, 9)
gap> p := VectorSpaceToElement(sub,[1,1,1,1,0,0]*Z(9)^0);
<a point in Subgeometry PG(5, 3) of ProjectiveSpace(5, 9)>
gap> l := VectorSpaceToElement(sub,[[1,1,1,1,0,0],[0,0,0,0,1,0]]*Z(9)^0);
<a line in Subgeometry PG(5, 3) of ProjectiveSpace(5, 9)>
gap> plane := VectorSpaceToElement(sub,[[1,0,0,0,0,0],[0,1,0,0,0,0],[0,0,1,0,0,0]]*Z(9)^0);
<a plane in Subgeometry PG(5, 3) of ProjectiveSpace(5, 9)>
gap> p * l;
true
gap> l * p;
true
gap> IsIncident(p,l);
true
gap> p in l;
true
gap> l in p;
false
gap> p * plane;
false
gap> l * plane;
false
gap> l in plane;
false
gap> e := EmptySubspace(sub);
< empty subspace >
gap> e * l;
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 1st choice method found for `*' on 2 arguments at /opt/gap-4.11.0/lib/methsel2.g:249 called from
<function "HANDLE_METHOD_NOT_FOUND">( <arguments> )
called from read-eval loop at *stdin*:22
type 'quit;' to quit to outer loop
brk> quit;
[ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
]
|
