343C125.91.84.3 (talk) 06:53, 24 September 2016 (UTC) About the pseudocode mentioned after "This is formalized into an algorithm as follows:". The until-statement has "b = 1" but should be "b_{i} = 1", and in an implementation you probably want to pass the arguments to gcd(.,.) as monic polynomials to ensure b_{i} is 1 (and not some other constant). It will be helpful to others if the original author of this page includes one or more examples to illustrate the algorithm, which is useful when verifying an implementation.Daveeberly (talk) 22:17, 13 July 2018 (UTC)