Opened 13 years ago
Last modified 13 years ago
#345 new bug
Primdecint.lib capabilities
Reported by: | Owned by: | pfister | |
---|---|---|---|
Priority: | minor | Milestone: | 3-1-4 and higher |
Component: | dontKnow | Version: | 3-1-3 |
Keywords: | height of ideals | Cc: |
Description
Under the ring declaration (ring R=integer,(a1,a2,a3,a4,b1,b2,b3,b4),dp;), I was unable to compute the height of the following ideal:
ideal I=3*a2*b12+3*a12*b2+6*a3*b1*b2+3*a4*b22,6*a12*b12+4*a3*b13+24*a1*a2*b1*b2+12*a4*b12*b2+6*a22*b22+12*a1*a3*b22,20*a1*a2*b13+5*a4*b14+20*a13*b1*b2+30*a22*b12*b2+60*a1*a3*b12*b2+30*a12*a2*b22+60*a2*a3*b1*b22+60*a1*a4*b1*b22+10*a32*b23+20*a2*a4*b23,20*a13*b13+15*a22*b14+30*a1*a3*b14+180*a12*a2*b12*b2+120*a2*a3*b13*b2+120*a1*a4*b13*b2+15*a14*b22+180*a1*a22*b1*b22+180*a12*a3*b1*b22+90*a32*b12*b22+180*a2*a4*b12*b22+20*a23*b23+120*a1*a2*a3*b23+60*a12*a4*b23+120*a3*a4*b1*b23+15*a42*b24
. ;
I;
I[1]=3*a2*b12+3*a12*b2+6*a3*b1*b2+3*a4*b22 I[2]=6*a12*b12+4*a3*b13+24*a1*a2*b1*b2+12*a4*b12*b2+6*a22*b22+12*a1*a3*b22 I[3]=20*a1*a2*b13+5*a4*b14+20*a13*b1*b2+30*a22*b12*b2+60*a1*a3*b12*b2+30*a12*a2*b22+60*a2*a3*b1*b22+60*a1*a4*b1*b22+10*a32*b23+20*a2*a4*b23 I[4]=20*a13*b13+15*a22*b14+30*a1*a3*b14+180*a12*a2*b12*b2+120*a2*a3*b13*b2+120*a1*a4*b13*b2+15*a14*b22+180*a1*a22*b1*b22+180*a12*a3*b1*b22+90*a32*b12*b22+180*a2*a4*b12*b22+20*a23*b23+120*a1*a2*a3*b23+60*a12*a4*b23+120*a3*a4*b1*b23+15*a42*b24
heightZ(I);
Also, while working under Sage, I was able to compute heights of ideals, but unable to compute the above height as well in SAGE.
Thank you for your help, Michael
also discussed at:
http://groups.google.com/group/singular-devel/browse_thread/thread/75c5de9e574a542c