Post a reply
Username:
Note:If not registered, provide any username. For more comfort, register here.
Subject:
Message body:
Enter your message here, it may contain no more than 60000 characters. 

Smilies
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:
Font size:
Font colour
Options:
BBCode is ON
[img] is ON
[flash] is OFF
[url] is ON
Smilies are ON
Disable BBCode
Disable smilies
Do not automatically parse URLs
Confirmation of post
To prevent automated posts the board requires you to enter a confirmation code. The code is displayed in the image you should see below. If you are visually impaired or cannot otherwise read this code please contact the %sBoard Administrator%s.
Confirmation code:
Enter the code exactly as it appears. All letters are case insensitive, there is no zero.
   

Topic review - why different length minimal resolution for different order?
Author Message
  Post subject:  Re: why different length minimal resolution for different order?  Reply with quote
You get a generating set of the syszygy module:
different order of variables may produce a different number of generators.
betti works only for homogeneous input (wrt. weight 1).
Post Posted: Fri Dec 14, 2018 6:32 pm
  Post subject:  why different length minimal resolution for different order?  Reply with quote
I have a graded ring and compute syzygies with Singular online (version 4.1.1).
Depending on the order I write the variables I get a different number of syzygies. This looks like a bug.
More precisely:
I generate an ideal with:
ring re = 0, (s,t,w,z(0..3),y(5..7),x(0..2)),wp(1,1,9,15,15,15,15,10,10,10,5,5,5);
ideal parm = w^2-(s^3-t^3)*(s^15+t^15),
z(0)-(s^3-t^3)*w*s^3,z(1)-(s^3-t^3)*w*s^2*t,z(2)-(s^3-t^3)*w*s*t^2,z(3)-(s^3-t^3)*w*t^3,
y(5)-(s^3-t^3)*s^2*t^5,y(6)-(s^3-t^3)*s*t^6,y(7)-(s^3-t^3)*t^7,
x(0)-(s^3-t^3)*s^2,x(1)-(s^3-t^3)*s*t,x(2)-(s^3-t^3)*t^2;
ideal krom= eliminate(parm,w*s*t);
ring r = 0,(z(0..3),y(5..7),x(0..2)),wp(3,3,3,3,2,2,2,1,1,1);
ideal kr = imap(re,krom);
list T = mres(kr,2);
print(betti(T),"betti");

I get 161 syzygies (also not all degrees in the Betti table are OK).
But with
ring r = 0,(x(0..2),y(5..7),z(0..3)),wp(1,1,1,2,2,2,3,3,3,3);
I get 169 syzygies.
But there should only be 160 syzygies.

Can somebody explain me what is happening here?

Best, Jan Stevens
Post Posted: Thu Nov 22, 2018 2:14 pm


It is currently Fri May 13, 2022 10:56 am
cron
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group