On Friday, June 28, 2013 2:49:21 AM UTC-5, Marko Petkov=C5=A1ek wrote: > Hi everyone, > > > > I wish to compute the first syzygy module of a finitely generated module over a polynomial ring over a field. Is there a Mathematica package available that does this? I am aware of Singular.m which is an interface to Singular, but I am looking for a standalone Mathematica package. > > > > Many thanks, > > > > --Marko
There is code to find the conversion matrix in the thread found by the below URL. It is set up to work on polynomial ideals by embedding in a module, so one would need to do a bit more work to enlarge that with a separate set of generators.