J'ai l'impression d'avoir un nouveau probleme, cette fois en faisant des essais avec des poly plus compliques:
Code : Tout sélectionner
p1,p2,p3:=(-4/5*a^2*b^3*c^5 + 3*a^6*b*c^2*d - 1/26*b^7*c^2*d + 2/3*a^4*b^2*c^3*d -13/4*a^2*b^3*c^3*d^2 - 1/5*a*b^4*c^4 + 1/2*b*c^8 - a^5*b*c*d^2 -a^3*b^3*d^3 - 2*b*c^5*d^3 + a^5*b^3 - a^3*c^3*d^2 - b*c^2*d^5 +1/8*a^4*b^3 - 1/20*a^5*c^2 - 4*a^4*b*d^2 - a*b*c^3*d^2 + 4/35*a^3*d^4 -6*b^2*d^5 + 2/7*b^2*c^4 + 1/75*b^2*d^4 + 1/4*a^3*b*c - b*c^2*d^2,-8*a^4*b^6 - 2*a^7*d^3 - 4*a^5*c^2*d^3 + 4*c^7*d^3 + 4*a^4*b*c^3*d +4*a*b*c^4*d^3 + 8*b*c^5*d^3 - 2*a^2*b^2*c*d^4 + 2*a^2*b^3*c^2*d +112*a^3*b*c^3*d + b^3*c^3 + 4*b^5*d + 4*a^3*b*d^2 - 12*a*b^3*d -16*a^2*c*d + 2*b^2*d, -1/7*a^2*b^2*c + 2/9*c^5 + a^3*c*d - 2*a^2*b*c -6*b*c^3 - 4*a*c*d - 2*a*d^2 - 76/3*b*d^2 + 22*a*b);
p:=normal(p1*p2*p3):;
np:=numer(p);
nops(factor(np % 101));
nops(factor(p));
alors le factor % 101 dit:
"Factorisation sur un corps fini à plusieurs variables nécessite un polynôme unitaire régulier en 0. Essayez de translater par rapport à une variable Erreur: Valeur Argument Incorrecte"
et le factor sur Q m'a donne des plantages
Program received signal SIGSEGV, Segmentation fault.
[Switching to Thread 0x7ffff2682700 (LWP 30937)]
_int_malloc (av=0x7fffec000020, bytes=977) at malloc.c:3894
3894 malloc.c: Aucun fichier ou dossier de ce type.
ou parfois n'aboutit pas, alors qu'en xcas1.0.0 32bits j'ai les 3 facteurs en 2s