[sage-support] Re: variety() bug?
Hi Michael, On Nov 28, 1:33 am, mabshoff <[EMAIL PROTECTED] dortmund.de> wrote: > Simon: Any news from Hans yet? Nope. --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: variety() bug?
On Nov 27, 4:28 pm, Alex Raichev <[EMAIL PROTECTED]> wrote: > Here's an even simpler and more disturbing error with variety(). Is > this just my installation? > > Alex > TypeError: Singular error: > ? error occurred in STDIN line 23: `module sage4=w,;` > ? expected module-expression. type 'help module;' > ? last reserved name was `module` > error at token `;` This actually looks like a different bug since the generation of the module failed. Thanks for reporting this. Simon? :) Cheers, Michael --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: variety() bug?
On Nov 27, 4:28 pm, Alex Raichev <[EMAIL PROTECTED]> wrote: > Here's an even simpler and more disturbing error with variety(). Is > this just my installation? Nope, I can also hit it. I have added the info to the ticket. Simon: Any news from Hans yet? Cheers, Michael --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: variety() bug?
Here's an even simpler and more disturbing error with variety(). Is this just my installation? Alex -- | Sage Version 3.2, Release Date: 2008-11-20 | | Type notebook() for the GUI, and license() for information.| -- sage: R.= PolynomialRing(QQ,1) sage: H=w sage: I= ideal(H); I Ideal (w) of Multivariate Polynomial Ring in w over Rational Field sage: I.variety() --- TypeError Traceback (most recent call last) /Users/arai021/ in () /Applications/sage/local/lib/python2.5/site-packages/sage/rings/ polynomial/multi_polynomial_ideal.pyc in variety(self, ring) 1528 P = self.ring() 1529 if ring is not None: P = P.change_ring(ring) -> 1530 T = self.triangular_decomposition ('singular:triangLfak') 1531 1532 V = [] /Applications/sage/local/lib/python2.5/site-packages/sage/rings/ polynomial/multi_polynomial_ideal.pyc in triangular_decomposition (self, algorithm, singular) 740 P = self.ring() 741 --> 742 is_groebner = self.basis_is_groebner() 743 744 # make sure to work w.r.t. 'lex' /Applications/sage/local/lib/python2.5/site-packages/sage/rings/ polynomial/multi_polynomial_ideal.pyc in basis_is_groebner(self, singular) 1237 self.ring()._singular_().set_ring() 1238 -> 1239 F = singular( self.gens(), "module" ) 1240 LTF = singular( [f.lt() for f in self.gens()] , "module" ) 1241 /Applications/sage/local/lib/python2.5/site-packages/sage/interfaces/ singular.pyc in __call__(self, x, type) 591 x = str(x)[1:-1] 592 --> 593 return SingularElement(self, type, x, False) 594 595 /Applications/sage/local/lib/python2.5/site-packages/sage/interfaces/ singular.pyc in __init__(self, parent, type, value, is_name) 1007 except (RuntimeError, TypeError, KeyboardInterrupt), x: 1008 self._session_number = -1 -> 1009 raise TypeError, x 1010 else: 1011 self._name = value TypeError: Singular error: ? error occurred in STDIN line 23: `module sage4=w,;` ? expected module-expression. type 'help module;' ? last reserved name was `module` error at token `;` On Nov 27, 2:59 am, Simon King <[EMAIL PROTECTED]> wrote: > Dear Michael, > > On Nov 26, 12:03 pm, mabshoff <[EMAIL PROTECTED] > > dortmund.de> wrote: > > > Shall one open a ticket then? > > > Yes, please do. And please make sure to ping either singular-team or > > Hans directly. I know Singular 3-1 is coming, so maybe we are lucky > > and it is either fixed there or will be :) > > It is #4622, and I forwarded it to Hans. > > Cheers > Simon --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: variety() bug?
Dear Michael, On Nov 26, 12:03 pm, mabshoff <[EMAIL PROTECTED] dortmund.de> wrote: > > Shall one open a ticket then? > > Yes, please do. And please make sure to ping either singular-team or > Hans directly. I know Singular 3-1 is coming, so maybe we are lucky > and it is either fixed there or will be :) It is #4622, and I forwarded it to Hans. Cheers Simon --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: variety() bug?
On Nov 26, 3:00 am, Simon King <[EMAIL PROTECTED]> wrote: > Dear Michael, > > On Nov 26, 7:22 am, mabshoff <[EMAIL PROTECTED] > > dortmund.de> wrote: > > Is this reproducible for you every time? > > For me, it is reproducible. > triangLfak is the function that was called by Sage. All previous lines > seem to happen inside the Singular library triang.lib, and it seems > that at one point things went wrong. > > Shall one open a ticket then? Yes, please do. And please make sure to ping either singular-team or Hans directly. I know Singular 3-1 is coming, so maybe we are lucky and it is either fixed there or will be :) > Cheers, > Simon Cheers, Michael --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: variety() bug?
Dear Michael, On Nov 26, 7:22 am, mabshoff <[EMAIL PROTECTED] dortmund.de> wrote: > Is this reproducible for you every time? For me, it is reproducible. > It might be an issue inside Singular, a pexpect synchronization issue or just > a plain old bug in > Sage. Looking at the error message, it looks like it is a bug in Singular. If I repeat the loop, the Traceback contains the line TypeError: Singular error: // ** redefining zerlegt ... So, it seems that Singular defines some name "zerlegt" without properly killing it afterwards. This is not yet a bug, it is just not nice. Continuing: ? wrong range[2] in ideal/module(1) ? error occurred in triang.lib::Erw_ggt_oT line 509: `parameter poly f; parameter poly g; parameter int v; parameter ideal T; ` ? wrong type declaration. type 'help poly;' That error message means that the arguments of the function Erw_ggt_oT are not properly defined. However, the problem seems to be on the side of Singular and not of Sage, because the Traceback ends with: ? leaving triang.lib::Erw_ggt_oT ? `f` is undefined ? error occurred in triang.lib::Erw_ggt_oT line 511: `poly p1 = f;` ? expected poly-expression. type 'help poly;' ? leaving triang.lib::Erw_ggt_oT skipping text from `;` error at token `)` ? leaving triang.lib::invertieren_oT ? leaving triang.lib::normieren_oT ? leaving triang.lib::Erw_ggt_oT ? leaving triang.lib::invertieren_oT ? leaving triang.lib::invertieren ? leaving triang.lib::triangLbas ? leaving triang.lib::triangLfak triangLfak is the function that was called by Sage. All previous lines seem to happen inside the Singular library triang.lib, and it seems that at one point things went wrong. Shall one open a ticket then? Cheers, Simon --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: variety() bug?
On Nov 25, 7:15 pm, Alex Raichev <[EMAIL PROTECTED]> wrote: > Hi all: Hi Alex, > Do any of you know what is going wrong with the variety() command in > the example below? Sometimes it works, and sometimes it doesn't. The > problem seems to be variety()'s call to triangular_decomposition(). > > Alex > > -- > | Sage Version 3.2, Release Date: 2008-11-20 | > | Type notebook() for the GUI, and license() for information. | > -- > > sage: R.= PolynomialRing(QQ,2,order='lex') > sage: F= 19 -20*z -20*w +5*z^2 +14*z*w +5*w^2 -2*z^2*w -2*z*w^2 > +z^2*w^2 > sage: G= (w*z-1)*F > sage: for f in [F,G]: > : I= ideal([f] +f.gradient()) > : I= ideal(I.groebner_basis()) > : print I > : I.vector_space_dimension() > : I.variety() > : > Ideal (w - 1, z - 1) of Multivariate Polynomial Ring in w, z over > Rational Field > 1 > [{z: 1, w: 1}] > Ideal (w^2 - 2*w - 17/5*z^4 + 434/25*z^3 - 817/25*z^2 + 672/25*z - > 179/25, w*z - w + 33/28*z^4 - 433/70*z^3 + 869/70*z^2 - 839/70*z + > 641/140, z^5 - 27/5*z^4 + 56/5*z^3 - 56/5*z^2 + 27/5*z - 1) of > Multivariate Polynomial Ring in w, z over Rational Field > 6 Is this reproducible for you every time? It might be an issue inside Singular, a pexpect synchronization issue or just a plain old bug in Sage. Our Singular expert (Martin Albrecht) has a bad net connection the next couple days, so if I can reproduce this I will open a ticket. Cheers, Micheal --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---