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

7.8.15 vdim (letterplace)

Syntax:
vdim ( ideal_expression )
Type:
int
Purpose:
computes the vector space dimension respective to the ground field of the ring modulo the ideal, generated by the leading 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 is not finite dimensional over the ground field, -1 is returned.
The non-commutative analog of the kbase command is lpMonomialBasis from fpadim_lib.
Example:
 
  LIB "fpadim.lib";
  ring r = 0,(x,y),dp;
  ring R = freeAlgebra(r,5);
  ideal I = x*x + x, y*y+y, x*y*x + x;
  ideal G = twostd(I); G;
==> G[1]=y*y+y
==> G[2]=x*x+x
==> G[3]=x*y*x+x
  vdim(G); // 6
==> 6
  lpMonomialBasis(5,0,G); // lists the K-basis explicitly
==> _[1]=1
==> _[2]=x
==> _[3]=y
==> _[4]=y*x
==> _[5]=x*y
==> _[6]=y*x*y
See dim (letterplace); fpadim_lib; twostd (letterplace).


Top Back: twostd (letterplace) Forward: Mathematical background (letterplace) FastBack: FastForward: Up: Singular Manual Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.3.2, 2023, generated by texi2html.