LIB "difform.lib";
ring R = 0,(x,y,z),lp;
diffAlgebra();
==> // The differential algebra Omega_R was constructed and the differential \
   forms dDx, dDy, dDz, dx, dy, dz are available.
//////////////////////////////////////////////////
// Construction of derivations from polynomials //
//////////////////////////////////////////////////
derivation phi = derivationFromPoly(3x*y - 12*y4-z2); phi;
==>  Omega_R^1 --> R
==>        dx |--> 3xy-12y4-z2
==>        dy |--> 3xy-12y4-z2
==>        dz |--> 3xy-12y4-z2
==> 
==> 
derivation psi = derivationFromPoly(0); psi;
==>  Omega_R^1 --> R
==>        dx |--> 0
==>        dy |--> 0
==>        dz |--> 0
==> 
==> 
kill Omega_R,dx,dy,dz,phi,psi;