Are there positive ints a,b s.t. floor((double)a/b)!=a/b ? (C expressions, 32-bit int)
-
-
I think it's still ok but I don't have a convincing argument.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Yes, expanding more: rounding never causes a value to cross a representable value; (i.e. if mathematically exact x >= y, and y representable, rounded x >= y).
-
What are you, the human SAT solve- *remembers profile description* Oh... Well your neurons are certainly more efficient than a SAT solver :D!
-
s/SAT/SMT/
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.