Le forum de XCAS

Publié : **dim. oct. 24, 2010 5:59 pm**

Est-ce un bug ?
supposons(k,integer);solve(k+1/2=0,k) renvoie DOM_INT,[(-1)/2]

Publié : **lun. oct. 25, 2010 6:00 am**

en effet, l'hypothèse entier n'est pas testée pour le résultat de solve, je vais y réfléchir, merci pour l'info!

supposons(k,integer)