Feature #1206
Updated by Anna Maria Bigatti about 1 month ago
It makes to be able to compute
<pre>
/**/ use R ::= QQ[x,y,z];
/**/ I := ideal([x, y, x+y, 0]);
/**/ SyzOfGens(I);
</pre>
Because the list of generators might have some meaning (e.g. partial derivatives)
but syzygies are shifted with the degrees of the generators, and what's the degree of 0?
If the generators are homogeneous and some are 0, these are probably meant with some particular degree.
Should we try to "guess" sometimes? for example if all gens have the same degree?
*2024-03* Final decisions:
Pass the FreeModule with the desired shifts if some entry is 0.
Do not implement syz0 (which should guess)
Keep SyzOfGens (more convenient for CoCoA-5)
<pre>
/**/ use R ::= QQ[x,y,z];
/**/ I := ideal([x, y, x+y, 0]);
/**/ SyzOfGens(I);
</pre>
Because the list of generators might have some meaning (e.g. partial derivatives)
but syzygies are shifted with the degrees of the generators, and what's the degree of 0?
If the generators are homogeneous and some are 0, these are probably meant with some particular degree.
Should we try to "guess" sometimes? for example if all gens have the same degree?
*2024-03* Final decisions:
Pass the FreeModule with the desired shifts if some entry is 0.
Do not implement syz0 (which should guess)
Keep SyzOfGens (more convenient for CoCoA-5)