def test_uncovered_line():
gens = [x, y]
f1 = sdm_zero()
f2 = sdm_from_vector([x, 0], lex, QQ, gens=gens)
f3 = sdm_from_vector([0, y], lex, QQ, gens=gens)
assert sdm_spoly(f1, f2, lex, QQ) == sdm_zero()
assert sdm_spoly(f3, f2, lex, QQ) == sdm_zero()
def test_uncovered_line():
gens = [x, y]
f1 = sdm_zero()
f2 = sdm_from_vector([x, 0], lex, QQ, gens=gens)
f3 = sdm_from_vector([0, y], lex, QQ, gens=gens)
assert sdm_spoly(f1, f2, lex, QQ) == sdm_zero()
assert sdm_spoly(f3, f2, lex, QQ) == sdm_zero()
def test_sdm_spoly():
f = [((2, 1, 1), QQ(1)), ((1, 0, 1), QQ(1))]
g = [((2, 3, 0), QQ(1))]
h = [((1, 2, 3), QQ(1))]
assert sdm_spoly(f, h, lex, QQ) == []
assert sdm_spoly(f, g, lex, QQ) == [((1, 2, 1), QQ(1))]
def test_sdm_spoly():
f = [((2, 1, 1), QQ(1)), ((1, 0, 1), QQ(1))]
g = [((2, 3, 0), QQ(1))]
h = [((1, 2, 3), QQ(1))]
assert sdm_spoly(f, h, lex, QQ) == []
assert sdm_spoly(f, g, lex, QQ) == [((1, 2, 1), QQ(1))]
