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
#000000 #000040 #000080 #0000BF #0000FF
#004000 #004040 #004080 #0040BF #0040FF
#008000 #008040 #008080 #0080BF #0080FF
#00BF00 #00BF40 #00BF80 #00BFBF #00BFFF
#00FF00 #00FF40 #00FF80 #00FFBF #00FFFF
#400000 #400040 #400080 #4000BF #4000FF
#404000 #404040 #404080 #4040BF #4040FF
#408000 #408040 #408080 #4080BF #4080FF
#40BF00 #40BF40 #40BF80 #40BFBF #40BFFF
#40FF00 #40FF40 #40FF80 #40FFBF #40FFFF
#800000 #800040 #800080 #8000BF #8000FF
#804000 #804040 #804080 #8040BF #8040FF
#808000 #808040 #808080 #8080BF #8080FF
#80BF00 #80BF40 #80BF80 #80BFBF #80BFFF
#80FF00 #80FF40 #80FF80 #80FFBF #80FFFF
#BF0000 #BF0040 #BF0080 #BF00BF #BF00FF
#BF4000 #BF4040 #BF4080 #BF40BF #BF40FF
#BF8000 #BF8040 #BF8080 #BF80BF #BF80FF
#BFBF00 #BFBF40 #BFBF80 #BFBFBF #BFBFFF
#BFFF00 #BFFF40 #BFFF80 #BFFFBF #BFFFFF
#FF0000 #FF0040 #FF0080 #FF00BF #FF00FF
#FF4000 #FF4040 #FF4080 #FF40BF #FF40FF
#FF8000 #FF8040 #FF8080 #FF80BF #FF80FF
#FFBF00 #FFBF40 #FFBF80 #FFBFBF #FFBFFF
#FFFF00 #FFFF40 #FFFF80 #FFFFBF #FFFFFF
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 - Possible bug in Betti diagram
Author Message
  Post subject:  Re: Possible bug in Betti diagram  Reply with quote
Your ideal is nor homogeneous,
see
https://www.singular.uni-kl.de:8002/trac/ticket/810#comment:1
Post Posted: Sat Sep 23, 2017 1:09 pm
  Post subject:  Possible bug in Betti diagram  Reply with quote
We know that if $I$ is a graded ideal in a polynomial ring, then the graded Betti numbers of $I$ are at most the corresponding graded Betti numbers of the initial ideal of $I$ with respect to any monomial order (See Corollary 3.3.3 of the book by Herzog and Hibi).

The following code in Singular says differently. Where is my mistake?
Code:

>  ring r = 0, (x, y,z, u,v, w, a, b, c, d), Dp;
> ideal P = zw+u2+uv, ya+zu+uv, xb+y2+yz+zu, uvcd+wac+wb2, zvcd-uac-ub2-vac-vb2;

> P;
P[1]=zw+u2+uv
P[2]=ya+zu+uv
P[3]=xb+y2+yz+zu
P[4]=uvcd+wac+wb2
P[5]=zvcd-uac-ub2-vac-vb2
> P = std(P);
> ideal P' = lead(P);
> P';
P'[1]=zw
P'[2]=ya
P'[3]=xb
P'[4]=uvcd
P'[5]=zvcd
> resolution R = mres(P, 0);
> resolution R' = mres(P', 0);
> print(betti(R), "betti");
           0     1     2     3     4
------------------------------------
    0:     1     -     -     -     -
    1:     -     3     -     -     -
    2:     -     -     4     -     -
    3:     -     2     1      3     -
    4:     -     -     4      2     1
    5:     -     -     -       2     1
------------------------------------
total:     1     5     9     7     2

> print(betti(R'), "betti");
           0     1     2     3     4
------------------------------------
    0:     1     -     -     -     -
    1:     -     3     -     -     -
    2:     -     -     3     -     -
    3:     -     2     2     1     -
    4:     -     -     4     4     -
    5:     -     -     -      2     2
------------------------------------
total:     1     5     9     7     2

Post Posted: Fri Sep 22, 2017 3:26 pm


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