Timeline for How to make Simplify (and FullSimplify) give a default output if $Assumptions are contradictory
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 20, 2022 at 9:59 | comment | added | rnotlnglgq | Here may be a solution: mathematica.stackexchange.com/questions/267089/… | |
| Feb 21, 2016 at 0:50 | history | edited | J. M.'s missing motivation♦ |
edited tags; edited tags
|
|
| Nov 24, 2015 at 22:18 | vote | accept | QuantumDot | ||
| Nov 23, 2015 at 21:36 | answer | added | Simon Woods | timeline score: 3 | |
| Nov 23, 2015 at 20:27 | comment | added | Patrick Stevens | @MarcoB In general, of course, you'd expect arbitrary output to be possible. If $1<0$ then I am a fish. | |
| Nov 23, 2015 at 20:04 | comment | added | QuantumDot |
@MarcoB Well, I guess that example is not a good one. If you try Assuming[x < 0 && x > 0, Simplify[Sign[x]]], you get 1. It has (arbitrarily) picked the second assumption and dropped the first.
|
|
| Nov 23, 2015 at 20:02 | history | edited | QuantumDot | CC BY-SA 3.0 |
fixed typo in code.
|
| Nov 23, 2015 at 18:03 | comment | added | MarcoB | Why do you say that returning $-1$ in your last case is arbitrary? Your assumptions in that case end up including $x>0$, so $-x<0$ and the sign of $-x$ is indeed $-1$. What am I missing? | |
| Nov 23, 2015 at 17:56 | comment | added | Dr. belisarius |
See Check[ ]...
|
|
| Nov 23, 2015 at 17:36 | history | asked | QuantumDot | CC BY-SA 3.0 |