|  | 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.
/////////////////////////////////////////////////
// Universal derivation applied to polynomials //
/////////////////////////////////////////////////
difformUnivDer(3x);
==> 3*dx
==> 
difformUnivDer(xyz+x2y2z2);
==> (2xy2z2+yz)*dx+(2x2yz2+xz)*dy+(2x2y2z+xy)*dz
==> 
difformUnivDer(x+y+z);
==> dx+dy+dz
==> 
kill Omega_R,dx,dy,dz;
 |