Go to the first, previous, next, last section, table of contents.
- sm1.ecartd_syz(A)
-
:
It returns a syzygy of A by using
a tangent cone algorithm. h[0,1](D)-homogenization is used.
If the option rv="dp" (return_value="dp") is given,
the answer is returned in distributed polynomials.
The return value is in the format [s,[g,m,t]].
s is the generator of the syzygies, g is the Grobner basis,
m is the translation matrix from the generators to g.
t is the syzygy of g.
Example:
input1
F=[2*(1-x-y)*dx+1,2*(1-x-y)*dy+1]$
FF=[F,"x,y",[[dx,1,dy,1],[x,-1,y,-1]]]$
sm1.ecartd_syz(FF);
input2
F=[2*(1-x-y)*dx+h,2*(1-x-y)*dy+h]$
FF=[F,"x,y",[[dx,1,dy,1],[x,-1,y,-1,dx,1,dy,1]],["noAutoHomogenize",1]]$
sm1.ecartd_syz(FF);
Go to the first, previous, next, last section, table of contents.