arguments: m:matrix F:ringmap J:GB >> matrix
Given a (partial) SAGBI basis which is the image of the map F, and the GB J of the ideal (y_i - in(f_i)), computed in degrees at least as high as the elements of 'm', return the (auto) subduction of the one row matrix 'm'.