Bezout

Working with numbers? See bezout (arithmetic)


If g is the greatest common divisor of two polynomials a and b, then there are two polynomials u and v such that

a u plus b v equals g

and d e g left parenthesis u right parenthesis less than d e g left parenthesis b right parenthesis minus d e g left parenthesis g right parenthesis, d e g left parenthesis v right parenthesis less than d e g left parenthesis a right parenthesis minus d e g left parenthesis g right parenthesis.

bezout(Polynomial, Polynomial)

Given two polynomials a and b, computes the greatest common divisor g, and u and v, following the notation above.

bezout(Polynomial, Polynomial, Polynomial)

Given three polynomials a, b and r, computes u and v such that u times a plus b times v equals r.