Opened 6 years ago
Last modified 5 years ago
#14976 new defect
integration with non symbolic bounds broken
Reported by: | burcin | Owned by: | |
---|---|---|---|
Priority: | critical | Milestone: | sage-6.4 |
Component: | symbolics | Keywords: | integration |
Cc: | kcrisman | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
Reported on sage-support by Victor Miller:
sage: var('a'); function('f',a) sage: g = f(a).integrate(a,0,a^2) sage: g integrate(f(a),0,a^2) sage: g.derivative(a) Error in lines 1-1 Traceback (most recent call last): File "/mnt/home/lQoU8m2s/.sagemathcloud/sage_server.py", line 498, in execute exec compile(block+'\n', '', 'single') in namespace, locals File "", line 1, in <module> File "expression.pyx", line 3006, in sage.symbolic.expression.Expression.derivative (sage/symbolic/expression.cpp:15855) File "derivative.pyx", line 216, in sage.misc.derivative.multi_derivative (sage/misc/derivative.c:2715) File "expression.pyx", line 3078, in sage.symbolic.expression.Expression._derivative (sage/symbolic/expression.cpp:16245) File "/usr/local/sage/sage-5.10.rc1/local/lib/python2.7/site-packages/sage/symbolic/integration/integral.py", line 224, in _tderivative_ - f.subs(x==a)*a.diff(diff_param) File "element.pyx", line 344, in sage.structure.element.Element.__getattr__ (sage/structure/element.c:3871) File "misc.pyx", line 257, in sage.structure.misc.getattr_from_other_class (sage/structure/misc.c:1696) AttributeError: 'sage.rings.integer.Integer' object has no attribute 'diff' sage: g1 = f(a).integrate(a) sage: g1(0) Error in lines 1-1 Traceback (most recent call last): File "/mnt/home/lQoU8m2s/.sagemathcloud/sage_server.py", line 498, in execute exec compile(block+'\n', '', 'single') in namespace, locals File "", line 1, in <module> File "expression.pyx", line 3973, in sage.symbolic.expression.Expression.__call__ (sage/symbolic/expression.cpp:19900) File "ring.pyx", line 685, in sage.symbolic.ring.SymbolicRing._call_element_ (sage/symbolic/ring.cpp:7672) File "expression.pyx", line 3824, in sage.symbolic.expression.Expression.substitute (sage/symbolic/expression.cpp:19177) File "/usr/local/sage/sage-5.10.rc1/local/lib/python2.7/site-packages/sage/symbolic/integration/integral.py", line 75, in _eval_ if len(x.variables()) == 1: File "element.pyx", line 344, in sage.structure.element.Element.__getattr__ (sage/structure/element.c:3871) File "misc.pyx", line 257, in sage.structure.misc.getattr_from_other_class (sage/structure/misc.c:1696) AttributeError: 'sage.rings.integer.Integer' object has no attribute 'variables'
Change History (12)
comment:1 Changed 6 years ago by
comment:2 follow-up: ↓ 3 Changed 6 years ago by
Looking at the returned error, I do not get the impression this has anything to do with maxima or with checking whether something is real-valued. The error we're getting is that attributes like variables
and derivative
end up being looked up on sage integer objects rather than on SR elements. This must happen somewhere during the picking apart of the expression:
sage: g integrate(f(a), a, 0, a^2) sage: [type(o) for o in g.operands()] [sage.symbolic.expression.Expression, sage.symbolic.expression.Expression, sage.symbolic.expression.Expression, sage.symbolic.expression.Expression] sage: g.operands()[2].diff(a) 0
as you see, all quantities involved are symbolic expressions and this "symbolic constant 0" has no problem being differentiated.
sage: g.derivative(a) AttributeError sage: %debug ipdb> up > /usr/local/sage/5.7/local/lib/python2.7/site-packages/sage/symbolic/integration/integral.py(224)_tderivative_() 223 return ans + f.subs(x==b)*b.diff(diff_param) \ --> 224 - f.subs(x==a)*a.diff(diff_param) 225 ipdb> p [(c,type(c)) for c in [f,x,a,b,diff_param]] [(f(a), <type 'sage.symbolic.expression.Expression'>), (a, <type 'sage.symbolic.expression.Expression'>), (0, <type 'sage.rings.integer.Integer'>), (a^2, <type 'sage.symbolic.expression.Expression'>), (a, <type 'sage.symbolic.expression.Expression'>)]
I suspect that this lower bound a=0
(here a is the local variable in _tderivative
) is coming from the lower integration bound involved in the definition of g
, and apparently this bound got stripped out of SR a little prematurely for this purpose. Probably replacing the code above with
return ans + f.subs(x==b)*SR(b).diff(diff_param) \ - f.subs(x==a)*SR(a).diff(diff_param)
would solve the problem. However it might be worthwhile to look why a
got stripped out of SR in the first place and whether that should simply be prevented at the spot (so that _tderivative
gets called with symbolic a,b
regardless of whether they happen to be integer constants)
comment:3 in reply to: ↑ 2 ; follow-up: ↓ 4 Changed 6 years ago by
I disagree. See below :
Replying to nbruin:
Looking at the returned error, I do not get the impression this has anything to do with maxima or with checking whether something is real-valued. The error we're getting is that attributes like
variables
andderivative
end up being looked up on sage integer objects rather than on SR elements. This must happen somewhere during the picking apart of the expression:sage: g integrate(f(a), a, 0, a^2) sage: [type(o) for o in g.operands()] [sage.symbolic.expression.Expression, sage.symbolic.expression.Expression, sage.symbolic.expression.Expression, sage.symbolic.expression.Expression] sage: g.operands()[2].diff(a) 0as you see, all quantities involved are symbolic expressions and this "symbolic constant 0" has no problem being differentiated.
sage: g.derivative(a) AttributeError sage: %debug ipdb> up > /usr/local/sage/5.7/local/lib/python2.7/site-packages/sage/symbolic/integration/integral.py(224)_tderivative_() 223 return ans + f.subs(x==b)*b.diff(diff_param) \ --> 224 - f.subs(x==a)*a.diff(diff_param) 225 ipdb> p [(c,type(c)) for c in [f,x,a,b,diff_param]] [(f(a), <type 'sage.symbolic.expression.Expression'>), (a, <type 'sage.symbolic.expression.Expression'>), (0, <type 'sage.rings.integer.Integer'>), (a^2, <type 'sage.symbolic.expression.Expression'>), (a, <type 'sage.symbolic.expression.Expression'>)]I suspect that this lower bound
a=0
(here a is the local variable in_tderivative
) is coming from the lower integration bound involved in the definition ofg
, and apparently this bound got stripped out of SR a little prematurely for this purpose.
So ? If this was tre source of the error, it shouldn't happen with symbolic lower and upper bounds (see my slightly generalized example), but it does. Furrthermore, declaring the bounds as real allows for completing the task (bothh from maxima and from sage)...
Probably replacing the code above with
return ans + f.subs(x==b)*SR(b).diff(diff_param) \ - f.subs(x==a)*SR(a).diff(diff_param)would solve the problem. However it might be worthwhile to look why
a
got stripped out of SR in the first place and whether that should simply be prevented at the spot (so that_tderivative
gets called with symbolica,b
regardless of whether they happen to be integer constants)
comment:4 in reply to: ↑ 3 ; follow-ups: ↓ 6 ↓ 12 Changed 6 years ago by
Replying to charpent:
So ? If this was tre source of the error, it shouldn't happen with symbolic lower and upper bounds (see my slightly generalized example), but it does. Furrthermore, declaring the bounds as real allows for completing the task (bothh from maxima and from sage)...
It's the source of the errors reported in the ticket. The problems reported in the ticket arise without interaction with maxima.
You're diagnosing a different problem, that integration with certain symbolic bounds is also broken. Compare:
sage: var('x,t,a,b') (x, t, a, b) sage: function('f') f sage: function('g') g sage: integrate(f(x),x,a,b) integrate(f(x), x, a, b) sage: integrate(f(x),x,sin(t),b) integrate(f(x), x, sin(t), b) sage: integrate(f(x),x,sin(1+i*t),b) RuntimeError: ECL says: Error executing code in Maxima: defint: lower limit of integration must be real; found sin(%i*t+1) sage: integrate(f(x),x,g(t),b) RuntimeError: ECL says: Error executing code in Maxima: defint: lower limit of integration must be real; found g(t)
Indeed, for definite integrals, maxima seems to want to know if the integration bounds are real.
However, Maxima seems to assume quite happily by itself that a,b,sin(t)
are real, but doesn't think sin(1+i*t)
is real and for some reason refuses to assume anything about g(t)
.
Your workaround is interesting in that it shows that maxima's "assume" facility can be of some help to nudge maxima into the desired direction. It seems to me the problem you're diagnosing is best addressed by working mainly on maxima. As far as I've seen, sage is offering reasonable input to maxima.
comment:5 Changed 6 years ago by
- Cc kcrisman added
comment:6 in reply to: ↑ 4 ; follow-ups: ↓ 7 ↓ 10 Changed 6 years ago by
Replying to nbruin:
Replying to charpent :
So ? If this was tre source of the error, it shouldn't happen with symbolic lower and upper bounds (see my slightly generalized example), but it does. Furrthermore, declaring the bounds as real allows for completing the task (bothh from maxima and from sage)...
It's the source of the errors reported in the ticket. The problems reported in the ticket arise without interaction with maxima.
You might be right. I tend to think too much like a physician and tend to attach all symptoms to the same cause (it is rare that a patient has symptoms caused by two different diseases with onset at the same time...).
You're diagnosing a different problem, that integration with certain symbolic bounds is also broken. Compare: sage: var('x,t,a,b') (x, t, a, b) sage: function('f') f sage: function('g') g sage: integrate(f(x),x,a,b) integrate(f(x), x, a, b) sage: integrate(f(x),x,sin(t),b) integrate(f(x), x, sin(t), b) sage: integrate(f(x),x,sin(1+i*t),b) RuntimeError : ECL says: Error executing code in Maxima: defint: lower limit of integration must be real; found sin(%i*t+1) sage: integrate(f(x),x,g(t),b) RuntimeError : ECL says: Error executing code in Maxima: defint: lower limit of integration must be real; found g(t)Indeed, for definite integrals, maxima seems to want to know if the integration bounds are real. However, Maxima seems to assume quite happily by itself that
a,b,sin(t)
are real, but doesn't thinksin(1+i*t)
is real and for some reason refuses to assume anything aboutg(t)
. Your workaround is interesting in that it shows that maxima's "assume" facility can be of some help to nudge maxima into the desired direction. It seems to me the problem you're diagnosing is best addressed by working mainly on maxima. As far as I've seen, sage is offering reasonable input to maxima.
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);
".
Furthermore, sage noes not (currently) allows for interaction during such a computation. Instead, it spits out an error suggesting to use assume...
So we have *two* limitations : Maxima's assumption system, which is indeed maxima-specific, *AND* sage's non-use of interactions.
IIRC, Mathematica, when confronted with such a question, does not interact with user but tries to generate a list (a tree ?) of possible questions and gives a list of answers along a set of conditions. Of course, there is no guarantee that such a tree is finite...
Any thoughts ? I reported the gist of the problem to Maxima's mailing list. Should I file a bug abainst Maxima's assume ?
comment:7 in reply to: ↑ 6 Changed 6 years ago by
Replying to 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.
comment:8 Changed 6 years ago by
- Milestone changed from sage-6.1 to sage-6.2
comment:9 Changed 6 years ago by
- Milestone changed from sage-6.2 to sage-6.3
comment:10 in reply to: ↑ 6 Changed 5 years ago by
comment:11 Changed 5 years ago by
- Milestone changed from sage-6.3 to sage-6.4
comment:12 in reply to: ↑ 4 Changed 5 years ago by
Replying to nbruin:
You're diagnosing a different problem, that integration with certain symbolic bounds is also broken. Compare:
sage: var('x,t,a,b') (x, t, a, b) sage: function('f') f sage: function('g') g sage: integrate(f(x),x,a,b) integrate(f(x), x, a, b) sage: integrate(f(x),x,sin(t),b) integrate(f(x), x, sin(t), b) sage: integrate(f(x),x,sin(1+i*t),b) RuntimeError: ECL says: Error executing code in Maxima: defint: lower limit of integration must be real; found sin(%i*t+1) sage: integrate(f(x),x,g(t),b) RuntimeError: ECL says: Error executing code in Maxima: defint: lower limit of integration must be real; found g(t)
This no longer gives an error.
The problem is that (maxima's ?) integrate needs to assert that integration bounds are real: consider this (slightly generalized) example:
Maxima allows for declaring "after the fact" that g1 and g2 are sympbols for real values, and extends this declaration to the case where g1 and 2 are symbols for functions, which are now interpreted as real-valued functions.
As far as I know, there is no way to declare the domain of a function in Sage.
And, since the Sage-to-Maxima interface uses arbitrary (and volatile !) symbols, one cannot simply use "maxima('declare(g1, real, g2, real);')" to this effect...
Maxima won't, however, accept to declare a function as real :
There is an *horrible* workaround : create *variables*, g1 and g2, assume them real, then create functions f, g1 and g2:
The core of the problem is, however, the inability to declare a function as real. Maxima's declaration of a *symbol's* domain "happens to work", but a cleaner solution is needed. I am afraid that it involves work both on Sage *and* Maxima.
HTH,
Emmanuel Charpentier