Changes between Version 31 and Version 37 of Ticket #7660


Ignore:
Timestamp:
02/12/15 09:52:07 (7 years ago)
Author:
rws
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #7660 – Description

    v31 v37  
    1616   - `a*/c > b*/c` for `c` real and negative, or if `c` is assumed negative
    1717   - `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`
    1921 * `(a<b)^c` --> `(a<b)^c`
    2022 * `f(a<b)`  --> `f(a<b)`