Services & Resources / Wolfram Forums / MathGroup Archive
-----

MathGroup Archive 2013

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Syzygy module computation

  • To: mathgroup at smc.vnet.net
  • Subject: [mg131363] Re: Syzygy module computation
  • From: danl at wolfram.com
  • Date: Mon, 1 Jul 2013 05:50:18 -0400 (EDT)
  • Delivered-to: l-mathgroup@mail-archive0.wolfram.com
  • Delivered-to: l-mathgroup@wolfram.com
  • Delivered-to: mathgroup-outx@smc.vnet.net
  • Delivered-to: mathgroup-newsendx@smc.vnet.net
  • References: <kqjf61$9f0$1@smc.vnet.net>

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

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.

http://forums.wolfram.com/mathgroup/archive/2011/Mar/msg00362.html

It also will give the syzygy matrix. Just use the rows for which the first column entry is zero (if I remember correctly how I set it up).

Daniel Lichtblau
Wolfram Research



  • Prev by Date: Re: Finding a function within an arbitrary expression
  • Next by Date: Re: Complex path integral wrong
  • Previous by thread: Re: eliminating script level change in a math cell...
  • Next by thread: Re: What is f[1]? Advanced question