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