Proposal for new simplication flag



Stavros Macrakis wrote:

> On 1/30/07, Michel Van den Bergh <michel.vandenbergh at uhasselt.be> wrote:
>
>> Responding to some problems I had with levin Stavros made a small 
>> patch to
>> simplifya which implements a flag which makes maxima convert floating
>> point numbers to bfloats at the current precision before doing other 
>> simplifications.
>
>
> Perhaps a cleaner way to control this feature would be numer: bfloat
> vs. numer:true == numer:float.
>
>      

Fine by me. I guess numer:float is not currently recognized? Would you
want to introduce that as well (as a synonym for numer:true)?

Michel