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]