Singular Manual: difformEqu

| #### D.15.2.19 difformEqu Procedure from library `difform.lib` (see difform_lib). Usage: df == dg; df,dg difform Return: 1, if df and dg are euqal - 0, otherwise Example:
    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;
See also: difformNeq.

User manual for Singular version 4.3.2p10, 2023, generated by texi2html.