Rev3SecondArt.mws The Elliptic Curve p-derivation Function The First p-jet Space of the Elliptic Curve Glueing Maps The Group Law of the Elliptic Curve The Group Law of the First p-jet Space of the Elliptic Curve modulo p^2 Named Term Equivalences P0 terms R0 Terms P1 terms GCD terms Partial Derivatives Translations of term equivalences Sections to be subtracted under Group Law Subtracting Sections Under the Group Law alpha mu beta delta(alpha) delta(mu) Eliminating regular terms Part One Work p1 Coefficient analysis p0 Coefficient analysis Part Two Work p1 Coefficient Analysis p0 Coefficient Analysis Combining like sections Security Section