|  |  D.15.12.19 difformEqu Procedure from librarydifform.lib(see  difform_lib).
 
Example:Usage:
df == dg; df,dg difform
Return:
1, if df and dg are euqal - 0, otherwise
 See also:
 difformNeq.|  | LIB "difform.lib";
ring R = 0,(x,y,z),ds;
diffAlgebra();
==> // The differential algebra Omega_R was constructed and the differential \
   forms dDx, dDy, dDz, dx, dy, dz are available.
/////////////////////////////////////////
// Applications of comparison operator //
/////////////////////////////////////////
difform df = 3*dx - x8*dx*dy;
difform dg = 3 + x8*dy;
df == dg;
==> 0
dg = dg*dx;
df == dg;
==> 1
kill Omega_R,df,dg,dx,dy,dz;
 | 
 
 |