Changes between Version 31 and Version 37 of Ticket #7660
 Timestamp:
 02/12/15 09:52:07 (7 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #7660 – Description
v31 v37 16 16  `a*/c > b*/c` for `c` real and negative, or if `c` is assumed negative 17 17  `a*/c < b*/c` for `c` real and positive, or if `c` is assumed positive 18  `False` if `c=0` 18  `False` if `c=0` or assumed zero 19  if `c` contains variables (and no assumptions exist about it) raise `ArithmeticError: missing assumption: is ...>0?` 20  if `c` contains no variables `ArithmeticError: multiplication of inequality with irreal` 19 21 * `(a<b)^c` > `(a<b)^c` 20 22 * `f(a<b)` > `f(a<b)`