|
7.3.30 vdim (plural)
Syntax:
vdim ( ideal_expression )
vdim ( module_expression )
Type:
- int
Purpose:
- computes the vector space dimension of the
factor-module that equals
ring (resp. free module) modulo the ideal (resp. submodule),
generated by the leading terms of the given generators.
If the factor-module is not of finite dimension, -1 is returned.
If the generators form a Groebner basis,
this is the same as the vector space dimension of the
factor-module.
Note:
- In the non-commutative case, a ring modulo an ideal has a ring stucture if and only if the ideal is two-sided.
Example:
See also
ideal (plural);
kbase (plural);
std (plural).
|