Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.soft-sys.math.mathematica > #3790

Re: Solve never calls Equal?

Show all headers | View raw

>
>
> I think it is hard to claim that these test could be done only with 
Significance arithmetic.  However, DanL has indicated that tracing Equal 
may not be effective if the system programs utilize some internal call 
to a system entry into PossibleZeroQ.  The point remains that
> redefining Equal as done here does not seem to adversely affect 
NSolve, Reduce, NIntegrate. Nor does it seem to take much time.
>
> RJF

As usual, your reply avoids the only important thing, which is the 
example that I posted.

Reduce[Exp[x] - x == 1/2&&  Abs[x]<  1, x]


Try it again yourself, with Equal replaced by SameQ and without. What do 
you see?

It's amazing that you can deny what you can and everyone can see and 
still claim that "Reduce has not been effected". It is also clear that 
you do not understand why I chose this particular example and why your 
improvement broke it.

Hint: this equation is being solved *exactly* and yet your "improvement" 
breaks it. 


The main problem is that you don't understand the mathematics involved 
here.   The fact that you than produces a lot of examples that have 
obviously no relevance to this issue confirms this.

This sort of thing is not new Richard. I have already offered, to 
re-post some of your past posts which show you lack of understanding of 
the basics of Mathematica. But I can also post some examples, like this 
one, that show that you do not understand the mathematics behind it, and 
yet arrogantly presume to be instructing those who do (at least better 
than you).

Andrzej Kozlowski

Back to comp.soft-sys.math.mathematica | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Re: Numerical accuracy/precision - this is a bug or a feature? Andrzej Kozlowski <akoz@mimuw.edu.pl> - 2011-07-15 09:07 +0000
  Solve never calls Equal? Richard Fateman <fateman@cs.berkeley.edu> - 2011-07-16 09:42 +0000
  Re: Solve never calls Equal? Andrzej Kozlowski <akoz@mimuw.edu.pl> - 2011-07-17 10:08 +0000
  Re: Solve never calls Equal? Andrzej Kozlowski <akoz@mimuw.edu.pl> - 2011-07-17 10:06 +0000
  Re: Solve never calls Equal? Andrzej Kozlowski <akoz@mimuw.edu.pl> - 2011-07-17 10:07 +0000
    Re: Solve never calls Equal? Richard Fateman <fateman@cs.berkeley.edu> - 2011-07-18 10:15 +0000
    Re: Solve never calls Equal? Richard Fateman <fateman@cs.berkeley.edu> - 2011-07-18 10:17 +0000
    Re: Solve never calls Equal? Andrzej Kozlowski <akoz@mimuw.edu.pl> - 2011-07-18 10:16 +0000
      Re: Solve never calls Equal? Richard Fateman <fateman@cs.berkeley.edu> - 2011-07-19 10:55 +0000
    Re: Solve never calls Equal? Andrzej Kozlowski <akoz@mimuw.edu.pl> - 2011-07-19 10:56 +0000
    Re: Solve never calls Equal? Richard Fateman <fateman@eecs.berkeley.edu> - 2011-07-19 11:00 +0000
    Re: Solve never calls Equal? Daniel Lichtblau <danl@wolfram.com> - 2011-07-19 11:01 +0000
  Re: Solve never calls Equal? Andrzej Kozlowski <akoz@mimuw.edu.pl> - 2011-07-17 10:08 +0000
  Re: Solve never calls Equal? Andrzej Kozlowski <akoz@mimuw.edu.pl> - 2011-07-18 10:13 +0000

csiph-web