Roman Kononov <kononov@ftml.net> writes:
> On 2009-04-03 23:32 Tom Lane said the following:
>> Uh, what's your point? We have to match interval_eq, not
>> justify_interval.
> For any two intervals a and b, saying that interval_cmp_interval(a,b)==0
> is exactly the same as saying that (aj.month==bj.month && aj.day==bj.day
> && aj.time==bj.time), where aj=justify_interval(a) and
> bj=justify_interval(b).
I doubt that that's exactly true when you take floating-point roundoff
into account ...
regards, tom lane
