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