Deformation.mws
Defining the Elliptic Curve E.
Computation of d(f(x,y)) and d(g(u,z))
Addition and Multiplication Functions for p-derivations
Computation of d(f(x,y))
Computation of d(g(u,z))
Computation of d_U
Computation of dparx(x)
Computation of dpary(y)
Defining dali and dante
Computing A and B such that A*(\partial f / \partial x) + B*(\partial f / \partial y) = 1.
Computation of d_V
Computation of dparu(u)
Computation of dparz(z)
Defining defoe and delillo
Computing Av and Bv such that Av*(\partial g / \partial u) + Bv*(\partial g / \partial z) = 1.
Computation of d_V(u/z)
Transformation of d_V(u/z) into the variables x and y.
Computation of (d_U - d_V) (x)