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

Ticket #7660

Property
Status
changed from
new
toneeds_work

Property
Authors
changed from
to
Burcin Erocal, Ralf Stephan

Property
Summary
changed from
arithmetic with inequalities confusing
toarithmetic with equations and inequalities confusing

Property
Branch
changed from
to
u/rws/ticket/7660

Property
Milestone
changed from
sage5.11
tosage6.4
 Property Keywords inequality solver maxima added

Property
Commit
changed from
to
30cc86077172f9e57c6b5df06b40158e17e2320d

Property
Status
changed from

Ticket #7660 – Description
v4 v31 1 Equations and relations should behave like this: 2 equations: 3 * `(a==b) +*/ c` same as: 4  `(a==b).add_to_both_sides(c)` 5  `(a==b).subtract_from_both_sides(c)` 6  `(a==b).multiply_both_sides(c)` 7  `(a==b).divide_both_sides(c)` 8  `False` if `*/0` 9 * `(a==b)^c` > `a^c == b^c` 10 * `f(a==b)` > `f(a==b)` 11 relations: 12 * `(a<b) + c` same as: 13  `(a<b).add_to_both_sides(c)` 14  `(a<b).subtract_from_both_sides(c)` 15 * `(a<b) */ c` same as: 16  `a*/c > b*/c` for `c` real and negative, or if `c` is assumed negative 17  `a*/c < b*/c` for `c` real and positive, or if `c` is assumed positive 18  `False` if `c=0` 19 * `(a<b)^c` > `(a<b)^c` 20 * `f(a<b)` > `f(a<b)` 21 22 Original description: 23 1 24 From the following sagedevel thread: 2 25