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 :

about(a)

Ou on tape :

assume(a)

On obtient :

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

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

about(b)

On obtient :

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

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

about(x)

On obtient :

x

ce qui veut dire que x est une variable formelle.


Previous Up Next