KhiCAS, le moteur formel Giac/Xcas pour toutes TI-Nspire

→ **MyCalcs** profile · by **parisse** » 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.

→ **MyCalcs** profile · by **parisse** » 14 Nov 2014, 10:17

C'est le parser qui a un probleme pour generer des noms de constante sur plus qu'une lettre: par exemple si on tape c0, c1, c2, c3, c4, ca ne renvoie pas toujours le bon.

→ **MyCalcs** profile · by **parisse** » 14 Nov 2014, 16:33

bon, il y avait aussi une optimisation qui ne passait pas, j'ai mis a jour. Pas facile a debugguer sans gdb...

→ **MyCalcs** profile · by **Lionel Debroux** » 14 Nov 2014, 16:43

Le GDBstub de nspire_emu n'est-il pas une solution possible pour toi, ou bien ne fonctionne-t-il pas ?

→ **MyCalcs** profile · by **parisse** » 15 Nov 2014, 08:32

j'arrive a faire fonctionner gdb si je compile un petit programme C, mais pas avec giac, le debuggueur plante. Du coup, je dois faire des sorties sur le terminal pour localiser l'erreur ce qui est tres long.

→ **MyCalcs** profile · by **Lionel Debroux** » 15 Nov 2014, 08:48

Vogtinator: nspire_emu's GDBstub barfs when trying to debug KhiCAS ^

BTW, thanks for the reply about factoring this 3rd degree polynomial. I was indeed thinking about Cardan's formulas.

→ **MyCalcs** profile · by **Vogtinator** » 15 Nov 2014, 15:29

Vogtinator: nspire_emu's GDBstub barfs when trying to debug KhiCAS ^

What happens exactly? I'll get the latest source and test it.

Edit: KhiCas is still using the old SDK with bFLT, I can only recommend trying the new one, it supports libstdc++, nspire-io as std* and exceptions natively.

→ **MyCalcs** profile · by **parisse** » 15 Nov 2014, 21:43

Yes, I know, I'll switch one day to the new SDK, but I don't have enough time now (unless I was confident that the port would be very easy, but I'm not...).

→ **MyCalcs** profile · by **parisse** » 30 Nov 2014, 09:22

Un truc bizarre que sauront peut-etre comprendre des specialistes de lua : si on selectionne dans le menu 5 Linalg l'item 8 (eigenvalues) on obtient une erreur Class has Ended, alors que tous les autres items inserent la commande en ligne de commande. Je ne vois aucune difference dans le code source qui explique cette erreur. Si je rajoute une ligne de menu, la ligne qui provoquait une erreur n'en provoque plus, c'est toujours l'item 8 du menu 5 qui provoque une erreur.