Top
Back: mod_versal
Forward: lift_rel_kb
FastBack: curvepar_lib
FastForward: equising_lib
Up: deform_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.6.5.3 lift_kbase

Procedure from library deform.lib (see deform_lib).

Usage:
lift_kbase(N,M); N,M=poly/ideal/vector/module

Return:
matrix A, coefficient matrix expressing N as linear combination of k-basis of M. Let the k-basis have k elements and size(N)=c columns. Then A satisfies:
matrix(reduce(N,std(M)),k,c) = matrix(kbase(std(M)))*A

Assume:
dim(M)=0 and the monomial ordering is a well ordering or the last block of the ordering is c or C

Example:
 


Top Back: mod_versal Forward: lift_rel_kb FastBack: curvepar_lib FastForward: equising_lib Up: deform_lib 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.