Top
Back: twostd
Forward: Mathematical background (plural)
FastBack: Data types (plural)
FastForward: Mathematical background (plural)
Up: Functions (plural)
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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


Top Back: twostd Forward: Mathematical background (plural) FastBack: Data types (plural) FastForward: Mathematical background (plural) Up: Functions (plural) Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.