Discussion :

[vosges88]

L'unité Logic (au moins dans la version 2019) semble avoir des erreurs.

1) Elle ne laisse pas votre variable V indemne....il y en a peut-être d'autres alors.

2) Elle donne des résultats archi-faux !!!!

Essayez :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
with(Logic);
Environment(2);
 
V:=0;
Satisfy(x);
V;

1) La variable V est redevenue "non assignée".
2) Satisfy(x) devrait donner un modèle qui rend vraie la formule "x" et donc {x=true}. Mais elle donne {x=false}.....méga LOL ! C'est Environment(2) qui fait foirer. Ce paramètre est supposé forcer des simplifications...mais cela génère des erreurs ! Bref...pas fiable !

Et Satisfiable(x &and y) donne false....pas de modèle....ce serait presque drôle si ce n'était pas aussi grave et sans conséquences !!!!!!

Décidément, des problèmes avec les variables dans cette unité. J'avais déjà relevé un gros bug qui prenait mal en compte les variables indicées...problème pour les grosses formules.

[vosges88]

Ils m'ont répondu que c'est en effet un bug et qu'ils l'ont fixé dans la version 2020.
Loin de moi l'idée de leur faire de la pub...quand on voit le nombre de bugs et les versions successives et le prix...ça fait <<stratégie commerciale à la Apple>>

[jcarbaut]

Dans Maple 2020.2 :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
with(Logic):
Environment(2):
V:=0:
Satisfy(x);
        {x = true}
 
V;
        0