Opened 13 years ago

# Primdecint.lib capabilities

Reported by: Owned by: calimikester@… pfister minor 3-1-4 and higher dontKnow 3-1-3 height of ideals

### 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

### comment:1 Changed 13 years ago by Oleksandr

Owner: changed from somebody to pfister
Note: See TracTickets for help on using tickets.