Ralf Hemmecke wrote:
> 
> But...
> 
> with the same polynomial as UP one can seemingly make FriCAS run
> forever. Even after your patch.
> 
> Ralf
> 
> (1) -> P ==> UnivariatePolynomial('x, Integer)
>                                                                    Type:
> Void
> (2) -> R ==> UnivariatePolynomial('y, P)
>                                                                    Type:
> Void
> (3) -> r: R := (4*x^3+2*y^2+1)*(12*x^5-x^3*y+12)*(y^2+3)
> 
>    (3)
>          3 5       5       4        6     3  3       8      5      3       2
>      - 2x y  + (24x  + 24)y  + (- 4x  - 7x )y  + (48x  + 84x  + 48x  + 84)y
>    +
>            6     3         8      5       3
>      (- 12x  - 3x )y + 144x  + 36x  + 144x  + 36
>                 Type:
> UnivariatePolynomial(y,UnivariatePolynomial(x,Integer))
> (4) -> factorPolynomial r
> 
>    >> System error:
>    Interactive interrupt at #x1002074A7B.

Should be fixed now.  Hensel lift routine in PFBRU (and probably also
in PRFR) was buggy.  Now we use Hensel lift from MLIFT.
As a byproduct instead of 5 different Hensel lift routines
we have 3...
 

-- 
                              Waldek Hebisch
[email protected] 

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to