[sage-devel] Re: Bug in computing the Hilbert series of an ideal of minors in a matrix
Looks like a Singular error, the first Hilbert series and second Hilbert series returned are not consistent: {{{ sage: gb = I.groebner_basis() sage: h1=hilb(gb,1) // ** _ is no standard basis sage: h2=hilb(gb,2) // ** _ is no standard basis sage: Zt=ZZ['t'] sage: f1=Zt(list(h1));f1.degree() 33 sage: f2=Zt(list(h2));f2.degree() 3 sage: f1-(1-t)**30*f2 4294967296*t^22 - 4294967296*t^21 + 4294967296*t^20 - 4294967296*t^19 + 4294967296*t^18 }}} -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: Bug in computing the Hilbert series of an ideal of minors in a matrix
On Wednesday, March 2, 2016 at 9:36:20 AM UTC, luisfe wrote: > > Looks like a Singular error, the first Hilbert series and second Hilbert > series returned are not consistent: > > indeed. > {{{ > sage: gb = I.groebner_basis() > sage: h1=hilb(gb,1) > // ** _ is no standard basis > sage: h2=hilb(gb,2) > // ** _ is no standard basis > sage: Zt=ZZ['t'] > sage: f1=Zt(list(h1));f1.degree() > 33 > sage: f2=Zt(list(h2));f2.degree() > 3 > sage: f1-(1-t)**30*f2 > 4294967296*t^22 - 4294967296*t^21 + 4294967296*t^20 - 4294967296*t^19 + > 4294967296*t^18 > }}} > > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.