Karim Belabas on Wed, 10 Jul 2024 00:42:51 +0200
|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
- To: Ilya Zakharevich <nospam-abuse@ilyaz.org>
- Subject: Re: abs(oo)
- From: Karim Belabas <Karim.Belabas@math.u-bordeaux.fr>
- Date: Wed, 10 Jul 2024 00:42:46 +0200
- Arc-authentication-results: i=1; smail; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; d=math.u-bordeaux.fr; s=openarc; t=1720564968; c=relaxed/relaxed; bh=RRyVfpDnFe8ham73skUYY+C86qplaLza8YiFMkg+mMQ=; h=DKIM-Signature:Date:From:To:Cc:Subject:Message-ID: Mail-Followup-To:References:MIME-Version:Content-Type: Content-Disposition:Content-Transfer-Encoding:In-Reply-To; b=jf8LjLVYpYbCki1OcyUAeXF8GCMf/2gQpIMPFkSJO7t9ZS2HIxbbgLwmJI5kIRJzg3atMKKqECn55C0jOK5tuCBbcfJbewxCQzjwk0M9Kw4xgOoq1Mw3NlwVWszNCcEucPi4vttKRN1PY4pLsWfTFOyWl5mzmmBjORH5DL+QWOoKK6sDB1neTPaQ2gACXpUc5ZK3z4i+55Nm8PK13T1KRnr/ocnnnkHpbvtsSYxAbjVIhBd7HivAw+SKjt0WAz89oFqKvYcgxsTA2sWaiJZWaPyl4gPEtwKZwd1EQPpIsPecIaGNIQeD65xlH+ciDuctmaYgD3+JBJOvZDezJcd6Epu//cm7E5uikyFA40TkyEHCB+rNGvCwFDn/nbkv6HDLLk71ynIHoWmIaBZwoDlAJxmLymsRU5KDjNHlqQrdXATeWKg23Twd4XnEpz74kgHs/O9aBWXEBImm1+aRWOHsnknuc+/yTH0uX1eNTwy2NSMsgZeQZ7Gq3gfRQ7NdtfmW9dNDc6P0laMpfeaUpTIdM8APY815viGrPe+HF6KgaLpItqx6Im3hsjXvv75T1oqHkuvwzcoh5irw3Ip+4r1Vv5+DrV9B6EyKA4GMh/ahDvzOJRqn+MJVsD2Y8n/f0rNsWq5o3jew6/E2u3O7PjW7V6CVWR8NybbCKpB/H+OJACU=
- Arc-seal: i=1; a=rsa-sha256; d=math.u-bordeaux.fr; s=openarc; t=1720564968; cv=none; b=F5tuQNxyILp2fjAW5/ar0jjRAi3luZBtu8EwJ1KWn/acDGxcuRycImFhN1d1Ax6T4zL52tyTWwGp+yhIMDirGVph/r6qBuK53VllIADCzJhIh1OeomWbMSIZ7oRwEN7TIbr5bWbpfK2r4+yJEl2zdtHke6ROOOuH4te5dO4d9F3QGkU4GXBKO1r8X9eZXDff3ZpGHtbOcToHrNgwb6R+KWv9mX2eoRWQQkPJE0sJirKzzer7BPOcyz+TtOZokB4wjATSLz77vmKz9Ebsjj6ocXZsLjgdQ4DaRSoXJWefKICfzPo8DUsitg7UZ70gerTHu3qWPPb+T0LV0fYFVTvQX6SHT6AuQK611U+yBv5pwB3fhkTsvO4bZyj7C9e1NMfdFROxlGCoyWFmkf+6y66whaiGMgkwD8GXcsi54mLrb8qw+f8cEESxmeZblzgxB+OEtRME45Fi9AoCqwWiN7Un4mUKDMD8Hdwp5QmvYWMnH5hlWiO7lxl8ZAoOugdMVaIFAHzyn62T5KX1CCUkNaSCRU7LT6DsdMjX+RXgb2dksEl9KKf3hqSe19HiLssHkbUp+WxnsU4LYsaYgh1X7SVZE4+UsiRLUz1ZEO7yV3fxhE91TqVB3+9pexl91X2L669LfJYEgmzEkn6g+xmPw4fgTcUk29/StZ1XvkWhS60P7Zk=
- Authentication-results: smail; dmarc=none header.from=math.u-bordeaux.fr
- Authentication-results: smail; arc=none
- Cc: Pari Developers Mailing List <pari-dev@pari.math.u-bordeaux.fr>
- Delivery-date: Wed, 10 Jul 2024 00:42:51 +0200
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=math.u-bordeaux.fr; s=2022; t=1720564967; bh=RRyVfpDnFe8ham73skUYY+C86qplaLza8YiFMkg+mMQ=; h=Date:From:To:Cc:Subject:References:In-Reply-To:From; b=WpjzHds1LoBm86HUVlBeXZmkbnTgB3IXPbh+5kmJrPlhH7lmM4vG21Ly6yyJiNkH4 Z22pax5E9QYQH85kOJrzcTlb6Q2e97+N0CrMyKZLR0asm0E004te7E9drrf2QglxKU WAjQuUBLp7coJz3m6FNZzaJAvNtO/HYMe+pWUxbg4aFM08QuPgJj4el80vnyNJSWkh TB84h7pAamBFC2ymfhvt1f1WHpGf2++hfTFUke25/AvMBwslW/FqEIvdJJgjh0NKWj y8utKiILX84P2ZFy6t/cTSJVBtdD3ZI/WsKC9g//kqdDV+zqD830XAXnYgT6j7PtFl 1dVKP+cZxA0ocp1h/RnroHC4pCvv2xYWd4bTe9PhqgTDkA4dkgonbCZ1jNaCj0gJ7t IdrA6zH0Yu+J/PuXb73J2uL1OG5geIBoYNc/4H6mxmt7rjSwVsdkC1HCoMZZf24Rlc 9LSSUliAsCKAN/uPcXokY0G6hUJHiJwAVXSPbds6+I/BytPdrRSLOY/t3P88AGuS4e jQm4QDIAXY/IS4Nc//Do2ACT009AaKMpV6SCV9yoaguGRMSGosjPjf12c1ce7egY65 jxbA8bmKionCtDGE4DxnuqDnCxxcN+7ERxj1g2rtjbOlOkGG9j9XBzhdjMmpmElqMG CgUYFiOrivGj8062WEMHwqKU=
- In-reply-to: <Zo21AnkszUQwfgJT@debian.attlocal.net>
- Mail-followup-to: Ilya Zakharevich <nospam-abuse@ilyaz.org>, Pari Developers Mailing List <pari-dev@pari.math.u-bordeaux.fr>
- References: <Zo21AnkszUQwfgJT@debian.attlocal.net>
* Ilya Zakharevich [2024-07-10 00:09]:
> 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…
It is allowed since
commit 77266e7bacd8e3f35b036f4c6eae671f98faefe2
Author: Bill Allombert <Bill.Allombert@math.u-bordeaux.fr>
Date: Sat Feb 3 17:31:39 2024 +0100
gabs: allow t_INFINITY
? abs(-oo)
%1 = +oo
? abs(oo)
%2 = +oo
Cheers,
K.B.
--
Pr. Karim Belabas, U. Bordeaux, Vice-président en charge du Numérique
Institut de Mathématiques de Bordeaux UMR 5251 - (+33) 05 40 00 29 77
http://www.math.u-bordeaux.fr/~kbelabas/
- References:
- abs(oo)
- From: Ilya Zakharevich <nospam-abuse@ilyaz.org>