Pollux (./66) :
Ben non, puisque si y a des variables dont je connais pas la valeur elles vont être réévaluées dans Z/pZ et ça donnera n'importe quoi.

Ca donnera exactement ce à quoi s'attendre. Le n'importe quoi c'est d'écrire mod((x+1)/2,2) et de penser que ca va faire ce que je veux sans savoir ce que ca fait.
Ce que tu veux, c'est évaluer (x+1)/2 dans Z, puis évaluer ce résultat mod 2. Pas évaluer (x+1)/2 mod 2 !

Pollux (./66) :
Ca veut aussi dire que eval o subs(deux,2) o eval o subs(2,deux) n'est pas du tout équivalent à eval, ce qui est un peu bizarre parce que le but d'un CAS c'est de permettre des généralisations en remplaçant une valeur particulière par un symbole.

Tu peux donner un exemple concret.. De préférence en utilisant l'API MAYLIB.
Le but d'un CAS est de faire des calculs algébriques, pas de faire autre chose.

Pollux (./66) :
Bref, faire une première évaluation dans C est un peu un hack puisque MAY ne se souviendra plus du contexte de cette évaluation et réinterprétera l'expression dans Z/2Z.

Qui t'empêche de faire une évaluation dans Z/2Z de suite ?