1.2.49 `sm1.gb_reduction_noh'
-----------------------------

sm1.gb_reduction_noh(F,A)
     :  It returns a reduced form of F in terms of A by using  a normal
     form algorithm.
Example:

      input
        F=[2*dx+1,2*dy+1]$
        FF=[F,"x,y",[[dx,1,dy,1]]]$
        sm1.gb_reduction_noh((1-x-y)^2*dx*dy,FF);

