Advanced Search

Question: simplify ceil and floor2.0

Question:simplify ceil and floor2.0

lcz 1034 Maple 2020
simplify floor ceil
February 05 2021
1

 12 yeas later, the probelm  is not still improved in following links 

https://www.mapleprimes.com/posts/38473-Simplify-Ceil-And-Floor

simplify(ceil(x)+floor(-x));

                         floor(-x) + ceil(x)



I think extending simplify by Joe Riel 8221  is a little complicated. 

restart;
`simplify/ceil` := proc(ex)
    evalindets(ex, 'specfunc(anything,ceil)', x -> -floor(-op(x)));
end proc:

simplify(floor(-x) + ceil(x));

 It seems that maple know  ceil(x)=-floor(-x) 

 

why does not maple2020 still handle that?  

 

 
Please Wait...