Post new topic Reply to topic  [ 3 posts ] 
Author Message
 Post subject: Module resolutions
PostPosted: Mon Jul 02, 2012 9:40 pm 
Hi everyone, I am having a little trouble with the one set of commands I use Singular for, and I would love to see if there is a way to 'fix' it.

My problem is that I use Singular to calculate minimal resolutions of ideals of a specific form (or rather, the module R/I, where I is my ideal). The ideals I am using are generated by 3 binomial terms and 3 monomial terms. It is very important for my research that I know exactly how each generator is interacting, but Singular keeps feeling the need to change one of my monomial generators to an ideal-equivalent version. I can work around this, but it slows me down substantially to figure out all the conversions and then rewrite the resolution.

So my question is can I make Singular stick with only the generators I plug in? I included a piece of an example below.


ideal I=x4y4-z7,x4z3-y7,y3z4-x8,xy2z6,x3y4z5,x8y3z3;
rs=minres(rs);
print(rs[1]);
y7-x4z3,
x4y4-z7,
x8-y3z4,
xy2z6,
x3y4z5,
y6z7

It changes the monomial x8y3z3 into y6z7 which doesn't change anything ring-theoretically, but it makes my attempts at finding what I'm looking for quite difficult, so I would love to make it keep that 6th generator unchanged.

For the record, I am quite Singular-illiterate, but I am not so Ludditic that I won't use technology when it can compete things like resolutions easily for me!

Thanks in advance!


Report this post
Top
  
Reply with quote  
 Post subject: Re: Module resolutions
PostPosted: Tue Jul 03, 2012 9:49 am 

Joined: Wed May 25, 2005 4:16 pm
Posts: 275
Using nres and not minres may help:
Code:
ideal I=x4y4-z7,x4z3-y7,y3z4-x8,xy2z6,x3y4z5,x8y3z3;
rresolution rs=nres(I,0);
print(rs[1]);

rs is a free resolution, which is minimized from
the second module on.
See http://www.singular.uni-kl.de/Manual/3-1-4/sing_326.htm


Report this post
Top
 Profile  
Reply with quote  
 Post subject: Re: Module resolutions
PostPosted: Tue Jul 03, 2012 2:45 pm 
Perfection! That is exactly what I was looking for. Thanks.


Report this post
Top
  
Reply with quote  
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 3 posts ] 

You can post new topics in this forum
You can reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

It is currently Fri May 13, 2022 11:06 am
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group