Here's a derivation of my Lo three-base {Syl, Simp, CCCpqqCCCpqCqpp} from the standard four-base {Syl, Simp, Inversion, Linearity}: |
||
1. CCpqCCqrCpr
[Syl] 2. CpCqp [Simp] 3. CCCpqqCCqpp [Inversion] 4. CCCpqCqpCqp [Linearity] D1.3 = 5. CCCCpqqrCCCqppr D1.4 = 6. CCCpqrCCCqpCpqr D5.6 = 7. CCCpqqCCCpqCqpp [The new formula] And here's a derivation of Inversion and Linearity from the new three-base: 1. CCpqCCqrCpr [Syl] 2. CpCqp [Simp] 3. CCCpqqCCCpqCqpp [The new formula] D1.1 = 4. CCCCpqCrqsCCrps D1.2 = 5. CCCpqrCqr D1.3 = 6. CCCCCpqCqpprCCCpqqr D4.4 = 7. CCpCqrCCsqCpCsr D5.3 = 8. CpCCCqpCpqq D6.2 = 9. CCCpqqCrCCCpqCqpp D6.5 = 10. CCCpqqCCqpp [Inversion] D7.8 = 11. CCpCCqrCrqCrCpq D5.9 = 12. CpCqCCCrpCprr D11.12 = 13. CCCpqCqpCqp [Linearity] CCCpqCqpCCCpqqp works as well, but the going is somewhat heavier. |
||
|