Répondre à : Erreur sur mot clef OEF formal : problème de configuration ?

Accueil Forums Gestion d’un serveur WIMS Information sur les serveurs WIMS publics Erreur sur mot clef OEF formal : problème de configuration ? Répondre à : Erreur sur mot clef OEF formal : problème de configuration ?

#4896
Stéphane Mouton
Participant
Up
1
Down
::

J’ai trouvé : le package maxima-share n’était pas installé.
Le message d’erreur dans les log de maxima signale l’absence de trgsmp.mac :
file_search1: trgsmp.mac not found in file_search_maxima,system.

Or la procédure d’installation de WIMS stipule qu’il faut « Vérifier que le package share de Maxima a bien été installé, sinon l’installer séparément. Il fournit de nombreuses commandes utilisées dans les exercices wims (exemple trigsimp) »