arguments: top:matrix bottom:matrix d:deg >> matrix
Form a matrix whose columns form a k-basis of the module (image(top)/image(bottom)) in degree d. It is assumed that the columns of 'top' and 'bottom' form Groebner bases, and that they have the same row space. If d = {}, then a k-basis for the whole module is returned.