1.2.51 `sm1.isSameIdeal_in_Dalg'
--------------------------------

sm1.isSameIdeal_in_Dalg(I,J,V)
     :  It compares two ideals I and J in D_alg (algebraic D  with
     variables V,  no homogenization).
Example:

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

