Hi,

> Also, this 'copy' of Maxima isn't the same as the one we use for
> calculus, which has the 'simplify_sum' package preloaded:
>
> sage: sage.calculus.calculus.maxima('simplify_sum(sum(x^2,x,0,n))')
> (2*n^3+3*n^2+n)/6
> sage: maxima('simplify_sum(sum(x^2,x,0,n))')
> simplify_sum('sum(x^2,x,0,n))
>
> And it doesn't seem like maxima_methods() uses this copy either, which
> means we don't have access to 'simplify_sum'.
>
Ok, I wasn't aware of that, I know have an idea of why two copies of
Maxima get killed when I exit Sage.
I should really have a deeper look to how Maxima is handled.

> Yes, I would say this is worthy of a few tickets.
>
> 1. Adding the option to have simpsum in symbolic summation, similar to
> how the various options in log_expand are handled.  This would be
> independent of any general rewrite function - some users will not have
> the sophistication to use those, but can profit from having extra
> options to (say) symbolic summation to get what they want.
That is the reason why I originally posted here, that would be quick
and easy to implement, just adding an option to symbolic_sum()
function in Sage code.
>
> 2. There should be a way to set options and do other things that are
> not functions on the expression/wrapper like with maxima_methods().
> In particular, if you do something like maxima_methods().load('...')
> or .simpsum(), they won't work - nor should they, with the current
> syntax.  But it would be nice for them to do so.
I agree with that. One should be able to set once and for all some
options for Maxima (maybe not the one used by calculus, but at least
the one called with maxima.smthg)
That would make useless point 1.
>
> And (3.) we should discuss whether the maxima_methods() wrappers
> should use the 'calculus' copy.
Currently which one is used ? The global one ?
I'll also have a look to what is currently done.

Cheers,
JP

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to