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