|  |  D.15.33.1 makeVariety Procedure from libraryschubert.lib(see  schubert_lib).
 
Example: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
 |  | LIB "schubert.lib";
ring r = 0,(h,e),wp(1,1);
ideal rels = he,h2+e2;
variety V = makeVariety(2,rels);
V;
==> A variety of dimension 2
==> 
V.dimension;
==> 2
V.relations;
==> _[1]=he
==> _[2]=h2+e2
 | 
 
 |