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

[Adriweb]

si possible, il faudrait afficher (en rs232, histoire de voir tout ça sur la console de nspire_emu) toutes les "étapes" internes à giac pour le calcul jusqu'à l'affichage pour savoir où ca plante, mais vu la simplicité dudit calcul, je ne sais pas si on va voir grand chose ... :/

Bisam avait dit que les racines de racines provoquaient des drôles de choses aussi...

[parisse]

le probleme apparait aussi dans le calcul de racine carree, et ca semble etre dans le code de la derivee formelle, lorsqu'on derive par rapport a une variable generalisee comme sqrt(2).

[parisse]

Bon, c'est corrige (en fait giac dans l'OS 3.6 n'aime pas qu'on cree des noms de variables avec des espaces dedans), ce fut long a detecter. J'ai mis l'archive a jour, en ajoutant la mise a jour de l'UI que Adriweb m'a envoyee.
Pour les fonctions reciproques, il faudrait traduire les touches par les notations standards asin, acos, atan, la notation sin^-1, etc. devrait a mon avis etre proscrite car elle induit une confusion entre l'inverse pour la multiplication et l'inverse pour la composition de fonctions (pour le moment ca ne semble pas planter c'est deja ca).

[Bisam]

La calculette a aussi des alias "arccos", "arcsin", et "arctan"... mais elle les remplace automatiquement par l'autre forme, malheureusement.

[Adriweb]

Ah, bien

La calculette a aussi des alias "arccos", "arcsin", et "arctan"... mais elle les remplace automatiquement par l'autre forme, malheureusement.

En fait, on peut faire tous les changements qu'on veut côté Lua en amont, avant d'envoyer le string à giac... donc l'utilisateur utilisera le menu trig> et aura un sin^-1, mais en réalité, c'est sans problème que l'on peut envoyer "arcsin"...

[mdr1]

Je ne suis pas d'accord du tout. Pour moi, manipuler des expressions papier-crayon ça sert au moment de l'apprentissage de la notion correspondante,

C'est justement le but de l'école.

mais au niveau suivant, je n'en vois pas l'intérêt.

Quel niveau suivant ? Le Bac ? Justement si, ça sert à vérifier que la notion a bien été apprise.

Pour les élèves doués, ça n'est pas gênant (c'est même un peu de gymnastique de l'esprit mais ils le feront de toute façon), mais pour les autres au mieux ça leur fait perdre du temps au risque de perdre le fil de la nouvelle notion présentée et au pire ça peut tout simplement les dégoûter.

Ce n'est pas la peine de passer à la notion suivante si la précédente n'a pas été acquise ! C'est comme ça que les lacunes se forment.

Je pense même que cette réaction est élitiste, les personnes qui sont bonnes techniquement refusent les outils qui pourraient permettre à d'autres moins bonnes techniquement d'accéder aux mêmes connaissances.

Ce n'est pas parce que tout le monde n'a pas ton avis que c'est une raison pour diffamer.

[Adriweb]

Du calme, chacun a ses avis, ses raisons et ses arguments

[parisse]

mais au niveau suivant, je n'en vois pas l'intérêt.

Quel niveau suivant ? Le Bac ? Justement si, ça sert à vérifier que la notion a bien été apprise.

le niveau suivant, ça veut dire quand la notion est supposée connue. Par exemple, résoudre une équation du second degré, c'est du temps perdu à mon avis d'obliger un élève de TS à le faire à la main, on est au niveau n+1 (voire n+2). Ou bien en L1, je ne vais pas obliger un étudiant à faire un calcul de dérivée à la main, pareil en L2 pour un inverse de matrice ou la résolution d'un système linéaire, ça n'apporte rien à la compréhension, au contraire. Ce qui compte pour moi, c'est que l'élève ou l'étudiant sache reconnaitre dans quelle situation il a besoin de factoriser ou de dériver ou d'inverser une matrice etc. et quand ce genre de tache peut être (mieux) faite avec un CAS.

Ce n'est pas la peine de passer à la notion suivante si la précédente n'a pas été acquise ! C'est comme ça que les lacunes se forment.

Je pense que vous confondez deux choses: la compréhension d'une notion et la capacité à effectuer l'algorithme correspondant sans erreur de calcul. J'en ai vu des énoncés d'examen où on n'évalue que le 2ème aspect, laissant passer des gens avec de grosses lacunes mais capables de refaire sans erreur quelques exercices types du TD. Faire des énoncés d'examen où *tous* les étudiants ont un CAS, ça oblige justement à poser des questions sur la compréhension de la notion.

Je pense même que cette réaction est élitiste, les personnes qui sont bonnes techniquement refusent les outils qui pourraient permettre à d'autres moins bonnes techniquement d'accéder aux mêmes connaissances.

Ce n'est pas parce que tout le monde n'a pas ton avis que c'est une raison pour diffamer.

Je qualifie une réaction, pas une personne. Je pense aussi qu'il vaut mieux se vouvoyer, visiblement nous avons des visions de l'enseignement des maths très divergente, et le vouvoiement met une certaine distance dans les propos qui évite souvent les excès.

[Adriweb]

Pour en revenir sur le sujet principal, j'aurais une question, sur laquelle tout le monde pourra s'exprimer, d'ailleurs :

Veut-on pouvoir avoir une sorte de "synchronisation" entre les variables TI et la variables de Giac ?
C'est possible de faire ceci avec le Lua (du moins dans le sens ti->giac - l'autre sens, une fonction native exposant les variables existantes sur giac devrait simplifier le problème, si elle n'existe pas déjà), et je suppose que ça pourrait être intéressant pour certains.

Par exemple, si on lance un calcul qui agit sur f1 et que f1 est tracée en split screen (ou même dans un onglet séparé), l'expression retournée par giac de f1 est enregistrée dans la variable ti-basic de f1, et donc les applications qui l'utilisent se mettent à jour aussi.


Edit : remarque, au pire, je peux mettre ça sous forme d'option par défaut activée, et que l'utilisateur pourra désactiver à son bon vouloir....
Mais bon, vos avis sont les bienvenus

[parisse]

C'est sur que si on peut faire ça, ce sera d'autant plus transparent pour l'utilisateur, mais est-ce que ça ne va pas poser des problèmes sur les modèles non CAS?
Sinon la commande VARS() dans giac renvoie la liste des variables affectées, ensuite il suffit de faire eval(v,1) pour avoir la valeur de tous les éléments v de VARS(). On peut aussi programmer ça en giac mais c'est plus difficile à cause des variables locales de la fonction f() qui fera le calcul:

Code: Select all

f():={
  local tmp,res,j;
  tmp:=VARS();
  res:=[];
  for j from 1 to size(tmp) do
    if (string(tmp(j))=="f" || string(tmp(j))=="j" || string(tmp(j))=="tmp" || string(tmp(j))=="res") continue;
    res:=append(res,[eval(tmp(j),1),eval(tmp(j),2)]);
  od;
  res ;
}:;