| 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;
|