We analyze the classical approximations made in "The general relativistic effects to the magnetic moment in the Earth's gravity", originally published as "Post-Newtonian effects of Dirac particle in curved spacetime -I : magnetic moment in curved spacetime", and work out precisely where in the argument the mistakes are made. We show explicitly that any difference vanishes when properly distinguishing between coordinate and physical distance. In doing this, we illustrate some of the pitfalls in using GR to make predictions.

We show how to compute efficiently with nominal sets over the total order symmetry, by developing a direct representation of such nominal sets and basic constructions thereon. In contrast to previous approaches, we work directly at the level of orbits, which allows for an accurate complexity analysis. The approach is implemented as the library Ons (Ordered Nominal Sets).Our main motivation is nominal automata, which are models for recognising languages over infinite alphabets. We evaluate Ons in two applications: minimisation of automata and active automata learning. In both cases, Ons is competitive compared to existing implementations and outperforms them for certain classes of inputs.

No abstract