LIB "difform.lib";
ring R = 0,(a,b,c,x,y,z),lp;
diffAlgebra();
==> // The differential algebra Omega_R was constructed and the differential \
   forms dDa, dDb, dDc, dDx, dDy, dDz, da, db, dc, dx, dy, dz are available.
/////////////////
// Derivations //
/////////////////
list L; L[1] = list(dx,dy,dz,da,db,dc); L[2] = list(1,12x-y,z4aby, 2*b5x,0,xyz-abc);
derivation phi = L;
derivation phi_poly = 3ab - c2*x + z;
///////////////////////////
// Applications of Print //
///////////////////////////
phi;
==>  Omega_R^1 --> R
==>        da |--> 2b5x
==>        db |--> 0
==>        dc |--> -abc+xyz
==>        dx |--> 1
==>        dy |--> 12x-y
==>        dz |--> abyz4
==> 
==> 
phi_poly;
==>  Omega_R^1 --> R
==>        da |--> 3ab-c2x+z
==>        db |--> 3ab-c2x+z
==>        dc |--> 3ab-c2x+z
==>        dx |--> 3ab-c2x+z
==>        dy |--> 3ab-c2x+z
==>        dz |--> 3ab-c2x+z
==> 
==> 
kill Omega_R,da,db,dc,dx,dy,dz,L,phi,phi_poly;