3 ms·

[0,1] = {x | 0 <= x and x <= 1}. "<=" does not depend on where x came from or what it would have been had something else happened that didn't happen. There's n

• pclmulqdq 4y ago
  Are we talking about the interval [0, 1] in R or about [0.0f, 1.0f] (the interval in the space of floats)? I'm pretty sure that your definition of an interval is correct even when the set doesn't have a total order, but if we're talking about floats whose values are in [0, 1] in the space of real numbers, that may not include -0.0f, since floating point numbers usually represent one number in a range of real values, and -0.0f represents -epsilon where epsilon is between 0 and the real value of the smallest denorm.
  • mike_hock 4y ago
    > I'm pretty sure that your definition of an interval is correct even when the set doesn't have a total order Yes, and in the usual ordering on floats that's actually implemented by hardware, 0.0f == -0.0f, so -0.0f is in [-0.0f, 0.0f]. > since floating point numbers usually represent one number in a range of real values, and -0.0f represents -epsilon where epsilon is between 0 and the real value of the smallest denorm. That's a valid interpretation but apparently the standard ordering wasn't specified from that perspective.
    • mike_hock 4y ago
      * I meant in [0.0f, 1.0f], of course