Re: [Maxima-discuss] poly_discriminant

[andreas <and...@gm...>]

09.06.2021 18:05:14 Richard Fateman <fa...@gm...>:

> But if we are talking about computing over rationals, and are seeking the "greatest" common divisor,
> which is "greater"?
> x+1
>   or
> (x+1)/2 ?

They just differ by a unit of the polynomial ring, so none is greater than the other. (If we assume to work over the rationals). 

Unless we have a good way of declaring the ring we are working with, things will always be a bit iffy.
But then, if you want to be that picky you should probably just use singular.

My 2 cents,
Andreas