Timeline for Hidden limitation of Assumptions (Is $x^2 < 0$ contradictory)?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 24, 2018 at 19:19 | vote | accept | QuantumDot | ||
| Nov 23, 2018 at 20:35 | history | edited | David G. Stork | CC BY-SA 4.0 |
edited title
|
| Nov 23, 2018 at 20:06 | answer | added | Szabolcs | timeline score: 5 | |
| Nov 23, 2018 at 20:02 | comment | added | Szabolcs |
Compare with Reduce[x^2 < 0, x] --> False and the statement in the documentation that "Reduce assumes by default that quantities appearing algebraically in inequalities are real, while all other quantities are complex." The assumption can be overridden. Reduce[x^2 < 0, x, Complexes]
|
|
| Nov 23, 2018 at 20:00 | comment | added | Szabolcs |
A more minimal example is $Assumptions = x^2 < 0
|
|
| Nov 23, 2018 at 19:51 | history | asked | QuantumDot | CC BY-SA 4.0 |