Top
Back: lift_kbase
Forward: equising_lib
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.4 lift_rel_kb

Procedure from library deform.lib (see deform_lib).

Usage:
lift_rel_kb(N,M[,kbaseM,p]);

Assume:
[p a monomial ] or the product of all variables
N, M modules of same rank, M depending only on variables not in p and vdim(M) is finite in this ring,
[ kbaseM the kbase of M in the subring given by variables not in p ]
warning: these assumptions are not checked by the procedure

Return:
matrix A, whose j-th columns present the coeff's of N[j] in kbaseM, i.e. kbaseM*A = reduce(N,std(M))

Example:
 

Top Back: lift_kbase Forward: equising_lib 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.