Josh W helpfully pointed out a spec bug. This PR aims to correct it and some others that came to light in the process of reviewing and confirming that fix.
The problems were a combination of later parts of the spec doc getting out of sync with earlier parts that had been revised, as well as mistakes regarding scaling factors in $M_{21}$. A general theme of this update is that expressions along lines of
turn into expressions like
Josh W helpfully pointed out a spec bug. This PR aims to correct it and some others that came to light in the process of reviewing and confirming that fix.
The problems were a combination of later parts of the spec doc getting out of sync with earlier parts that had been revised, as well as mistakes regarding scaling factors in $M_{21}$. A general theme of this update is that expressions along lines of
turn into expressions like
