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


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

Re: Why Indeterminate?

From David Bailey <dave@removedbailey.co.uk>
Newsgroups comp.soft-sys.math.mathematica
Subject Re: Why Indeterminate?
Date 2011-05-03 09:44 +0000
Organization Steven M. Christensen and Associates, Inc and MathTensor, Inc.
Message-ID <ipoiq4$g2r$1@smc.vnet.net> (permalink)
References <ipm2em$58b$1@smc.vnet.net>

Show all headers | View raw


On 02/05/2011 11:53, Themis Matsoukas wrote:
> The puzzling thing is that, having defined A and a, we now get
>
> A[a, x]
>
> (1/(1 - 3 (1 - 2 x)) + (2 (1 - 2 x))/(1 - 3 (1 - 2 x))) (1 - x) x
>
> which has no indeterminacy. What Mathematica is not telling us is that it obtained this result assuming x<>0.5.
>
> tm
>

Imagine that Mathematica was as rigorous as you suggest. It could barely 
simplify any expression. For example,

(z^2+z)/z

could not be simplified without wrapping the result in a condition! 
Computer algebra (or indeed hand calculations) would be virtually 
useless done that way.

David Bailey
http://www.dbaileyconsultancy.co.uk

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


Thread

Re: Why Indeterminate? Themis Matsoukas <tmatsoukas@me.com> - 2011-05-02 10:53 +0000
  Re: Why Indeterminate? David Bailey <dave@removedbailey.co.uk> - 2011-05-03 09:44 +0000

csiph-web