### 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 exclus 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.