11.01.2012 12:51, Joachim Durchholz пишет:
> Am 11.01.2012 04:32, schrieb Chris Smith:
>> On Wed, Jan 11, 2012 at 4:43 AM, Joachim Durchholz<[email protected]> 
>> wrote:
>>
>>> f/g will be x, which is continuous. So yes, in this case, the
>>> simplification changes the result.
>>>
>> Since x**2/x is automatically simplified, we should probably
>> automatically
>> simplify x**2.0/x.
> 
> x²/x has a discontinuity for x=0, and x does not, hence x²/x is not the
> same as x. (I suspect it might even be possible to "prove" 1=0 if you
> allow removing 0/0 from a product. Division by zero tends to be nasty
> like that, but I haven't checked.)

No, no, it is continuous  because the limit when x-->0 exists (equals
0), and the same as a value of function at this point, 0**2/0 (which by
definition is equal 0).

It was my mess when I began to talk about this case, but Stefan
convinced me.


-- 
Alexey U.

-- 
You received this message because you are subscribed to the Google Groups 
"sympy" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sympy?hl=en.

Reply via email to