@Markiyan Hirnyk I have tried that, and there is a clear pattern (all the gcds are the same), however I want to prove that it is always the same but the polynomials are so combuersome that I don't know if I would be able to do it by hand. That is why I was trying Maple.

@Markiyan Hirnyk I have tried that, and there is a clear pattern (all the gcds are the same), however I want to prove that it is always the same but the polynomials are so combuersome that I don't know if I would be able to do it by hand. That is why I was trying Maple.

This is useful however the polynomial I am working with would be something like:

\sum_{i=0}^{y} a_i x^i

That is, it would have powers of x up to y. So this technique wouldn't work. Thanks anyway.

This is useful however the polynomial I am working with would be something like:

\sum_{i=0}^{y} a_i x^i

That is, it would have powers of x up to y. So this technique wouldn't work. Thanks anyway.

@Carl Love The two functions are basically polynomials in x with an added parameter of y (which sometimes appears as an exponent of x i.e. x^y). So I want to view them as simply that: a polynomial in x. So the ordering, definition of divisor and degree would be the usual one for polynomials in one variable.