egg|zzz|egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Coxeter. We currently target 1.2.2, 1.3.1, and 1.4.1. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/
armed_troop has quit [Ping timeout: 198 seconds]
armed_troop has joined #principia
Mike` has quit [Ping timeout: 190 seconds]
Mike` has joined #principia
NolanSyKinsley has quit [Remote host closed the connection]
<GH>
[Principia] pleroy commented on issue #1761: retest this please https://git.io/vxcBl
awang has quit [Ping timeout: 198 seconds]
awang has joined #principia
Technicalfool has joined #principia
GregroxMun has joined #principia
<GregroxMun>
will I ever be able to use a negative semi-major-axis with Principia?
<awang>
egg|zzz|egg: Interesting things from the most recent C++ meeting:
<awang>
Two-way comparisons between different enum types would be deprecated
<awang>
Comparisons between arithmetical types would have mathematical semantics
<awang>
e.g. assert(-1 < 0u) passes with the change
<awang>
No idea what would happen with other boundary cases
<awang>
There's another paper, "Class Types in Non-Type Template Parameters"
<awang>
If a class is a LiteralType, and has operator<=>, you can use it as a non-type template parameter
<awang>
So apparently strings as template parameters could become a thing
<awang>
And strong typedefs
<awang>
Apparently a Unicode Study Group was also created
<awang>
egg|zzz|egg: Got some interesting UBSan errors here
<awang>
There's floating-point division by zero, which I think you said was ok earlier
<awang>
The new one
<awang>
"runtime error: member call on address 0x60c024071230 which does not point to an object of type DegreesOfFreedom<Frame<Frame_PluginTab, Frame_PluginTag_RIGID_PILE_UP, false>>
<awang>
object is of type 'DegreesOfFreedom<Frame<Frame_PluginTag, (Frame_PluginTag)11, false>>
<awang>
"
<awang>
There's similar errors but with member accesses
<awang>
The member call things seem to be ok?
<awang>
Frame_PluginTag_RIGID_PILE_UP = 11
<awang>
so idk what Clang is doing
<awang>
The member access one is
<awang>
"runtime error: member access within address 0x60c024071230 which does not point to an object of type 'Pair<Point<Multivector<Quantity<Dimensions<1, (zeros)>, Frame<Frame_PluginTag, Frame_PluginTag_RIGID_PILE_UP, false>, 1>>, Multivector<Quantity<Dimensions<1, 0, -1, (zeros)>, Frame<Frame_PluginTag, Frame_PluginTag_RIGID_PILE_UP, false>, 1>>
<awang>
object is of type DegreesOfFreedom<Frame<Frame_PluginTag, (Frame_PluginTag)11, false>>
<awang>
"
<awang>
This one seems weird to me
<awang>
This is for PileUpTest.LifecycleWithIntrinsicForce
<awang>
member call errors were on physics/degrees_of_freedom_body.hpp:65 and :66
<awang>
Member accesses were in degrees_of_freedom_body.hpp:33 and :38
Hypergolic_Skunk has joined #principia
Rokker has quit [Quit: Connection closed for inactivity]
NolanSyKinsley has joined #principia
Rokker has joined #principia
Raidernick_ has quit [Read error: Connection reset by peer]
Raidernick has joined #principia
<GH>
[Principia] pleroy opened pull request #1764: Initialize an out parameter that was causing serialization to die (master...Bool) https://git.io/vxCdZ
<GregroxMun>
Dumb question.
<GregroxMun>
Could you change the formula for gravity to something other than the inverse square law?
<GregroxMun>
like what if I want to see gravity that is proportional to the sine of the distance?
<GH>
[Principia] pleroy closed pull request #1764: Initialize an out parameter that was causing serialization to die (master...Bool) https://git.io/vxCdZ
rsparkyc has joined #principia
<rsparkyc>
o/
<rsparkyc>
has anyone achieved a Near Rectilinear Orbit in the kerbin-mun system?
rsparkyc has quit [Quit: rsparkyc]
awang has quit [Read error: Connection reset by peer]