Spracherkennung für: .include vermutete Sprache: Lisp {Lisp[76] Masm[76] Python[16]} [Methode: maximale Elemente, drei Dimensionen]
gap>; w3 := SymplecticSpace(3,3);
W(3, 3)
gap>; w5 := SymplecticSpace(5,3);
W(5, 3)
gap>; pg := AmbientSpace(w5);
PG(5, 3)
gap>; iter := Iterator(ElementsOfIncidenceStructure(pg,4));
<;iterator>
gap>; perp := PolarityOfProjectiveSpace(w5);
<;polarity of PG(5, GF(3)), < immutable compressed matrix 6x6 over GF(
3) >;, F^0 >
gap>; solid := NextIterator(iter);
<;a solid in PG(5, 3)>
gap>; em := NaturalEmbeddingBySubspace(w3,w5,solid);
<;geometry morphism from <Elements of W(3, 3)> to <Elements of W(5, 3)>>
gap>; points := Points(w3);
<;points of W(3, 3)>
gap>; points2 := ImagesSet(em,AsSet(points));;
#I Computing nice monomorphism...
gap>; ForAll(points2,x -> x in solid);
true
[Dauer der Verarbeitung: 0.3 Sekunden, vorverarbeitet 2026-10-24]
