subresultants((x^2 - y^2) - 16, y^2-1, y)