Eigenmath : Différence entre versions

De Casio Universal Wiki
Aller à : navigation, rechercher
(Erreurs math corrigé)
(Reprise de l'article.)
Ligne 9 : Ligne 9 :
 
| Première version=23 Août 2013
 
| Première version=23 Août 2013
 
| Dernière version=19 Mars 2014
 
| Dernière version=19 Mars 2014
−
| SouventMàJ=En développement
+
| SouventMàJ=En développement à cadence réduite
 
| langage=Anglais
 
| langage=Anglais
 
| langage de programmation=C / C++
 
| langage de programmation=C / C++
 
| genre=Calcul Formel / CAS
 
| genre=Calcul Formel / CAS
−
| plateforme=Casio Prizm (FxCg10-20)
+
| plateforme=Casio Prizm et Graph 75/85/95
 
| licence=GNU GPL v2
 
| licence=GNU GPL v2
−
| site web=[http://gbl08ma.com/casio-prizm-software/ Site de l'auteur]
+
| site web=[http://gbl08ma.com/casio-prizm-software/ Version Prizm] et [http://www.planet-casio.com/Fr/programmes/voir_un_programme_casio.php?showid=3035&page=last Version Graph]
 
}}
 
}}
  
−
Eigenmath est un logiciel libre de calcul formel (ou symbolique) développé à partir de 2002 pour PC. Il a fait l'objet de nombreux portages, jusqu'à être adapté sur la console Nintendo DS par exemple.  
+
Eigenmath est un logiciel libre de calcul formel (ou symbolique) développé à partir de 2002 pour PC. Codé en C++ et léger, il a fait l'objet de nombreux portages sur diverses plateformes.
−
Il est également disponible pour les calculatrices Prizm, suite au travail de Gbl08ma et constitue le premier (et actuellement le seul) add-in de calcul formel pour cette calculatrice.
+
Il est notamment disponible pour les calculatrices [[:Catégorie:Calculatrices Prizm|Prizm]], suite au travail de Gbl08ma et constitue le premier (et actuellement le seul) add-in de calcul formel pour cette calculatrice, ainsi que sur [[:Catégorie:Graph_75/85/95|Graph 75/85/95]] suite au travail de la communauté CnCalc et Planète-Casio.
  
−
== Description de l'interface ==
+
== Interface et fonctionnement ==
  
−
L'interface est relativement simple et surtout, bien intégrée au système : ainsi, l'usage et l'utilisation des menus et touches ne différera que peu des applications implémentées par Casio (comme Exe-Mat par exemple).
+
=== Prizm ===
−
On trouvera donc une zone principale de saisie, comme on pourrait trouver dans Exe-Mat, ainsi qu'un barre d'onglets en bas de l'écran.
 
