Quelle  subgeometries_dimension.g   Sprache: unbekannt

# dimension
pg := PG(7,8^2);
sub := CanonicalSubgeometryOfProjectiveSpace(pg,8);
ProjectiveDimension(sub);
Dimension(sub);
Rank(sub);
quit;