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(0)); 3 ------------------------------- Dim(R/Ideal(y^2-x,xz-y^3)); 1 -------------------------------