2 added 132 characters in body
source | link

Assumptions are used to indicate membership of domains (Integers, Reals) or other relationships that hold for certain variables.

Assumptions are used to indicate membership of domains (Integers, Reals) or other relationships that hold for certain variables.

1
| link