#14976: integration with non symbolic bounds broken
-------------------------------+--------------------------
Reporter: burcin | Owner:
Type: defect | Status: new
Priority: critical | Milestone: sage-5.12
Component: symbolics | Resolution:
Keywords: integration | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Dependencies:
Stopgaps: |
-------------------------------+--------------------------
Comment (by nbruin):
Replying to [comment:6 charpent]:
> Hmmm... Maxima's "assume" also has serious limitations. Many questions
Maxima may ask during a computation cannot be prevented by previous
assumptions, since those cannot use expressions. For example, during an
(unrelated) integration, maxima asked "`Is (m/s) an integer ?`". I checked
that maxima does *not* allow for "`assume(m/s, noninteger);`".
It's known and widely acknowledged that maxima's assume facility is rather
weak and not very well integrated (many functions that could benefit from
assumptions do not look at them). If you search you'll find many threads
about it.
There also have been various attempts in changing maxima's tendency to ask
questions (but never in maxima proper, as far as I know. It's simply taken
as a design decision there).
For sage's purposes, our only reasonable option is to treat a question as
an error condition, because we simply cannot assume there is anyone to
answer the question. That's at least what people have found up to now. If
you have a viable prototype for handling questions otherwise, it can
always be considered, of course.
> Any thoughts ? I reported the gist of the problem to Maxima's mailing
list. Should I file a bug abainst Maxima's assume ?
Mentioning the difference between the handling of
{{{
integrate(f(x),x,a,b)
}}}
and
{{{
integrate(f(x),x,a(t),b(t))
}}}
is probably worthwhile. For the rest, you're just pointing out well-known
shortcomings.
--
Ticket URL: <http://trac.sagemath.org/ticket/14976#comment:7>
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/groups/opt_out.
