egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Cesàro. We currently target both 1.2.2 and 1.3. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/
<awang>
egg|afk|egg: You sure ubsan complaining about division by zero is ok?
<awang>
I thought ubsan was supposed to be pretty good about avoiding false positives
<awang>
It's complaining about physics/kepler_orbit_body.hpp, lines 342 and 343
<awang>
Reciprocal of eggsentricity when e = 0 results in division by 0?
e_14159 has quit [Ping timeout: 204 seconds]
e_14159 has joined #principia
<egg|afk|egg>
awang: floating-point division by 0 is fine and yields an infinity of the appropriate sign
<egg|afk|egg>
this is intended
<awang>
egg|afk|egg: Oh. Didn't realize that.
<awang>
Maybe add a compile-time check whether std::numeric_limits::is_iec559 is true?
<awang>
Or not worth checking since it's going to be true for all common platforms?
icefire has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
awang has quit [Read error: Connection reset by peer]
awang has joined #principia
uj8efdjkfdshf has joined #principia
<egg|afk|egg>
awang: so this is the least of my concerns for floating-point correctness, the compiler doing incorrect optimization (hopefully the only optimizations that are not semantics-preserving that it might do would be fma contraction, which is ok in most (not all) instances), or something setting flush-to-zero, would be way bigger issues that I don't really check for
<awang>
egg|afk|egg: Fair enough. Makes sense
Wetmelon has quit [Ping timeout: 204 seconds]
NolanSyKinsley has quit [Remote host closed the connection]
Orkeren_ has quit [Remote host closed the connection]
Orkeren_ has joined #principia
icefire has joined #principia
icefire has quit [Quit: WeeChat 1.4]
Jesin has quit [Quit: Leaving]
Rokker has quit [Quit: Connection closed for inactivity]
Jesin has joined #principia
NolanSyKinsley has joined #principia
MrSavage has joined #principia
MrSavage has quit [Read error: Connection reset by peer]