|
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:
|