Group Abstract Group Abstract

Message Boards Message Boards

1
|
11.5K Views
|
10 Replies
|
5 Total Likes
View groups...
Share
Share this post:

Why the Reduce command does not completely solve the inequality?

Hi evryone, So, the input is

Reduce[(-4 x^2 + 8 x + 12)/(-x - 1) < 0, x]

and the output is

x<3.

This is not correct!, in wolframalpha:

http://www.wolframalpha.com/input/?i=%28-4x%5E2%2B8x%2B12%29%2F%28-x-1%29%3C0

show that the correct solution is

x<3 (for x != -1 )

well, this is very frustrating because I've been planning a demonstration but this false solution damages everything I'm doing. Can someone help me to correct it?

Thanks!!
POSTED BY: Camilo Ramirez
10 Replies
Sort By:

I just joined the community forum. I'm anxious to learn and observe here. Thanks everyone.
POSTED BY: Jake Jenson

I now see what was the intended subject header (it's perfectly informative) and that the edit only managed to add the word "the". So I'll take this as an indication that the editing tool might be falling short and will mention it at our end.

As for handling of removable singularities, there are arguments to be made either way. I only claim that the current Reduce behavior is most likely as intended rather than a blatant bug.
POSTED BY: Daniel Lichtblau

fyi;

Maple 18.01 agrees with Wolfram/Alpha on this one:

enter image description here
POSTED BY: Nasser M. Abbasi

Sorry again, using quotation marks (") in the title makes this cut: Why the "Reduce" command does not completely solve the inequality
POSTED BY: Camilo Ramirez

Hi, this solve my problem! thanks.
POSTED BY: Camilo Ramirez

(1) I think you have in mind -1, not 1.

(2) The subject header is less than useful (to the point where I very nearly skipped over the note).

(3) This is not a bug.

As for why this behavior is as designed, the denominator and numerator have a common factor of x+1, and Mathematica treats that as a removable singularity (because it is). Wolfram|Alpha takes that more pedantic approach of restricting the domain of definition to exclude singularities, whether or not removable. Both make sense, I think.
POSTED BY: Daniel Lichtblau

Hi, thanks, i didnt know what happend in the subject header. fixed

I think even that as a removable singularity, this should not be part of the solution, because it can not be replaced by x = -1 in the inequality.
POSTED BY: Camilo Ramirez
POSTED BY: Marco Thiel
POSTED BY: Marco Thiel

Well, if you like to debug, there is always

Trace[Reduce[(-4 x^2 + 8 x + 12)/(-x - 1) < 0, x], TraceInternal -> True]

Please send an email to support@wolfram.com, it is clearly a bug, as -1 should be excluded since 0/0 is Indeterminate
POSTED BY: Nasser M. Abbasi
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Tag limit exceeded
Note: Only the first five people you tag will receive an email notification; the other tagged names will appear as links to their profiles.
Reply Preview
Attachments
Remove
or Discard