test_aritmetica_elemental.py 文件源码

def test_alg_euclides_polinomios(self, l1, l2, primo):
        assume(l1)
        assume(l2)
        g = PolinomioZp(l1, primo)
        h = PolinomioZp(l2, primo)
        cero = PolinomioZp([0], primo)
        assume(g != cero)
        s, t, d = alg_euclides_polinomios(g, h, p=primo)
        assert s * g + t * h == d
        assert g % d == 0 and h % d == 0  # vemos si el gcd divide a ambos
        if h != cero:
            assert s.grado() <= h.grado() and t.grado() <= g.grado()