|
D.6.3.9 LinearCombinationQ
Procedure from library rinvar.lib (see rinvar_lib).
- Usage:
LinearCombination(I, f); ideal I, poly f
- Purpose:
test if f can be written as a linear combination of the generators of I.
- Return:
0 f is not a linear combination
1 f is a linear combination
|