previous  next
Dim
Syntax
Dim(R:RING or TAGGED("Quotient")):INT
Summary
the dimension of a ring or quotient object
Description
This function computes the dimension of R.  The weights of the
indeterminates of the current ring must all be 1.

The coefficient ring must be a field.

Example

Use R ::= Q[x,y,z];
Dim(R);
3
-------------------------------
Dim(R/Ideal(y^2-x,xz-y^3));
1
-------------------------------