egg changed the topic of #principia to: Logs: https://esper.irclog.whitequark.org/principia | <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/ | <egg> calculating the influence of lamont on Pluto is a bit silly…
_whitelogger has joined #principia
<_whitenotifier-c1cb> [Principia] eggrobin opened pull request #3916: More algebraic concepts, some tests, and missing operations found by the tests - https://github.com/mockingbirdnest/Principia/pull/3916
<queqiao-> ⟨prdxcl⟩ Is there any way to zoom in further in the map view?
_whitelogger has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
<_whitenotifier-c1cb> [Principia] eggrobin closed pull request #3916: More algebraic concepts, some tests, and missing operations found by the tests - https://github.com/mockingbirdnest/Principia/pull/3916
<raptop> I suppose someone could use this to sneak in a few apocalypses in custum systems: https://arxiv.org/abs/2403.17928
<_whitenotifier-c1cb> [Principia] eggrobin opened pull request #3917: Make DegreesOfFreedom an alias of Pair rather than a subclass - https://github.com/mockingbirdnest/Principia/pull/3917
<_whitenotifier-c1cb> [Principia] pleroy opened pull request #3918: Change the polynomial evaluators to be specified at the object level and not at the type level - https://github.com/mockingbirdnest/Principia/pull/3918
<_whitenotifier-cec0> [Principia] eggrobin closed pull request #3917: Make DegreesOfFreedom an alias of Pair rather than a subclass - https://github.com/mockingbirdnest/Principia/pull/3917