Re: factor(3*x) = x ?!!

[Loïc Grenié <loic.grenie@gmail.com>]

On Fri, Jun 14, 2024 at 13:10, Bill wrote:

On Fri, Jun 14, 2024 at 09:35:30AM +0200, tony.reix@laposte.net wrote:
> Hello,
>
> Is that a bug or a feature ?

Fundamentally, PARI was designed for univariate polynomial rings over a field.
They have the property to form an Euclidean domain, so standard Euclid
algorithm applies to a lot of operation (but not factor).

However, factor still generally assume you want to factor univariate polynomial
over a field and will omit the unit.

You can use factorback to recover it.

     You can also multiply the leading coefficient (to the proper exponent)

  instead of using factorback -- as long as you are over an integral domain,

  but I sincerely doubt that you can use factor() over a non integral domain...

         Loïc