|
D.15.23.2 makeVariety
Procedure from library schubert.lib (see schubert_lib).
- Usage:
- makeVariety(d,i); d int, i ideal
- Assume:
- d is a nonnegative integer, i is an ideal
- Return:
- variety
- Theory:
- create an abstract variety which has dimension d, and its Chow ring
should be a quotient ring
Example:
|