up previous next
the dimension of a ring or quotient object
dim(R:RING or TAGGED("Quotient")):INT
|
This function computes the dimension of R. The weights of the
indeterminates of the polynomial ring must all be 1.
The coefficient ring must be a field.
/**/ Use R ::= QQ[x,y,z];
/**/ dim(R/ideal(x));
2
/**/ dim(R/ideal(y^2-x, x*z-y^3));
1
|