|
D.15.23.7 projectiveSpace
Procedure from library schubert.lib (see schubert_lib).
- Usage:
- projectiveSpace(n); n int
- Return:
- variety
- Theory:
- create a projective space of dimension n as an abstract variety. Its
Chow ring is a quotient ring in one variable h modulo the ideal
generated by h^(n+1).
Example:
See also:
Grassmannian;
projectiveBundle.
|