| LIB "difform.lib";
ring R = 0,(x,y,z,t),dp;
diffAlgebra();
==> // The differential algebra Omega_R was constructed and the differential \
forms dDx, dDy, dDz, dDt, dx, dy, dz, dt are available.
list L_1; L_1[1] = list(dy,dx,dt,dz); L_1[2] = list(x2-y,23y+t,tz4,z-y);
/////////////////
// Derivations //
/////////////////
derivation phi_1 = L_1; phi_1;
==> Omega_R^1 --> R
==> dx |--> 23y+t
==> dy |--> x2-y
==> dz |--> -y+z
==> dt |--> z4t
==>
==>
derivation phi_poly = 3xyz; phi_poly;
==> Omega_R^1 --> R
==> dx |--> 3xyz
==> dy |--> 3xyz
==> dz |--> 3xyz
==> dt |--> 3xyz
==>
==>
/////////////////////////////
// Negation of derivations //
/////////////////////////////
-phi_1;
==> Omega_R^1 --> R
==> dx |--> -23y-t
==> dy |--> -x2+y
==> dz |--> y-z
==> dt |--> -z4t
==>
==>
-(-phi_1);
==> Omega_R^1 --> R
==> dx |--> 23y+t
==> dy |--> x2-y
==> dz |--> -y+z
==> dt |--> z4t
==>
==>
-(phi_poly);
==> Omega_R^1 --> R
==> dx |--> -3xyz
==> dy |--> -3xyz
==> dz |--> -3xyz
==> dt |--> -3xyz
==>
==>
kill Omega_R,dx,dy,dz,dt,L_1,phi_1,phi_poly;
|