Singular

7.7.2.0. linSyzSolve

Usage:

linSyzSolve(I[,s]); I an ideal, s an optional int

Return:

vector, coefficient vector of linear combination of 0 in elements of I

Purpose:

compute a linear dependency between the elements of an ideal
if such one exists

Note:

If s<>0, std is used for Groebner basis computations,
otherwise, slimgb is used.
By default, slimgb is used in char 0 and std in char >0.

Display:

If printlevel=1, progress debug messages will be printed,
if printlevel>=2, all the debug messages will be printed.

LIB "bfun.lib";
ring r = 0,x,dp;
ideal I = x,2x;
linSyzSolve(I);
==> gen(2)-2*gen(1)
ideal J = x,x2;
linSyzSolve(J);
==> 0