|  |  D.15.12.33 derivationConstructor Procedure from librarydifform.lib(see  difform_lib).
 
Example:Usage:
derivation phi = inp; inp of any type
Return:
the derivation defined by inp:
Remarks:
the output depens on the type of inp:
- if inp is of type list, the constructor derivationFromList is used
- if inp is of type poly, number, int or bigint, derivationFromPoly is used
 
Note:
for other than the mentioned types, there is no output
 See also:
 derivationFromList;
 derivationFromPoly.|  | LIB "difform.lib";
ring R = 31,(x,y,z),dp;
diffAlgebra();
==> // The differential algebra Omega_R was constructed and the differential \
   forms dDx, dDy, dDz, dx, dy, dz are available.
////////////////////////////////////////////////////////////
// Construction of derivations from lists and polynomials //
////////////////////////////////////////////////////////////
list L; L[1] = list(dx,dz,dy); L[2] = list(x2,y-x,z);
derivation phi = L; phi;
==>  Omega_R^1 --> R
==>        dx |--> x2
==>        dy |--> z
==>        dz |--> -x+y
==> 
==> 
derivation psi = 3x2-12z; psi;
==>  Omega_R^1 --> R
==>        dx |--> 3x2-12z
==>        dy |--> 3x2-12z
==>        dz |--> 3x2-12z
==> 
==> 
kill Omega_R,dx,dy,dz,phi,psi;
 | 
 
 |