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