Quelle  gpolygons_span.include  Sprache: unbekannt

gap> mat := [ [ 1, 1, 0, 0, 0, 1, 0 ], [ 1, 0, 0, 1, 1, 0, 0 ],
>          [ 1, 0, 1, 0, 0, 0, 1 ], [ 0, 1, 1, 1, 0, 0, 0 ],
>          [ 0, 1, 0, 0, 1, 0, 1 ], [ 0, 0, 0, 1, 0, 1, 1 ],
>          [ 0, 0, 1, 0, 1, 1, 0 ] ];
[ [ 1, 1, 0, 0, 0, 1, 0 ], [ 1, 0, 0, 1, 1, 0, 0 ], [ 1, 0, 1, 0, 0, 0, 1 ], 
  [ 0, 1, 1, 1, 0, 0, 0 ], [ 0, 1, 0, 0, 1, 0, 1 ], [ 0, 0, 0, 1, 0, 1, 1 ], 
  [ 0, 0, 1, 0, 1, 1, 0 ] ]
gap> gp := GeneralisedPolygonByIncidenceMatrix(mat);
<projective plane order 2>
gap> p := Random(Points(gp));
<a point in <projective plane order 2>>
gap> q := Random(Points(gp));
<a point in <projective plane order 2>>
gap> Span(p,q);
&lt;a line in &lt;projective plane order 2&<span style='color:red'>gt;&gt;
gap&gt; ps := ParabolicQuadric(4,3);
Q(4, 3)
gap&gt; gp := GeneralisedPolygonByElements(Set(Points(ps)),Set(Lines(ps)),\*);
&lt;generalised quadrangle of order [ 3, 3 ]&gt;
gap&gt; p := Random(Points(gp));
&lt;a point in &lt;generalised quadrangle of order [ 3, 3 ]&gt;&gt;
gap&gt; q := Random(Points(gp));
&lt;a point in &lt;generalised quadrangle of order [ 3, 3 ]&gt;&gt;
gap&gt; Span(p,q);
#I  &lt;x&gt; and &>lt;y&gt; do not span a line of gp
fail