Addition and Multiplication Functions for p-derivations

In this section we define functions that execute the addition and multiplication rules that define a p-derivation; namely that a p-derivation is a map, d, in which

d(x+y) = dx + dy + (x^p + y^p - (x +y)^p )/p

d(xy) = x^p dy + y^p dx + p dx dy

The following two functions give a way to imitate d(x+y) and d(xy) for d any p-derivation.

> addp:= (x,y) -> d(x) + d(y) + (x^p + y^p - (x+y)^p)/p;

> multp:= (x,y) -> x^p * d(y) + y^p * d(x) + p*d(x)*d(y);

>