7.4 Panneau (Alg\fr\Cocoa)  

Fig. 7.3 Le panneau Alg\fr\CoCoA (calcul formel en algèbre commutative).

7.4.1 Description des boutons (mod. 22/04/2003) 

1.   COCOA  : lance le programme CoCoA dans une fenêtre de commandes. La commande envoyée est :

   COMSPEC /cROSETBAS\astex\startprg.bat cocoa

   La fenêtre créée fait 50 lignes sous Win9x, 200 sous WinNTx.
2.   EMACS/ast  : lance le programme Emacs pour Windows à partir du répertoire ASTEXDIR (nécessaire pour utiliser le bouton Ecocoa ).
3.   Ecocoa  : lance CoCoA dans un shell d'Emacs. Emacs doit être déjà ouvert. La commande envoyée au shell est runprg.bat cocoa.
4.   userinit.coc  : édite, avec Wordpad, le fichier d'initialisation de l'utilisateur, ASTEXDIR\userinit.coc.
5.   << Doc>>  : marqueur du groupe de boutons << Documentation>>. Ce bouton n'exécute aucune action, il sert juste de séparateur visuel entre les groupes de boutons.
6.   Site web  : affiche le site de CoCoA dans le navigateur web par défaut.
7.   Loc web  : affiche une copie locale du site de CoCoA dans le navigateur web par défaut.
8.   Tutoriel  : affiche la partie Tutoriel du manuel d'utilisation de CoCoA.
9.   Manuel  : affiche l'ensemble de l'aide en ligne de CoCoA.
10.   << Tests com>>  : marqueur du groupe de boutons << Test communs>>. Ce bouton n'exécute aucune action, il sert juste de séparateur visuel entre les groupes de boutons.
11.   1+2  : additionne 1 et 2 dans CoCoA.
12.   2*3  : multiplie 2 par 3 dans CoCoA.
13.   2^10  : calcule 2 à la puissance 10 dans CoCoA.
14.   1/3+3/4  : additionne deux fractions dans CoCoA.
15.   100 !  : calcule la factorielle de 100 dans CoCoA.
16.   Quitter  : sortir du programme CoCoA.
17.   << Tests spec>>  : marqueur du groupe de boutons << Tests spécifiques au programme>>. Ce bouton n'exécute aucune action, il sert juste de séparateur visuel entre les groupes de boutons.
18.   1.5+2.3;  : illustre la transformation des réels en fractions par CoCoA (cf. tutoriel).
19.   A:=3;  : exemple de définition d'une variable (cf. tutoriel).
20.   2A;  : exemple d'utilisation d'une variable (cf. tutoriel).
21.   B=7;A^2+B;  : exemple d'utilisation de variables (cf. tutoriel).
22.   << Tests btns>>  : marqueur du groupe de boutons << Boutons en cours de test>>. Ce bouton n'exécute aucune action, il sert juste de séparateur visuel entre les groupes de boutons.
23.   COCOA ?  : lance le programme CoCoA par start cocoa.bat.

7.4.2 Prise en main 

1.  Sélectionner le groupe de panneaux Alg-1 de l'assistant Rosetta.
2.  Ouvrir le panneau Alg\fr\Cocoa en cliquant sur le bouton  du bandeau de l'assistant.
3.  Lancer Emacs en cliquant sur le bouton EMACS/ast .
4.  Lancer CoCoA dans une fenêtre d'Emacs en cliquant sur le bouton Ecocoa  : une session de CoCoA s'ouvre dans la fenêtre inférieure. Sélectionner cette fenêtre en cliquant dessus¹ .
5.  Sélectionner Emacs comme programme-cible dans l'assistant, et effectuer les tests communs, en cliquant sur les boutons 1+2 etc. Tous les boutons ont été vérifiés et marchent sous Windows 98SE / 2000. Après avoir cliqué sur Quitter , le message runprg.bat cocoa : finished s'affiche en bas de la fenêtre d'Emacs. On peut fermer Emacs avec l'option File / Exit Emacs ou relancer une session en cliquant de nouveau sur Ecocoa .
6.  Pour commencer à se familiariser avec CoCoA, afficher son tutoriel, en cliquant sur le bouton Manuel puis sur les éléments CoCoA Manual, 1.2 Tutorial et 1.2.1 A Tutorial Introduction to CoCoA.