On Wednesday 10 February 2010, Stefan Boettner wrote: > Hello, > > since I changed to version 4.3.2 it seems that calling associated_primes() > on an ideal of a polynomial ring that has term order 'invlex' is broken. > > Example: > sage: R.<x,y>=PolynomialRing(QQ,2,order='invlex') > sage: R.ideal(x).associated_primes() > ? // Not implemented for this ordering, please change to global > ordering. > ? leaving primdec.lib::primdecSY > Traceback (click to the left of this block for traceback) > ... > RuntimeError > > It used to work fine with prior versions. Is this an intended change? > > Also, it seems that this leaves the spawned singular process in a broken > state as all subsequent ideal operations (e.g. simple membership tests) > will fail until the worksheet is restarted.
Hi Stefan, Burcin just made me aware of your message, sorry for missing it earlier. It seems the first bug will be fixed once we update to the new Singular version (we are tracking down some doctest failures caused by the update, so it might take a moment): ---------------------------------------------------------------------- | Sage Version 4.3.3, Release Date: 2010-02-21 | | Type notebook() for the GUI, and license() for information. | ---------------------------------------------------------------------- sage: R.<x,y>=PolynomialRing(QQ,2,order='invlex') sage: R.ideal(x).associated_primes() [Ideal (x) of Multivariate Polynomial Ring in x, y over Rational Field] The second bug (nothing works afterwards) will take a moment longer to fix, we need to fix a bug in our libsingular interface, cf. http://is.gd/a1R2r Sorry for the delay. Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://www.informatik.uni-bremen.de/~malb _jab: martinralbre...@jabber.ccc.de -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
