On Thu, Jul 25, 2013 at 9:16 AM, Victor Miller <victorsmil...@gmail.com> wrote:
> In the latest version of sage (at least what cloud.sagemath.org is running),
... which is sage-5.10, the latest released version. However, the
same happens with 'Sage Version 5.11.beta2, Release Date: 2013-06-19'.
> there is a problem with substituting constants into the formal integrals of
> formal functions. See the examples below.
>
> Victor
>
> 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'
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-support" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-support+unsubscr...@googlegroups.com.
> To post to this group, send email to sage-support@googlegroups.com.
> Visit this group at http://groups.google.com/group/sage-support.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>
--
William Stein
Professor of Mathematics
University of Washington
http://wstein.org
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/groups/opt_out.
