Spracherkennung für: .include vermutete Sprache: Lisp {Lisp[80] Masm[80] MT940[7]} [Methode: maximale Elemente, drei Dimensionen]
gap>; pg1 := PG(1,9);
ProjectiveSpace(1, 9)
gap>; em := NaturalEmbeddingByFieldReduction(pg1,GF(3));
<;geometry morphism from <All elements of ProjectiveSpace(1,
9)>; to <All elements of ProjectiveSpace(3, 3)>>
gap>; i := Intertwiner(em);
MappingByFunction( The FinInG projectivity group PGL(2,9), <;projective colline
ation group of size 720 with
2 generators>;, function( m ) ... end, function( m ) ... end )
gap>; spread := List(Points(pg1),x->x^em);
[ <;a line in ProjectiveSpace(3, 3)>, <a line in ProjectiveSpace(3, 3)>,
<;a line in ProjectiveSpace(3, 3)>, <a line in ProjectiveSpace(3, 3)>,
<;a line in ProjectiveSpace(3, 3)>, <a line in ProjectiveSpace(3, 3)>,
<;a line in ProjectiveSpace(3, 3)>, <a line in ProjectiveSpace(3, 3)>,
<;a line in ProjectiveSpace(3, 3)>, <a line in ProjectiveSpace(3, 3)> ]
gap>; stab := Stabilizer(CollineationGroup(PG(3,3)),Set(spread),OnSets);
<;projective collineation group of size 5760 with 3 generators>
gap>; hom := HomographyGroup(pg1);
The FinInG projectivity group PGL(2,9)
gap>; gens := GeneratorsOfGroup(hom);;
gap>; group := Group(List(gens,x->x^i));
<;projective collineation group with 2 generators>
gap>; Order(group);
2880
gap>; IsSubgroup(stab,group);
true
[Dauer der Verarbeitung: 0.1 Sekunden, vorverarbeitet 2026-10-24]