−
La version actuelle (Beta 7 à l'heure où l'article est rédigé) compte 5 onglets accessibles grâce aux touches [F1] à [F6] ([F4] n'étant affectée à aucun menu pour l'instant, et effacera la ligne que vous êtes en train d'écrire).
 
  
−
Le premier onglet, ''Catalog'', ouvre un menu permettant d'accéder à l'ensemble des fonctions proposées par Eigenmath.
+
Une description exhaustive et à jour des particularités du portage sur Prizm est disponible à [https://github.com/gbl08ma/eigenmath/wiki/Usage-instructions cette adresse], en anglais cependant.
−
L'onglet ''Load'' permet d'afficher un explorateur de fichiers vous permettant de sélectionner un script (sous forme de fichier texte) à exécuter.
 
−
''Clear'' permet d'effacer la console de saisie, ainsi que de supprimer les différentes attributions littérales (du type f(x) = x^2 ou encore A = 5).<br />
 
−
L'onglet "A <=> a" permet de choisir d'écrire le prochain caractère en minuscule (ou si le mode de saisie alphabétique est choisi, d'écrire en minuscule jusqu'à une nouvelle pression sur [F5]) et "G <=> T" permet de naviguer entre le mode de saisie et le mode de représentation graphique.
 
  
−
== Concepts du calcul formel ==
+
=== Graph 75/85/95 ===
 +
 
 +
À l'heure de l'écriture de l'article, le programme s'organise d'une manière similaire à l'application Run-Mat de Casio, c'est à dire organisé autour d'une zone centrale de saisie, et d'affichage des résultats.
 +
La saisie se fait de manière «linéaire». Le clavier de la machine se comporte au maximum comme dans les applications natives de Casio, les fonctions usuelles (opérateurs, fonctions trigonométriques, etc) et caractères alpha-numériques étant disponibles avec les mêmes combinaisons de touches.
 +
Par défaut, les résultats complexes sont affichés en utilisant un moteur de rendu en écriture, mais leur affichage n'est pas encore intégré dans la console. Il faudra alors se positionner sur la ligne correspondant au résultat souhaité, où apparaîtra alors : «Pretty print», et presser [EXE] pour qu'un fenêtre s'ouvre permettant de visualiser le résultat. Si celui ci est trop grand pour être affiché dans l'écran, il sera possible de se déplacer grâce aux flèches. Il est possible de désactiver ce mode de visualisation, pour retrouver des résultats sous forme «linéaire» intégrés à la console en décochant l'option «pretty print» dans le menu ([Shift] + [Menu], puis [EXE] sur l'option), réglage qui sera sauvegardé.
 +
L'historique de la console conserve les 50 dernières lignes. Il est possible de réutiliser une ligne déjà tapée en se rendant sur celle-ci, puis en saisissant  [Shift] + [8], ce qui collera la ligne souhaitée dans la ligne courante d'entrée.
 +
 
 +
Pour une utilisation plus facile des fonctionnalités offertes par Eigenmath, six menus associés aux touches [F1] à [F6] sont disponibles par défaut et affichés en bas de l'écran. Pour accéder aux fonctions de chacun des menus, il suffit de presser la touche [F⋅] correspondante, de se déplacer sur la fonction souhaitée et de presser [EXE] ce qui l'ajoutera dans la ligne courante (on peut aussi directement presser le nombre correspondant à cette fonction lorsque le menu est affiché). Ces menus ne sont pas exhaustifs, et ne regroupent pas l'intégralité des fonctions disponibles dans Eigenmath. Il est cependant possible de les personnaliser pour qu'ils soient plus adapatés à une utilisation précise. En effet, au premier lancement d'Eigenmath, est crée un fichier ''FMENU.cfg'' à la racine de la mémoire de stockage contenant le menu affiché. Il suffit d'éditer ce fichier (soit directement sur la machine à l'aide d'un éditeur comme [http://www.planet-casio.com/Fr/programmes/programme2186-1-edit-Neptune45-programme.html Edit] par exemple, soit sur un ordinateur et en [[Transferts|transférant]] le fichier sur la machine une fois celui-ci modifié) dont la syntaxe est assez explicite (prendre pour modèle celui par défaut). Au plus 7 entrées par catégorie sont utilisables.
 +
 
 +
Il est aussi possible de créer ses propres fonctions qui seront chargées au démarrage du programme en créant un fichier ''USER.eig'' à la racine de la mémoire de stockage. Ce fichier devra contenir, sur chaque ligne, le définition d'une fonction ou une affectation telle qu'elle serait effectuée en direct dans la zone de saisie. D'éventuelles erreurs (de syntaxe ou mathématiques par exemple) seront signalée au démarrage. Le fichier suivant permet, par exemple, d'affecteur au démarrage une valeur à <math>n</math> et de définir la fonction sinus cardinal :
 +
n = pi/2
 +
sinc(x) = sin(x)/x
 +
 
 +
Le fonction sera par la suite disponible dans le programme ; on aura par exemple :
 +
 
 +
<syntaxhighlight>
 +
> sinc(n)
 +
2/pi
 +
</syntaxhighlight>
 +
 
 +
== Variables spéciales ==
 +
Par défaut, deux variables sont initialisées par Eigenmath, et il est souvent intéressant de ne pas les redéfinir pendant l'éxécution.
 +
 
 +
=== last ===
 +
La variable ''last'', accessible via la combinaison [Shift]+[(-)] pointe résultat de la dernière opération réussie, et permet donc d'utiliser ce résultat dans la prochaine opération.
 +
=== i ===
 +
La variable ''i'', qui correspond, comme habituellement, à l'unité imaginaire, est défini au lancement du programme par :
 +
<syntaxhighlight> > i = sqrt(-1)</syntaxhighlight>
  
−
L’intérêt d'un logiciel de calcul formel (ou symbolique) est que ce dernier est capable de traiter non seulement des expressions numériques, mais aussi des expressions algébriques. En effet, le système est par exemple capable de considérer <math>n</math> comme une valeur numérique si l'utilisateur le définit explicitement grâce au symbole "=" comme une valeur numérique :
 
−
<syntaxhighlight>n=12^3</syntaxhighlight>
 
−
mais il pourra également considérer <math>n</math> comme une variable algébrique si on ne lui attribue aucune valeur numérique.<br /><br />
 
−
Un petit exemple pour mieux comprendre : définissons la fonction <math>f(x) = \frac{sin(x)}{x}</math>
 
−
<syntaxhighlight> > f(x) = sin(x)/x </syntaxhighlight>
 
−
Soit ensuite <math>n</math> une variable algébrique quelconque. Si on cherche
 
−
<syntaxhighlight> > f(n)</syntaxhighlight>
 
−
Le programme nous répondra par <math>\frac{sin(n)}{n}</math>. Affectons maintenant la valeur <math>\frac{\pi}{6}</math> à <math>n</math>, puis cherchons de nouveau <math>f(n)</math>.
 
−
<syntaxhighlight> > n = pi/6</syntaxhighlight>
 
−
<syntaxhighlight> > f(n)</syntaxhighlight>
 
−
Cette fois ci, la réponse du programme sera <math>\frac{3}{\pi}</math>. En effet, cette fois ci, <math>n</math> a été considérée comme une valeur numérique : le programme a donc procédé au calcul en prenant cette valeur en compte, contrairement au premier calcul où <math>n</math> a été conservé comme nous l'aurions fait dans un calcul à la main.<br /><br />
 
−
Un logiciel de calcul formel vous permettra donc de manipuler des "objets" mathématiques que ce soit pour des opérations algébriques "simples" (quelques exemples de manipulation "simples" mais permettant de bien comprendre divers aspects basiques du logiciel seront détaillés en annexe plus tard), ou pour la mise en œuvre d'opérations plus avancées (calculs de primitives, ou manipulations de nombres complexes par exemple...).
 
  
 
== Description des fonctions ==
 
== Description des fonctions ==
  
−
Même s'il est possible de taper l'alias des fonctions caractère par caractère, il est bien plus rapide d'y accéder par le menu ''Catalog'' (en appuyant sur [F1]). Là encore, s'il est possible d'accéder à l'ensemble des fonctions en choisissant le sous-menu ''All'', il est plus rapide, une fois l'interface maîtrisée, de naviguer en utilisant les "catégories" de fonctions.
+
Sont décrites ici les fonctions disponibles dans Eigenmath. Si il est possible de taper le nom des fonctions caractère par caractère, souvent, elles sont accessibles plus simplement dans le programme via une combinaison de touche ou un menu. Lorsque c'est le cas, cela est précisé ici.
  
−
=== Complex Number (Nombres Complexes) ===
+
=== Nombres complexes ===
  
−
Dans cette partie, nous aurons notamment besoin de travailler avec la variable i, représentant le nombre imaginaire du même nom. Elle est accessible grâce à la combinaison [Shift] + [0].
+
==== Opérations élémentaires ====
−
La variable i est en fait simplement définie au lancement du programme (ou après une exécution de ''Clear'') ainsi :
+
 
−
<syntaxhighlight> > i = sqrt(-1)</syntaxhighlight>
+
{{Commande|Argument|<syntaxhighlight> > arg(z)</syntaxhighlight>|Calcule l'argument du nombre complexe <math>z</math>|menu ''Complex number'' du catalogue|menu ''Cplx'' ([F3])}}
−
Ainsi il est possible de redéfinir la valeur de i en fonction des besoins (cela reste néanmoins peu recommandé et utile), mais il est aussi conseillé d'effectuer un ''Clear'' avant de commencer à travailler avec les nombres complexes, car même si il est peu probable que la variable i ait été modifiée, cela reste possible.
+
 
 +
 
 +
{{Commande|Conjugaison|<syntaxhighlight> > conj(z)</syntaxhighlight>|Calcule le conjugué du nombre complexe <math>z</math>|menu ''Complex number'' du catalogue|menu ''Cplx'' ([F3])}}
 +
 
 +
 
 +
{{Commande|Partie imaginaire|<syntaxhighlight> > imag(z)</syntaxhighlight>|Calcule la partie imaginaire du nombre complexe <math>z</math>|menu ''Complex number'' du catalogue|menu ''Cplx'' ([F3])}}
 +
 
 +
 
 +
{{Commande|Partie réelle|<syntaxhighlight> > real(z)</syntaxhighlight>|Calcule la partie réelle du nombre complexe <math>z</math>|menu ''Complex number'' du catalogue|menu ''Cplx'' ([F3])}}
  
−
==== Arg(z) ====
 
−
<math>arg(z)</math> renvoie l'argument du nombre complexe <math>z</math>, donc un angle en radians.
 
  
−
Exemple : <syntaxhighlight> > arg(1+i) </syntaxhighlight> retournera <math>\frac{1}{4}\pi</math>
+
{{Commande|Module|<syntaxhighlight> > mag(z)</syntaxhighlight>|Calcule le module du nombre complexe <math>z</math>|menu ''Complex number'' du catalogue|menu ''Cplx'' ([F3])}}
  
−
==== Clock(z) ====
 
−
<math>clock(z)</math> retourne la "clock form" (?).<br />
 
−
On a <math>clock(z) = \left| z \right|*(-1)^\frac{arg(z)}{pi}</math>
 
  
−
==== Conj(z) ====
+
==== Changement de forme ====
−
<math>conj(z)</math> retourne le conjugué du nombre complexe <math>z</math>, aussi noté <math>\bar z</math>
 
  
−
Exemple : <syntaxhighlight> > conj(7+2i)</syntaxhighlight> retournera <math>7-2i</math>
 
  
−
==== Imag(z) ====
+
{{Commande|Forme polaire|<syntaxhighlight> > polar(z)</syntaxhighlight>|Donne la forme polaire du nombre complexe <math>z</math>|menu ''Complex number'' du catalogue|menu ''Cplx'' ([F3])}}
−
<math>imag(z)</math> retourne le coefficient de la partie imaginaire du nombre complexe <math>z</math>. L'opération correspond à <math>Im(z)</math>
 
  
−
Exemple : <syntaxhighlight> > imag(4-8i)</syntaxhighlight> retournera <math>-8</math>
 
  
−
==== Mag(z) ====
+
{{Commande|Forme cartésienne|<syntaxhighlight> > rect(z)</syntaxhighlight>|Donne le forme polaire du nombre complexe <math>z</math>|menu ''Complex number'' du catalogue|menu ''Cplx'' ([F3])}}
−
<math>mag(z)</math> retourne le module du nombre complexe <math>z</math> soit <math>mag(z) = \left| z \right|</math>.
 
  
−
Exemple : <syntaxhighlight> > mag(1+i)</syntaxhighlight>retournera <math>2^\frac{1}{2}</math> soit <math>\sqrt{2}</math>
 
  
−
==== Polar(z) ====
+
{{Commande|Forme étrange|<syntaxhighlight> > clock(z)</syntaxhighlight>|Donne la «clock form» du nombre complexe <math>z</math>, c'est une sorte de forme polaire, mais basée sur -1 et non sur l'exponentielle ; je ne l'ai jamais vue ailleurs, et ne sais pas vraiment comment ça se nomme en français…|menu ''Complex number'' du catalogue|}}
−
<math>polar(z)</math> retourne la forme polaire du nombre complexe <math>z</math> noté sous forme cartésienne algébrique (i.e. écrit comme <math>z = a+bi</math> avec <math>a</math> et <math>b</math> réels).
 
  
−
Exemple : <syntaxhighlight>polar(2+2i)</syntaxhighlight> retournera <math>2*2^\frac{1}{2}*exp(\frac{1}{4}i\pi)</math> soit <math> 2 \sqrt{2} e^{\frac{i\pi}{4}} </math>
 
  
−
==== Real(z) ====
+
=== Algèbre linéaire ===
−
<math>real(z)</math> retourne la partie réelle du nombre complexe <math>z</math>
 
  
−
Exemple : <syntaxhighlight> > real(4+6i)</syntaxhighlight> retournera <math>4</math>
+
==== Définir une matrice ====
  
−
==== Rect(z) ====
+
{{Commande|Matrice identité|<syntaxhighlight> > unit(n)</syntaxhighlight>|Renvoie la matrice identité de taille <math>n</math>|menu ''Linear algebra'' du catalogue|}}
−
<math>rect(z)</math> retourne le nombre complexe <math>z</math> noté en coordonnées polaires sous sa forme cartésienne algébrique (i.e. écrit comme <math>z = a+bi</math> avec <math>a</math> et <math>b</math> réels).
 
  
−
Exemple : <syntaxhighlight> > rect(exp((i*pi)/4)) * 2sqrt(2)</syntaxhighlight> retournera <math>2+2i</math>
 
  
−
=== Linear Algebra (Algèbre linéaire) ===
+
{{Commande|Matrice nulle|<syntaxhighlight> > zero(i,j,…)</syntaxhighlight>|Renvoie la matrice nulle de taille <math>i \times j</math>. Lorsque utilisée avec plus d'arguments, la fonction renvoie le tenseur nul de la dimension précisée.|menu ''Linear algebra'' du catalogue|}}
  
−
==== Abs(x) ====
 
−
<math>abs(x)</math> retourne la valeur absolue de <math>x</math>.
 
  
−
Exemple : <syntaxhighlight> > abs(-4x)</syntaxhighlight> retournera <math>4 \times abs(x)</math>
+
{{Commande|Matrice de Hilbert|<syntaxhighlight> > hilbert(n)</syntaxhighlight>|Renvoie la matrice de Hilbert d'ordre <math>n</math>.|menu ''Linear algebra'' du catalogue|menu ''alge'' ([F4])}}
−
[[Catégorie:Pages en cours d'écriture]]
 
  
−
==== Adj(m) ====
 
−
<math>adj(m)</math> retourne la comatrice de la matrice carrée <math>m</math>.
 
  
−
Exemple : <syntaxhighlight> > adj(((7,x),(8,4y)))</syntaxhighlight> retournera <math>\begin{pmatrix}
+
De manière général, on utilise la syntaxe suivante pour définir une matrice :
−
4y & -x\\
+
<syntaxhighlight> > M = ((1,2,3),(4,5,6))</syntaxhighlight>
−
-8 & 7\\
+
On a ainsi défini la matrice <math>M = \begin{pmatrix}
 +
1 & 2 & 3\\
 +
4 & 5 & 6\\
 
\end{pmatrix}</math>
 
\end{pmatrix}</math>
  
−
==== Coeff(p, x, n) ====
+
==== Définir un vecteur ====
−
<math>coeff(p,x,n)</math> retourne le coefficient de <math>x^n</math> dans le polynôme <math>p</math>.
+
 
 +
On définit un vecteur avec la syntaxe suivante :
 +
 
 +
<syntaxhighlight> > x = (a,b,c,…)</syntaxhighlight>
 +
 
 +
==== Opérations sur les matrices ====
 +
 
 +
{{Commande|Comatrice|<syntaxhighlight> > adj(M)</syntaxhighlight>|Renvoie la comatrice de la matrice carrée <math>M</math>.|menu ''Linear algebra'' du catalogue|menu ''alge'' ([F4])}}
 +
 
 +
 
 +
{{Commande|Cofacteur|<syntaxhighlight> > cofactor(M,i,j)</syntaxhighlight>|Retourne le cofacteur <math>\delta_{i,j} de la matrice carrée <math>M</math>.|menu ''Linear algebra'' du catalogue|}}
 +
 
 +
 
 +
{{Commande|Trace|<syntaxhighlight> > contract(M)</syntaxhighlight>|Retourne la trace de la matrice carrée <math>M</math>. Plus généralement, si <math>M</math> est un tenseur, il est possible de préciser, en arguments supplémentaires, les composantes sur lesquelles sommer (sur les matrices, les arguments supplémentaires sont donc, par défaut, égaux à 1 et 2)|menu ''Linear algebra'' du catalogue|menu ''alge'' ([F4])}}
 +
 
  
−
Exemple : <syntaxhighlight> > coeff(14x^4-8x^2-7,x,2)</syntaxhighlight> retournera <math>-8</math>
+
{{Commande|Déterminant|<syntaxhighlight> > det(M)</syntaxhighlight>|Calcule le déterminant de la matrice carrée <math>M</math>.|menu ''Linear algebra'' du catalogue|menu ''alge'' ([F4])}}
  
−
==== Cofactor(m, i, j) ====
 
−
<math>cofactor(m,i,j)</math> retourne l'élément <math>a_{i,j}</math> de la matrice <math>A</math>, matrice des cofacteurs de la matrice carrée <math>m</math>
 
  
−
Exemple : <syntaxhighlight> > cofactor(((1,2),(3,4)),2,1)</syntaxhighlight> retournera <math>-2</math>
+
{{Commande|Dimension|<syntaxhighlight> > dim(M,n)</syntaxhighlight>|Retourne la dimension de <math>M</math> selon la n-ème composante (1 pour le nombre de ligne, 2 pour les colonnes ; se généralise aux tenseurs).|menu ''Linear algebra'' du catalogue|}}
  
−
==== Contract(a, i, j) ====
 
−
<math>contract(a,i,j)</math> retourne la trace de la matrice carrée <math>a</math> si <math>i</math> et <math>j</math> sont omis (<math>i</math> et <math>j</math> sont alors respectivement remplacés par <math>1</math> et <math>2</math>).
 
  
−
<syntaxhighlight> > contract(((a,b),(c,d)))</syntaxhighlight> retournera <math>a+d</math>
+
{{Commande|Valeurs propres|<syntaxhighlight> > eigenval(M)</syntaxhighlight>|Retourne les valeurs propres de <math>M</math>.|menu ''Linear algebra'' du catalogue|}}
  
−
//A faire : généraliser la définition.
 
  
−
==== Cross(u, v) ====
+
{{Commande|Vecteurs propres|<syntaxhighlight> > eigenvec(M)</syntaxhighlight>|Retourne les vecteurs propres de <math>M</math>.|menu ''Linear algebra'' du catalogue|}}
−
<math>cross(\vec{u},\vec{v})</math> retourne le produit vectoriel de <math>\vec{u}</math> et <math>\vec{v}</math>, vecteurs de dimension 3.
+
 
 +
 
 +
{{Commande|Valeurs et vecteurs propres|<syntaxhighlight> > eigen(M)</syntaxhighlight>|Stocke les valeurs propres de <math>M</math> sur la diagonale de la matrice <math>D</math> et les vecteurs propres de <math>M</math> dans les colonnes de la matrice <math>Q</math> (où <math>D</math> et <math>Q</math> sont les matrices désignées par les symboles ''D'' et ''Q'' dans Eigenmath)|menu ''Linear algebra'' du catalogue|}}
 +
 
 +
 
 +
{{Commande|Inverse|<syntaxhighlight> > inv(M)</syntaxhighlight>|Retourne la matrice inverse de <math>M</math>.|menu ''Linear algebra'' du catalogue|menu ''alge'' ([F4])}}
 +
 
 +
 
 +
{{Commande|Rang|<syntaxhighlight> > rank(M)</syntaxhighlight>|Calcule le rang de la matrice <math>M</math>. (Plus généralement, s'adapte aux tenseurs)|menu ''Linear algebra'' du catalogue|}}
 +
 
 +
 
 +
{{Commande|Produit dyadique|<syntaxhighlight> > outer(A,B)</syntaxhighlight>|Calcule le produit dyadique de <math>A</math> et de <math>B</math>.|menu ''Linear algebra'' du catalogue|}}
 +
 
 +
 
 +
{{Commande|Transposition|<syntaxhighlight> > transpose(M)</syntaxhighlight>|Renvoie la matrice transposée de <math>M</math>. S'adapte aux tenseurs si sont précisées en plus les composantes sur lesquelles transposer.|menu ''Linear algebra'' du catalogue|}}
 +
 
 +
==== Opérations sur les vecteurs ====
 +
 
 +
{{Commande|Produit scalaire|<syntaxhighlight> > dot(x,y)</syntaxhighlight>|Calcule le produit scalaire de <math>x</math> par <math>y</math>. S'adapte plus généralements aux tenseurs et donc aux matrices.|menu ''Linear algebra'' du catalogue|}}
  
−
Exemple : <syntaxhighlight> > cross((2,1,x),(5,x,2))</syntaxhighlight> retournera <math>\begin{pmatrix}
 
−
2-x^2\\
 
−
-4+2x\\
 
−
-5+2x\\
 
−
\end{pmatrix}</math>
 
  
−
==== Curl(x) ====
+
{{Commande|Produit vectoriel|<syntaxhighlight> > cross(x,y)</syntaxhighlight>|Calcule le produit vectoriel de <math>x</math> par <math>y</math>, vecteurs de dimension 3.|menu ''Linear algebra'' du catalogue|}}
−
<math>curl(x)</math> retourne le rotationnel du champ de vecteurs <math>x</math> de dimension 3.
 
  
−
==== Det(m) ====
 
−
<math>det(m)</math> retourne le déterminant de la matrice <math>m</math>.
 
  
−
Exemple : <syntaxhighlight> > det(((1,2),(3,x)))</syntaxhighlight> retournera <math>x-6</math>
+
{{Commande|Rotationnel|<syntaxhighlight> > curl(x)</syntaxhighlight>|Calcule le rotationnel du vecteur <math>x</math> de dimension 3|menu ''Linear algebra'' du catalogue|menu 'alge' ([F4])}}

Version du 6 mai 2017 à 22:52

Eigenmath
Eigenmath logo.png
Logo de Eigenmath
Eigenmath screenshot.png
Screenshot du portage sur Prizm
AuteurGbl08ma
Souvent mis à jourEn développement à cadence réduite
Langage de programmationC / C++
GenreCalcul Formel / CAS
PlateformeCasio Prizm et Graph 75/85/95
Site webVersion Prizm et Version Graph


Eigenmath est un logiciel libre de calcul formel (ou symbolique) développé à partir de 2002 pour PC. Codé en C++ et léger, il a fait l'objet de nombreux portages sur diverses plateformes. Il est notamment disponible pour les calculatrices Prizm, suite au travail de Gbl08ma et constitue le premier (et actuellement le seul) add-in de calcul formel pour cette calculatrice, ainsi que sur Graph 75/85/95 suite au travail de la communauté CnCalc et Planète-Casio.

Interface et fonctionnement

Prizm

Une description exhaustive et à jour des particularités du portage sur Prizm est disponible à cette adresse, en anglais cependant.

Graph 75/85/95

À l'heure de l'écriture de l'article, le programme s'organise d'une manière similaire à l'application Run-Mat de Casio, c'est à dire organisé autour d'une zone centrale de saisie, et d'affichage des résultats. La saisie se fait de manière «linéaire». Le clavier de la machine se comporte au maximum comme dans les applications natives de Casio, les fonctions usuelles (opérateurs, fonctions trigonométriques, etc) et caractères alpha-numériques étant disponibles avec les mêmes combinaisons de touches. Par défaut, les résultats complexes sont affichés en utilisant un moteur de rendu en écriture, mais leur affichage n'est pas encore intégré dans la console. Il faudra alors se positionner sur la ligne correspondant au résultat souhaité, où apparaîtra alors : «Pretty print», et presser [EXE] pour qu'un fenêtre s'ouvre permettant de visualiser le résultat. Si celui ci est trop grand pour être affiché dans l'écran, il sera possible de se déplacer grâce aux flèches. Il est possible de désactiver ce mode de visualisation, pour retrouver des résultats sous forme «linéaire» intégrés à la console en décochant l'option «pretty print» dans le menu ([Shift] + [Menu], puis [EXE] sur l'option), réglage qui sera sauvegardé. L'historique de la console conserve les 50 dernières lignes. Il est possible de réutiliser une ligne déjà tapée en se rendant sur celle-ci, puis en saisissant [Shift] + [8], ce qui collera la ligne souhaitée dans la ligne courante d'entrée.

Pour une utilisation plus facile des fonctionnalités offertes par Eigenmath, six menus associés aux touches [F1] à [F6] sont disponibles par défaut et affichés en bas de l'écran. Pour accéder aux fonctions de chacun des menus, il suffit de presser la touche [F⋅] correspondante, de se déplacer sur la fonction souhaitée et de presser [EXE] ce qui l'ajoutera dans la ligne courante (on peut aussi directement presser le nombre correspondant à cette fonction lorsque le menu est affiché). Ces menus ne sont pas exhaustifs, et ne regroupent pas l'intégralité des fonctions disponibles dans Eigenmath. Il est cependant possible de les personnaliser pour qu'ils soient plus adapatés à une utilisation précise. En effet, au premier lancement d'Eigenmath, est crée un fichier FMENU.cfg à la racine de la mémoire de stockage contenant le menu affiché. Il suffit d'éditer ce fichier (soit directement sur la machine à l'aide d'un éditeur comme Edit par exemple, soit sur un ordinateur et en transférant le fichier sur la machine une fois celui-ci modifié) dont la syntaxe est assez explicite (prendre pour modèle celui par défaut). Au plus 7 entrées par catégorie sont utilisables.

Il est aussi possible de créer ses propres fonctions qui seront chargées au démarrage du programme en créant un fichier USER.eig à la racine de la mémoire de stockage. Ce fichier devra contenir, sur chaque ligne, le définition d'une fonction ou une affectation telle qu'elle serait effectuée en direct dans la zone de saisie. D'éventuelles erreurs (de syntaxe ou mathématiques par exemple) seront signalée au démarrage. Le fichier suivant permet, par exemple, d'affecteur au démarrage une valeur à Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): n et de définir la fonction sinus cardinal : 

n = pi/2
sinc(x) = sin(x)/x

Le fonction sera par la suite disponible dans le programme ; on aura par exemple : 

 > sinc(n)
2/pi

Variables spéciales

Par défaut, deux variables sont initialisées par Eigenmath, et il est souvent intéressant de ne pas les redéfinir pendant l'éxécution.

last

La variable last, accessible via la combinaison [Shift]+[(-)] pointe résultat de la dernière opération réussie, et permet donc d'utiliser ce résultat dans la prochaine opération.

i

La variable i, qui correspond, comme habituellement, à l'unité imaginaire, est défini au lancement du programme par : 

 > i = sqrt(-1)


Description des fonctions

Sont décrites ici les fonctions disponibles dans Eigenmath. Si il est possible de taper le nom des fonctions caractère par caractère, souvent, elles sont accessibles plus simplement dans le programme via une combinaison de touche ou un menu. Lorsque c'est le cas, cela est précisé ici.

Nombres complexes

Opérations élémentaires

Argument 
 > arg(z)

Calcule l'argument du nombre complexe Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): z

Prizm : menu Complex number du catalogue

Graph 75/85/95 : menu Cplx ([F3])


Conjugaison 
 > conj(z)

Calcule le conjugué du nombre complexe Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): z

Prizm : menu Complex number du catalogue

Graph 75/85/95 : menu Cplx ([F3])


Partie imaginaire 
 > imag(z)

Calcule la partie imaginaire du nombre complexe Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): z

Prizm : menu Complex number du catalogue

Graph 75/85/95 : menu Cplx ([F3])


Partie réelle 
 > real(z)

Calcule la partie réelle du nombre complexe Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): z

Prizm : menu Complex number du catalogue

Graph 75/85/95 : menu Cplx ([F3])


Module 
 > mag(z)

Calcule le module du nombre complexe Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): z

Prizm : menu Complex number du catalogue

Graph 75/85/95 : menu Cplx ([F3])


Changement de forme

Forme polaire 
 > polar(z)

Donne la forme polaire du nombre complexe Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): z

Prizm : menu Complex number du catalogue

Graph 75/85/95 : menu Cplx ([F3])


Forme cartésienne 
 > rect(z)

Donne le forme polaire du nombre complexe Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): z

Prizm : menu Complex number du catalogue

Graph 75/85/95 : menu Cplx ([F3])


Forme étrange 
 > clock(z)

Donne la «clock form» du nombre complexe Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): z , c'est une sorte de forme polaire, mais basée sur -1 et non sur l'exponentielle ; je ne l'ai jamais vue ailleurs, et ne sais pas vraiment comment ça se nomme en français…

Prizm : menu Complex number du catalogue


Algèbre linéaire

Définir une matrice

Matrice identité 
 > unit(n)

Renvoie la matrice identité de taille Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): n

Prizm : menu Linear algebra du catalogue


Matrice nulle 
 > zero(i,j,…)

Renvoie la matrice nulle de taille Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): i \times j . Lorsque utilisée avec plus d'arguments, la fonction renvoie le tenseur nul de la dimension précisée.

Prizm : menu Linear algebra du catalogue


Matrice de Hilbert 
 > hilbert(n)

Renvoie la matrice de Hilbert d'ordre Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): n .

Prizm : menu Linear algebra du catalogue

Graph 75/85/95 : menu alge ([F4])


De manière général, on utilise la syntaxe suivante pour définir une matrice : 

 > M = ((1,2,3),(4,5,6))

On a ainsi défini la matrice Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): M = \begin{pmatrix} 1 & 2 & 3\\ 4 & 5 & 6\\ \end{pmatrix}

Définir un vecteur

On définit un vecteur avec la syntaxe suivante : 

 > x = (a,b,c,…)

Opérations sur les matrices

Comatrice 
 > adj(M)

Renvoie la comatrice de la matrice carrée Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): M .

Prizm : menu Linear algebra du catalogue

Graph 75/85/95 : menu alge ([F4])


Cofacteur 
 > cofactor(M,i,j)

Retourne le cofacteur Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): \delta_{i,j} de la matrice carrée <math>M .

Prizm : menu Linear algebra du catalogue


Trace 
 > contract(M)

Retourne la trace de la matrice carrée Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): M . Plus généralement, si Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): M est un tenseur, il est possible de préciser, en arguments supplémentaires, les composantes sur lesquelles sommer (sur les matrices, les arguments supplémentaires sont donc, par défaut, égaux à 1 et 2)

Prizm : menu Linear algebra du catalogue

Graph 75/85/95 : menu alge ([F4])


Déterminant 
 > det(M)

Calcule le déterminant de la matrice carrée Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): M .

Prizm : menu Linear algebra du catalogue

Graph 75/85/95 : menu alge ([F4])


Dimension 
 > dim(M,n)

Retourne la dimension de Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): M selon la n-ème composante (1 pour le nombre de ligne, 2 pour les colonnes ; se généralise aux tenseurs).

Prizm : menu Linear algebra du catalogue


Valeurs propres 
 > eigenval(M)

Retourne les valeurs propres de Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): M .

Prizm : menu Linear algebra du catalogue


Vecteurs propres 
 > eigenvec(M)

Retourne les vecteurs propres de Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): M .

Prizm : menu Linear algebra du catalogue


Valeurs et vecteurs propres 
 > eigen(M)

Stocke les valeurs propres de Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): M sur la diagonale de la matrice Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): D et les vecteurs propres de Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): M dans les colonnes de la matrice Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): Q (où Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): D et Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): Q sont les matrices désignées par les symboles D et Q dans Eigenmath)

