#9424: numerical evaluation of symbolic sums
-------------------------------+----------------------------
Reporter: burcin | Owner: burcin
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.3
Component: symbolics | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
-------------------------------+----------------------------
Comment (by nbruin):
Burcin is spot-on:
{{{
sage: S=(I(10).operands()[0].operator()); S
sum
sage: type(S)
<class 'sage.symbolic.function_factory.NewSymbolicFunction'>
}}}
(Note the "New", not "BuiltIn" or similar. It's a completely generic
placeholder)
we just need a symbolic function hooked up that can do some mildly
intelligent evaluation when asked for it.
Incidentally, we can just map back to maxima and do the right thing there:
{{{
sage: maxima_calculus(I(10))
('sum(abs(4*_SAGE_VAR_k^2+56*_SAGE_VAR_k-329),_SAGE_VAR_k,1,10))/500
sage: SR(maxima_calculus(I(10)).simplify_sum())
1301/250
}}}
(I haven't checked if it's correct). You can see why the "simplify_sum" is
required: the newly created "sum" function in SR is linked to the inert
"'sum".
--
Ticket URL: <http://trac.sagemath.org/ticket/9424#comment:9>
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.
