Am 4 Oct 2006 um 10:49 hat Barton Willis geschrieben:
> (1) Do a web search on "round-to-even.' For example,
> http://en.wikipedia.org/wiki/Rounding_functions.
Thank you for this link. This made the purpose of the round-to-even rounding
understandable.
So what is the conclusion? Leave it to the user to define what he needs?
> (2) I that think floor((ceiling(x)-floor(x))/2) = 0 is an identity, but
> Maxima doesn't simplify floor((ceiling(x)-floor(x))/2) to zero, for
> example.
It does. For every x bound to a float or bigfloat I get 0 and in case assume(0<x,x<1); I get 0
too.
Volker
> Barton
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima