It has a big problem in Polynomial GCD.