def test_euclid_q():
x = var('x')
p = x**3 - 7*x + 7
q = 3*x**2 - 7
assert euclid_q(p, q, x)[-1] == -sturm(p)[-1]
def test_euclid_q():
x = var('x')
p = x**3 - 7 * x + 7
q = 3 * x**2 - 7
assert euclid_q(p, q, x)[-1] == -sturm(p)[-1]