Prizm : menu Linear algebra du catalogue


Inverse 
 > inv(M)

Retourne la matrice inverse de Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): M .

Prizm : menu Linear algebra du catalogue

Graph 75/85/95 : menu alge ([F4])


Rang 
 > rank(M)

Calcule le rang de la matrice Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): M . (Plus généralement, s'adapte aux tenseurs)

Prizm : menu Linear algebra du catalogue


Produit dyadique 
 > outer(A,B)

Calcule le produit dyadique de Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): A et de Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): B .

Prizm : menu Linear algebra du catalogue


Transposition 
 > transpose(M)

Renvoie la matrice transposée de Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): M . S'adapte aux tenseurs si sont précisées en plus les composantes sur lesquelles transposer.

Prizm : menu Linear algebra du catalogue

Opérations sur les vecteurs

Produit scalaire 
 > dot(x,y)

Calcule le produit scalaire de Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): x par Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): y . S'adapte plus généralements aux tenseurs et donc aux matrices.

Prizm : menu Linear algebra du catalogue


Produit vectoriel 
 > cross(x,y)

Calcule le produit vectoriel de Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): x par Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): y , vecteurs de dimension 3.

Prizm : menu Linear algebra du catalogue


Rotationnel 
 > curl(x)

Calcule le rotationnel du vecteur Échec d'analyse (L’exécutable <code>texvc</code> est introuvable. Lisez math/README pour le configurer.): x de dimension 3

Prizm : menu Linear algebra du catalogue

Graph 75/85/95 : menu 'alge' ([F4])
Récupérée de « https://wiki.planet-casio.com/fr/index.php?title=Eigenmath&oldid=1109 »