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