Ralf Hemmecke wrote:
>
> > Nothing changed in Factored, but now Polynomial(Integer) has
> > UniqueFactorizationDomain. Now coercion to Factored is
> > performing factorization:
> >
> > (1) -> (x^2 - 1)::Factored(?)
> >
> >(1) (x - 1)(x + 1)
> > Typ
> Nothing changed in Factored, but now Polynomial(Integer) has
> UniqueFactorizationDomain. Now coercion to Factored is
> performing factorization:
>
> (1) -> (x^2 - 1)::Factored(?)
>
>(1) (x - 1)(x + 1)
> Type: Factored(Polynomial(Integer))
>
> Th
Ralf Hemmecke wrote:
>
> Hi Waldek,
>
> Did you change anything in Factored?
>
> As far as I remember (and a very old FriCAS form 2011 that I still have
> around confirms this), there was no automatic factorization in (3). I
> thought this was deliberate, because factorization costs time and (2)
Hi Waldek,
Did you change anything in Factored?
As far as I remember (and a very old FriCAS form 2011 that I still have
around confirms this), there was no automatic factorization in (3). I
thought this was deliberate, because factorization costs time and (2)
and (3) might only be intermediate op
