Quelle  gpolygons_meet.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> l := Random(Lines(gp));
&lt;a line in &lt;projective plane order 2&<span style='color:red'>gt;&gt;
gap&gt; m := Random(Lines(gp));
&lt;a line in &lt;projective plane order 2&<span style='color:red'>gt;&gt;
gap&gt; Meet(l,m);
&lt;a point in &lt;projective plane order 2&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; l := Random(Lines(gp));
&lt;a line in &lt;generalised quadrangle of order [ 3, 3 ]&gt;&gt;
gap&gt; m := Random(Lines(gp));
&lt;a line in &lt;generalised quadrangle of order [ 3, 3 ]&gt;&gt;
gap&gt; Meet(l,m);
#I  &lt;x&gt; and &>lt;y&gt; do meet in a common point of gp
fail