|
5.1.166 vdim
Syntax:
vdim ( ideal_expression )
vdim ( module_expression )
Type:
- int
Purpose:
- computes the vector space dimension of the ring, resp. free module,
modulo the ideal, resp. module,
generated by the initial terms of the given generators.
If the generators form a standard basis,
this is the same as the vector space dimension of the ring, resp.
free module, modulo the ideal, resp. module.
If the ideal, resp. module, is not zero-dimensional, -1 is returned.
Example:
| ring r=0,(x,y),ds;
ideal i=x2+y2,x2-y2;
ideal j=std(i);
vdim(j);
==> 4
|
See
codim;
degree;
dim;
ideal;
kbase;
mult;
std.
|