#14723: Error when SymPy can't evaluate an integral
-------------------------------------+-------------------------------------
Reporter: eviatarbach | Owner: burcin
Type: defect | Status: needs_work
Priority: major | Milestone: sage-6.4
Component: calculus | Resolution:
Keywords: sympy, integrate | Merged in:
Authors: Eviatar Bach, | Reviewers:
Ralf Stephan | Work issues: fix in sympy
Report Upstream: Completely fixed; | Commit:
Fix reported upstream | 099b9f6f1a67a865978bb84fd6c3a2ce29427aaf
Branch: u/rws/i14723 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by kcrisman):
> The indefinite integral value at the given point.
Yeah, I never know what to do with this - even though there is no "the"
indefinite integral most systems just return a convenient one. I think
that there is a problem with actually having this syntax, though, because
in general there are lots of times (esp. with complicated trig stuff) that
the integral you get before simplifying is one thing, the one you get if
you simplify or do some trig expansion first is different, '''and''' they
differ by a non-zero constant! It would be very bad to have
{{{
sage: F(x) = complicated stuff
sage: integral(f, x, 0, hold=True).simplify()
0
sage: integral(f.some_simplification_routine(), x, 0,
hold=True).simplify()
1/2
}}}
See also #13221 for the thought process behind #12438, though hopefully
without too much of a hack it would be possible to support both, if that
were desired.
--
Ticket URL: <http://trac.sagemath.org/ticket/14723#comment:34>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
