|
5.1.153 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:
See
codim;
degree;
dim;
ideal;
kbase;
mult;
std.
|