Following achrzesz hint about integral's algorithm option, I tried (Sage 4.7.2):
integral(1/x^2, x, -infinity, -1, algorithm='sympy')
Unfortunately, I got:
Traceback (click to the left of this block for traceback)
...
AttributeError: 'MinusInfinity' object has no attribute '_sympy_'
What's going wrong?
It seems to be a bug. sympy can recognize infinity but not minus infinity of sage. You can try to directly call sympy integrate instead
import sympy as sp
a=sp.Symbol('a')
b=sp.integrate(1/x^2,(x,a,-1))._sage_()
b.substitute(a=-oo)
How do you get this infinity symbol? But most importantly, do you input this code in a simple python interpreter or in Sage? What is this _sage_() method?
Every element from another program (such as sympy) has a `_sage_` method to convert its things back to Sage objects. The infinity symbol is just one of the several ways to represent infinity in Sage (and several other programs of this type); in principle, it should be equivalent to using `infinity`, but apparently this bug leaves it to not work for Sympy.
sage: from sympy import *
sage: integrate(1/x^2, (x, -oo, -1), algorithm='sympy')
1
How do you get this infinity symbol?? Anyway, I still get the same error even at the console using -infinity
This works as of Sage 5.1 (see trac #12345). (Please tell me if old questions shouldn't be necromanced; I just add answers for future reference to questions where the issue has been fixed.)
I am not sure we should close such questions, or at least we should'nt delete them, since trac points to them, and we should keep examples, even if they are fixed. That said, it could be nice to have a better integration between ask and trac, as well as a system of 'categories' that allow to separate questions related to a sage bug or questions related to a failed build, or questions related to how to use sage (probably the most interesting for the readers). I am currently trying to do this via tags (removing `bug` tag where this is not a bug, and adding `confirmed_bug` or `fixed_bug` tag when this is a bug), but it is quite a long task, and having an automated link between ask and trac could be of great help.
Asked: 2012-01-21 19:00:39 +0100
Seen: 7,269 times
Last updated: Jun 05 '13
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
The workarounds are good for now. I've opened the auspicious ticket # 12345 (http://trac.sagemath.org/sage_trac/ticket/12345) for the underlying issue.