On Sat, Dec 31, 2022 at 12:09 AM jian he <jian.universality@gmail.com> wrote:
> In float8, select float8 'inf' / float8 'inf' return NaN. Now in your patch select interval 'infinity' / float8
'infinity';returns infinity.
> I am not sure it's right. I found this related post
(https://math.stackexchange.com/questions/181304/what-is-infinity-divided-by-infinity).
Good point, I agree this should return an error. We also need to
properly handle multiplication and division of infinite intervals by
float8 'nan'. My patch is returning an infinite interval, but it should
be returning an error. I'll upload a new patch shortly.
- Joe