1.2.43 `sm1.ecartd_isSameIdeal_h'
---------------------------------

sm1.ecartd_isSameIdeal_h(F)
     :  Here, F=[II,JJ,V].   It compares two ideals II and JJ in
     h[0,1](D)_alg.
Example:

      input
        II=[(1-x)^2*dx+h*(1-x)]$ JJ = [(1-x)*dx+h]$
        V=[x]$
        sm1.ecartd_isSameIdeal_h([II,JJ,V]);

