This algorithm is a strategy for computing the truncated dual space of an ideal I at degree d. A matrix is formed with a column for each monomial in the ring of I of degree at most d, and a row for each monomial multiple of a generator of I which has any terms of degree d or less, storing its coefficients. Any vector in the kernel of this matrix is the coeffeicient vector of an element of the dual space.