Quelle  cps_polarityofps.g   Sprache: unbekannt

#a polarity from a polar space
ps := SymplecticSpace(5,9);
phi := PolarityOfProjectiveSpace(ps);
ps := EllipticQuadric(3,4);
phi := PolarityOfProjectiveSpace(ps);
ps := ParabolicQuadric(4,4);
phi := PolarityOfProjectiveSpace(ps);
quit;
quit;