Re: KhiCAS, le moteur formel Giac/Xcas pour toutes TI-Nspire
Posté: 14 Nov 2014, 08:51
desolve (ou laplace/ilaplace?) semble avoir un problème sur le port khicas, parce que dans Xcas ça marche très bien, j'essaierai de regarder ça rapidement.
Pour factor, c'est normal que ça reste en l'état, parce que factor factorise sur le corps des coefficients, il ne rajoute pas d'extension pour factoriser plus, sauf si on ajoute explicitement l'extension algébrique sur laquelle factoriser en 2ème argument. Par exemple factor(x^2-2) et factor(x^2-2,sqrt(2)). Pour l'équation du 3ème degré en b donnée, comme elle est du 1er degré en d2, le polynôme est irréductible, il faut donc ajouter une extension en b de degré 3, ce qui n'est probablement pas le résultat espéré. Par exemple pour d1=1, d2=2, d3=3,
factor(b^3-2*b^2+3*b+1,rootof(b^3-2*b^2+3*b+1))
Giac ne calcule pas les racines avec les formules de Cardan, parce que ça ne sert à rien : en calcul exact, c'est inutilisable pour simplifier (beaucoup trop couteux par rapport à dire qu'on travaille dans Q[b]/(b^3-2b^2+3b+1)), et en calcul approché les solveurs polynomiaux sont plus efficaces et plus précis.
Pour factor, c'est normal que ça reste en l'état, parce que factor factorise sur le corps des coefficients, il ne rajoute pas d'extension pour factoriser plus, sauf si on ajoute explicitement l'extension algébrique sur laquelle factoriser en 2ème argument. Par exemple factor(x^2-2) et factor(x^2-2,sqrt(2)). Pour l'équation du 3ème degré en b donnée, comme elle est du 1er degré en d2, le polynôme est irréductible, il faut donc ajouter une extension en b de degré 3, ce qui n'est probablement pas le résultat espéré. Par exemple pour d1=1, d2=2, d3=3,
factor(b^3-2*b^2+3*b+1,rootof(b^3-2*b^2+3*b+1))
Giac ne calcule pas les racines avec les formules de Cardan, parce que ça ne sert à rien : en calcul exact, c'est inutilisable pour simplifier (beaucoup trop couteux par rapport à dire qu'on travaille dans Q[b]/(b^3-2b^2+3b+1)), et en calcul approché les solveurs polynomiaux sont plus efficaces et plus précis.