#7377: Symbolic Ring to Maxima via EclObject
-----------------------------------------------------------------------------------+
Reporter: nbruin
| Owner: nbruin
Type: enhancement
| Status: needs_work
Priority: major
| Milestone: sage-feature
Component: symbolics
| Keywords:
Author: Nils Bruin, Jean-Pierre Flori
| Upstream: N/A
Reviewer: Jean-Pierre Flori, François Bissey, Karl-Dieter Crisman, Nils
Bruin | Merged:
Work_issues: loads(dumps()), very minor doctest formatting issues
|
-----------------------------------------------------------------------------------+
Comment(by fbissey):
After applying the patches I am now getting:
{{{
sage -t -force_lib "devel/sage-main/sage/symbolic/assumptions.py"
**********************************************************************
File "/usr/share/sage/devel/sage-main/sage/symbolic/assumptions.py", line
89:
sage: decl2.assume()
Expected:
Traceback (most recent call last):
...
ValueError: Assumption is inconsistent
Got:
Traceback (most recent call last):
File "/usr/bin/ncadoctest.py", line 1231, in run_one_test
self.run_one_example(test, example, filename, compileflags)
File "/usr/bin/sagedoctest.py", line 38, in run_one_example
OrigDocTestRunner.run_one_example(self, test, example, filename,
compileflags)
File "/usr/bin/ncadoctest.py", line 1172, in run_one_example
compileflags, 1) in test.globs
File "<doctest __main__.example_3[7]>", line 1, in <module>
decl2.assume()###line 89:
sage: decl2.assume()
File "/usr/lib64/python2.6/site-
packages/sage/symbolic/assumptions.py", line 104, in assume
maxima.eval("declare(%s, %s)" % (repr(self._var),
self._assumption))
File "/usr/lib64/python2.6/site-
packages/sage/interfaces/maxima_lib.py", line 395, in _eval_line
if statement: result = ((result + '\n') if result else '') +
max_to_string(maxima_eval("#$%s$"%statement))
File "ecl.pyx", line 619, in sage.libs.ecl.EclObject.__call__
(sage/libs/ecl.c:4422)
File "ecl.pyx", line 202, in sage.libs.ecl.ecl_safe_apply
(sage/libs/ecl.c:2606)
RuntimeError: ECL says: Error executing code in Maxima: declare:
inconsistent declaration declare(x,odd)
**********************************************************************
File "/usr/share/sage/devel/sage-main/sage/symbolic/assumptions.py", line
294:
sage: sum(a*q^k, k, 0, oo)
Expected:
Traceback (most recent call last):
...
ValueError: Sum is divergent.
Got:
Traceback (most recent call last):
File "/usr/bin/ncadoctest.py", line 1231, in run_one_test
self.run_one_example(test, example, filename, compileflags)
File "/usr/bin/sagedoctest.py", line 38, in run_one_example
OrigDocTestRunner.run_one_example(self, test, example, filename,
compileflags)
File "/usr/bin/ncadoctest.py", line 1172, in run_one_example
compileflags, 1) in test.globs
File "<doctest __main__.example_7[12]>", line 1, in <module>
sum(a*q**k, k, Integer(0), oo)###line 294:
sage: sum(a*q^k, k, 0, oo)
NameError: name 'k' is not defined
**********************************************************************
File "/usr/share/sage/devel/sage-main/sage/symbolic/assumptions.py", line
300:
sage: sum(a*q^k, k, 0, oo)
Exception raised:
Traceback (most recent call last):
File "/usr/bin/ncadoctest.py", line 1231, in run_one_test
self.run_one_example(test, example, filename, compileflags)
File "/usr/bin/sagedoctest.py", line 38, in run_one_example
OrigDocTestRunner.run_one_example(self, test, example, filename,
compileflags)
File "/usr/bin/ncadoctest.py", line 1172, in run_one_example
compileflags, 1) in test.globs
File "<doctest __main__.example_7[15]>", line 1, in <module>
sum(a*q**k, k, Integer(0), oo)###line 300:
sage: sum(a*q^k, k, 0, oo)
NameError: name 'k' is not defined
**********************************************************************
File "/usr/share/sage/devel/sage-main/sage/symbolic/assumptions.py", line
340:
sage: assume(x,'odd')
Expected:
Traceback (most recent call last):
...
ValueError: Assumption is inconsistent
Got:
Traceback (most recent call last):
File "/usr/bin/ncadoctest.py", line 1231, in run_one_test
self.run_one_example(test, example, filename, compileflags)
File "/usr/bin/sagedoctest.py", line 38, in run_one_example
OrigDocTestRunner.run_one_example(self, test, example, filename,
compileflags)
File "/usr/bin/ncadoctest.py", line 1172, in run_one_example
compileflags, 1) in test.globs
File "<doctest __main__.example_7[32]>", line 1, in <module>
assume(x,'odd')###line 340:
sage: assume(x,'odd')
File "/usr/lib64/python2.6/site-
packages/sage/symbolic/assumptions.py", line 390, in assume
x.assume()
File "/usr/lib64/python2.6/site-
packages/sage/symbolic/assumptions.py", line 104, in assume
maxima.eval("declare(%s, %s)" % (repr(self._var),
self._assumption))
File "/usr/lib64/python2.6/site-
packages/sage/interfaces/maxima_lib.py", line 395, in _eval_line
if statement: result = ((result + '\n') if result else '') +
max_to_string(maxima_eval("#$%s$"%statement))
File "ecl.pyx", line 619, in sage.libs.ecl.EclObject.__call__
(sage/libs/ecl.c:4422)
File "ecl.pyx", line 202, in sage.libs.ecl.ecl_safe_apply
(sage/libs/ecl.c:2606)
RuntimeError: ECL says: Error executing code in Maxima: declare:
inconsistent declaration declare(x,odd)
**********************************************************************
}}}
and
{{{
sage -t -force_lib "devel/sage-main/sage/symbolic/integration/integral.py"
**********************************************************************
File "/usr/share/sage/devel/sage-
main/sage/symbolic/integration/integral.py", line 356:
sage: integrate(1/x^3,x,-1,3)
Expected:
Traceback (most recent call last):
...
ValueError: Integral is divergent.
Got:
4/9
**********************************************************************
File "/usr/share/sage/devel/sage-
main/sage/symbolic/integration/integral.py", line 446:
sage: integrate(1/(x^3 *(a+b*x)^(1/3)), x)
Expected:
Traceback (most recent call last):
...
TypeError: Computation failed since Maxima requested additional
constraints (try the command 'assume(a>0)' before integral or limit
evaluation, for example):
Is a positive or negative?
Got:
Traceback (most recent call last):
File "/usr/bin/ncadoctest.py", line 1231, in run_one_test
self.run_one_example(test, example, filename, compileflags)
File "/usr/bin/sagedoctest.py", line 38, in run_one_example
OrigDocTestRunner.run_one_example(self, test, example, filename,
compileflags)
File "/usr/bin/ncadoctest.py", line 1172, in run_one_example
compileflags, 1) in test.globs
File "<doctest __main__.example_10[47]>", line 1, in <module>
integrate(Integer(1)/(x**Integer(3)
*(a+b*x)**(Integer(1)/Integer(3))), x)###line 446:
sage: integrate(1/(x^3 *(a+b*x)^(1/3)), x)
File "/usr/lib64/python2.6/site-packages/sage/misc/functional.py",
line 718, in integral
return x.integral(*args, **kwds)
File "expression.pyx", line 8188, in
sage.symbolic.expression.Expression.integral
(sage/symbolic/expression.cpp:31363)
File "/usr/lib64/python2.6/site-
packages/sage/symbolic/integration/integral.py", line 601, in integrate
return indefinite_integral(expression, v)
File "function.pyx", line 419, in
sage.symbolic.function.Function.__call__ (sage/symbolic/function.cpp:4504)
File "/usr/lib64/python2.6/site-
packages/sage/symbolic/integration/integral.py", line 85, in _eval_
res = integrator(f, x)
File "/usr/lib64/python2.6/site-
packages/sage/symbolic/integration/external.py", line 19, in
maxima_integrator
result = maxima.sr_integral(expression,v)
File "/usr/lib64/python2.6/site-
packages/sage/interfaces/maxima_lib.py", line 654, in sr_integral
raise ValueError, "Computation failed since Maxima requested
additional constraints; using the 'assume' command before integral
evaluation *may* help (example of legal syntax is 'assume(" + s[4:k]
+">0)', see `assume?` for more details)\n" + s
ValueError: Computation failed since Maxima requested additional
constraints; using the 'assume' command before integral evaluation *may*
help (example of legal syntax is 'assume(a>0)', see `assume?` for more
details)
Is a positive or negative?
**********************************************************************
File "/usr/share/sage/devel/sage-
main/sage/symbolic/integration/integral.py", line 484:
sage: res = integral(f,x,0.0001414, 1.); res
Expected:
Traceback (most recent call last):
...
TypeError: Computation failed since Maxima requested additional
constraints (try the command 'assume((y-1)*(y+1)>0)' before integral
or limit evaluation, for example):
Is (y-1)*(y+1) positive, negative, or zero?
Got:
Traceback (most recent call last):
File "/usr/bin/ncadoctest.py", line 1231, in run_one_test
self.run_one_example(test, example, filename, compileflags)
File "/usr/bin/sagedoctest.py", line 38, in run_one_example
OrigDocTestRunner.run_one_example(self, test, example, filename,
compileflags)
File "/usr/bin/ncadoctest.py", line 1172, in run_one_example
compileflags, 1) in test.globs
File "<doctest __main__.example_10[56]>", line 1, in <module>
res = integral(f,x,RealNumber('0.0001414'), RealNumber('1.'));
res###line 484:
sage: res = integral(f,x,0.0001414, 1.); res
File "/usr/lib64/python2.6/site-packages/sage/misc/functional.py",
line 718, in integral
return x.integral(*args, **kwds)
File "expression.pyx", line 8188, in
sage.symbolic.expression.Expression.integral
(sage/symbolic/expression.cpp:31363)
File "/usr/lib64/python2.6/site-
packages/sage/symbolic/integration/integral.py", line 603, in integrate
return definite_integral(expression, v, a, b)
File "function.pyx", line 414, in
sage.symbolic.function.Function.__call__ (sage/symbolic/function.cpp:4443)
File "/usr/lib64/python2.6/site-
packages/sage/symbolic/integration/integral.py", line 174, in _eval_
return integrator(*args)
File "/usr/lib64/python2.6/site-
packages/sage/symbolic/integration/external.py", line 21, in
maxima_integrator
result = maxima.sr_integral(expression, v, a, b)
File "/usr/lib64/python2.6/site-
packages/sage/interfaces/maxima_lib.py", line 654, in sr_integral
raise ValueError, "Computation failed since Maxima requested
additional constraints; using the 'assume' command before integral
evaluation *may* help (example of legal syntax is 'assume(" + s[4:k]
+">0)', see `assume?` for more details)\n" + s
ValueError: Computation failed since Maxima requested additional
constraints; using the 'assume' command before integral evaluation *may*
help (example of legal syntax is 'assume((y-1)*(y+1)>0)', see `assume?`
for more details)
Is (y-1)*(y+1) positive, negative, or zero?
}}}
Did I forget a patch or somehow something didn't apply?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7377#comment:121>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
