Previous Up Next

6.28.10  Solving au+bv=c over polynomials: abcuv

A consequence of Bézout’s identity is that given polynomials A(x), B(x) and C(x), there exist polynomials U(x) and V(x) such that

C(x)=U(x)· A(x)+V(x)· B(x

exactly when C(x) is a multiple of the greatest common divisor of A(x) and B(x). The abcuv command solves this polynomial equation.


Examples.


Previous Up Next