|
# a hyeroval of PG(2,4)
pg := ProjectiveSpace(2,4);
points := Points(pg);
pointslist := AsList(points);
Display(pointslist[1]);
frame := [[1,0,0],[0,1,0],[0,0,1],[1,1,1]]*Z(2)^0;
frame := List(frame,x -> VectorSpaceToElement(pg,x));
## Alternatively, we could use
frame := StandardFrame( pg );
pairs := Combinations(frame,2);
secants := List(pairs,p -> Span(p[1],p[2]));
leftover := Filtered(pointslist,t->not ForAny(secants,s->t in s));
hyperoval := Union(frame,leftover);
g := CollineationGroup(pg);
stab := Stabilizer(g,Set(hyperoval),OnSets);
StructureDescription(stab);
quit;
[ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
]
|
