| LIB "schubert.lib";
variety P = projectiveSpace(3);
P;
==> A variety of dimension 3
==> 
P.dimension;
==> 3
def r = P.baseRing;
setring r;
P.relations;
==> _[1]=h4
ChowRing(P);
==> // coefficients: QQ
==> // number of vars : 1
==> //        block   1 : ordering wp
==> //                  : names    h
==> //                  : weights  1
==> //        block   2 : ordering C
==> // quotient ring from ideal ...
 |