Declare Variable Even and Use floor and Ceil



On Fri, Oct 2, 2009 at 11:33 AM, Casper Thomsen
<caspert.math.aau at gmail.com>wrote:

>    (%i2) declare(o,odd)$ floor(o/2);
> I would expect Maxima to do
>    (%w1) (o-1)/2
> but Maxima answers simply
>    (%o2) floor(o/2)
>

This would be easy enough to add to the simplifier....


> Likewise, I would expect
>    (%i3) ceil(e/2); ceil(o/2);
> to give
>    (%w3) e/2
>

The ceiling function is called 'ceiling' in Maxima, not 'ceil'.
ceiling(e/2) correctly gives e/2.

         -s