up previous next

dim    --    the dimension of a (quotient) ring

Syntax

dim(R: RING): INT

Description

This function computes the dimension of the ring R, where R is a quotient of a polynomial ring. NB: the coefficient ring must be a field.

If I is a zero-dimensional ideal in the polynomial ring P, and you want the compute the vector-space dimension of P/I then use the function multiplicity .

Example

/**/ use R ::= QQ[x,y,z]; /**/ dim(R/ideal(x)); 2 /**/ dim(R/ideal(y^2-x, x*z-y^3)); 1

See Also

• multiplicity