Previous Up Next

2.5.9  Connaitre les hypothèses faites sur une variable : about

about a comme argument un nom de variable.
about permet de connaitre les hypothèses faites sur cette variable.
On tape :

assume(a,real);additionally(a>0)

ou

assume(a,real);assume(a>0,additionally)

puis,

about(a)

On obtient :

assume[DOM_FLOAT,[0,+(infinity)],[0]]

assume[ ] signifie que l’on a une liste d’un type particulier.
Le dernier 0 veut dire que 0 est exclu de l’intervalle [0,+(infinity)].
On tape :

assume(b,real);additionally(b>=0 and b<2)

ou

assume(b,real);assume(b>=0 and b<2,additionally)

puis,

about(b)

On obtient :

assume[DOM_FLOAT,[0,2],[2]]

Le dernier 2 veut dire que 2 est exclus de l’intervalle [0,2].
On tape :

about(x)

On obtient :

x

ce qui veut dire que x est une variable formelle.


Previous Up Next