Home Online Manual
Top
Back: linReduceIdeal
Forward: allPositive
FastBack:
FastForward:
Up: bfun_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.5.2.0. linSyzSolve
Procedure from library bfun.lib (see bfun_lib).

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.

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