The polished g 0 {\displaystyle {\mathfrak {g}}_{0}} invariant following 170307-g0Polished.nb (pre-class: pdf, nb; post-class: pdf, nb) and g 1 {\displaystyle {\mathfrak {g}}_{1}} lemmas following 170307-geps.nb (pre-class: pdf, nb; post-class: pdf, nb).