On 2013-01-31, Jori Mantysalo <jori.mantys...@uta.fi> wrote:
> This says e^x as it should:
>
> forget();
> x=var('x'); h=var('h');
> assume(x, 'integer')
> f = exp(x)
> limit ( (f(x+h)-f(x))/h, h=0)
>
> If I change assume(x, 'integer') to assume(x, 'rational') I got question
> "Is x an integer?" from Maxima. Why so?
Looking at the code, it appears that, among other tactics, Maxima tries
to find the greatest common divisor of the exponent and something else
(didn't look carefully enough to see exactly what is going on). So that
would work if the exponent is an integer. However, I doubt if Maxima can
do anything unless the exponent is a literal integer, so the question
seems pointless. I'd have to look at it again before figuring out if the
question could be skipped.
best
Robert Dodier
--
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
