Permet de spécifier une hypothèse sur une variable var à l'aide de l'inégalité ineqvar.
L'argument ineqvar peut être de la forme var, a..b (ou var, Open(a)..Open(b)) pour spécifier que var est dans l'intervalle fermé [a,b] (ou ouvert (a,b)).
Attention: lorsque cette commande est utilisée la variable var sera notée var~ pour bien indiquer qu'il y a des hypothèses sur cette variable. De plus, l'hypothèse affectera aussi la variable en question dans les calculs précédents le assume si on "remonte" dans la feuille pour refaire l'exécution de certaines lignes de commandes. Pour enlever les hypothèses qu'il y a sur une variable, il suffit de déassigner celle-ci.