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