|
5.1.19 dim
-
Syntax:
dim ( ideal_expression )
dim ( module_expression )
-
Type:
int
-
Purpose:
computes the dimension of the ideal, resp. module, generated by
the leading monomials of the given generators of the ideal, resp. module.
This is also the dimension of the ideal if it is represented by
a standard basis.
-
Note:
The dimension of an ideal I means
the Krull dimension of the basering modulo I.
The dimension of a
module is the dimension of its annihilator ideal.
-
Example:
| ring r=32003,(x,y,z),dp;
ideal I=x2-y,x3;
dim(std(I));
→ 1
|
See
degree;
ideal;
mult;
std;
vdim.
|