up previous next
dim

the dimension of a ring or quotient object

Syntax
dim(R:RING or TAGGED("Quotient")):INT

Description
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.

Example
/**/ Use R ::= QQ[x,y,z];
/**/ dim(R/ideal(x));
2

/**/ dim(R/ideal(y^2-x, x*z-y^3));
1