|
D.7.3.9 LinearCombinationQ
Procedure from library rinvar.lib (see rinvar_lib).
- Usage:
- LinearCombination(I, f); ideal I, poly f
- Purpose:
- test whether 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
|