Est-ce un bug ?
supposons(k,integer);solve(k+1/2=0,k) renvoie DOM_INT,[(-1)/2]
supposons(k,integer)
Modérateur : xcasadmin
Re: supposons(k,integer)
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!