solve et long ifactor

[frederic han]

Salut, en regardant comment giac 1.2 se comportait sur ce système
http://trac.sagemath.org/ticket/9625 je remarque que par defaut il ne s'en sort pas,
mais que si je desactive pari avec un

Code : Tout sélectionner

pari_unlock()

alors il y arrive bien (même s'il affiche un warning qu'il n'arrive pas a factoriser un enorme entier)

j'ai donc l'impression que giac essaie automatiquement dans solve de simplifier l'entier sous le sqrt en le factorisant. Serait il interessant d'y mettre un timeout pour ne pas forcement simplifier ou d'envisager des rootof pour les gros polynomes de degre 2?

[parisse]

tu as le systeme ecrit sans \ saut de ligne?

[frederic han]

le voici
(j'ai l'impression qu'il faut l'ouvrir en mode recup)

[parisse]

je pense que je vais tester la longueur de l'entier et si il est plus grand que 128 bits, tester uniquement si c'est un carre parfait.

[parisse]

Bon, je viens de mettre en ligne un source 1.2.0 update (le 1.2.1 est encore trop instable) avec 4 modifs:
- suppression des 0 dans la base de Groebner
- bug fix pour s:=csolve(z^2=-1+sqrt(3)*i,z);
- correction d'un bug avec implicitplot
- modif pour sqrt.
J'ai aussi mis ton patch pour les tests.
Si c'est bon, je passerai la stable en 1.2.0-15.