2 added 132 characters in body edited Sep 19 '12 at 11:34 J. M. will be back soon♦ 101k1010 gold badges317317 silver badges477477 bronze badges 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 created Jun 23 '12 at 11:41 Sjoerd C. de Vries 58.5k1111 gold badges164164 silver badges303303 bronze badges