barrywardell
commented
1 year ago As far as I can see, the correct definition from #3 was never actually implemented in the code.
Closed samdupton closed 1 year ago
barrywardell
commented
1 year ago As far as I can see, the correct definition from #3 was never actually implemented in the code.
The correction for the definition of $\mu^{\ell}{}_{s}$ seems to have been reverted at some point. This pull request corrects the definition to match this comment and fixes #3.