Aurel Page on Wed, 10 Jul 2024 00:20:33 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: abs(oo) 

Dear Ilya,

It is allowed on master:

? abs(-oo)
%1 = +oo

Best,
Aurel

On 10/07/2024 00:09, Ilya Zakharevich wrote:

I know that oo and -oo should only be involved in comparisons and unary
negation.  But they work in max and min — so it seems logical that
they must work in everything EXPRESSIBLE in terms of these operations
as well!  But then abs(-oo) should be allowed…

Thanks,
Ilya