Page 11 sur 58

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

Message non luPosté: 14 Nov 2014, 08:51
de parisse
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.

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

Message non luPosté: 14 Nov 2014, 10:17
de parisse
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.

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

Message non luPosté: 14 Nov 2014, 16:33
de parisse
bon, il y avait aussi une optimisation qui ne passait pas, j'ai mis a jour. Pas facile a debugguer sans gdb...

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

Message non luPosté: 14 Nov 2014, 16:43
de Lionel Debroux
Le GDBstub de nspire_emu n'est-il pas une solution possible pour toi, ou bien ne fonctionne-t-il pas ?

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

Message non luPosté: 15 Nov 2014, 08:32
de parisse
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.

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

Message non luPosté: 15 Nov 2014, 08:48
de Lionel Debroux
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.

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

Message non luPosté: 15 Nov 2014, 15:29
de Vogtinator
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.

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

Message non luPosté: 15 Nov 2014, 21:43
de parisse
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...).

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

Message non luPosté: 30 Nov 2014, 09:22
de parisse
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.

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

Message non luPosté: 30 Nov 2014, 22:32
de Adriweb
Wow, impressionnant... et étrange à la fois :P

Bien vu !

(Et nan, je sais pas comment/si on peut résoudre ce bug... (pas visible sur TINCS, btw) :P)