supposons(k,integer)

Bugs

Modérateur : xcasadmin

alb
Messages : 1331
Inscription : ven. août 28, 2009 3:34 pm

supposons(k,integer)

Message par alb » 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]

parisse
Messages : 5894
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :

Re: supposons(k,integer)

Message par parisse » 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!

Répondre