public inbox for [email protected]  
help / color / mirror / Atom feed
From: Joseph Koshakow <[email protected]>
To: jian he <[email protected]>
Cc: Ashutosh Bapat <[email protected]>
Cc: PostgreSQL Hackers <[email protected]>
Subject: Re: Infinite Interval
Date: Mon, 2 Jan 2023 13:21:50 -0500
Message-ID: <CAAvxfHfe=qnE3hRpqmnbd2Mh2V9jZPZzomfWJ5xyYo0kfpwrSg@mail.gmail.com> (raw)
In-Reply-To: <CACJufxFbyVsdGzDEnoTKbfYa=rasCDa8NP5xb-MMd9o4=8V7Hw@mail.gmail.com>
References: <CAAvxfHea4+sPybKK7agDYOMo9N-Z3J6ZXf3BOM79pFsFNcRjwA@mail.gmail.com>
	<CAExHW5u2ccv+p4bahZ9qh8yF50W77wnsp_dsMMQeSfkqvL4MjQ@mail.gmail.com>
	<CAAvxfHc5ZLsMAYmKaGOJVGvZyhZS+eZ-p_HZDZF4JsJYAtCj+A@mail.gmail.com>
	<CAAvxfHfKQW7yxTbceWsVPFPDCCH2ocp+-ZfQdY9da0W_jUk6_w@mail.gmail.com>
	<CAAvxfHfmqR7DfpVuq+7Y4mnfxUkA++tAu2mTE32e7iasQRzVVw@mail.gmail.com>
	<CAAvxfHfqwdE02zRaayuW2-sGOoQxTRv0hkvvgPQ5qNYn9akCQQ@mail.gmail.com>
	<CAAvxfHfoOsMorTq_9WsUuMy3Zh5umqMwAYm_o5+XDkT0DiWD1Q@mail.gmail.com>
	<CACJufxFbyVsdGzDEnoTKbfYa=rasCDa8NP5xb-MMd9o4=8V7Hw@mail.gmail.com>

On Sat, Dec 31, 2022 at 12:09 AM jian he <[email protected]> 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






view thread (2+ messages)

reply

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: [email protected]
  Cc: [email protected], [email protected], [email protected], [email protected]
  Subject: Re: Infinite Interval
  In-Reply-To: <CAAvxfHfe=qnE3hRpqmnbd2Mh2V9jZPZzomfWJ5xyYo0kfpwrSg@mail.gmail.com>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox