Top
Back: jet
Forward: kill
FastBack: Functions and system variables
FastForward: Control structures
Up: Functions
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

5.1.56 kbase

Syntax:
kbase ( ideal_expression )
kbase ( module_expression )
kbase ( ideal_expression, int_expression)
kbase ( module_expression, int_expression)
Type:
the same as the input type of the first argument
Purpose:
with one argument: computes a vector space basis (consisting of monomials) of the quotient ring by the ideal, resp. of a free module by the module, in case it is finite dimensional and if the input is a standard basis with respect to the ring ordering. If the input is no standard basis, the leading terms of the input are used and the result may have no meaning.
With two arguments: computes the a part of a vector space basis of the respective quotient with degree of the monomials equal to the second argument. Here, the quotient does not need to be finite dimensional.
Example:
 
  ring r=32003,(x,y,z),ds;
  ideal i=x2,y2,z;
  kbase(std(i));
==> _[1]=xy
==> _[2]=y
==> _[3]=x
==> _[4]=1
  i=x2,y3,xyz;  // quotient not finite dimensional
  kbase(std(i),2);
==> _[1]=z2
==> _[2]=yz
==> _[3]=xz
==> _[4]=y2
==> _[5]=xy
See ideal; module; vdim.

Top Back: jet Forward: kill FastBack: Functions and system variables FastForward: Control structures Up: Functions Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 2-0-0, February 2001, generated by texi2html.