On 10 January 2012 21:41, Alexey U. Gudchenko <[email protected]> wrote:

> 11.01.2012 00:27, [email protected] пишет:
> > On the other hand I don't know why a**2.0/a is not a**1.0. This seems
> like
> > a bug...
>
> However, the 'simplify' works for this case:
>
> In [3]: simplify(a**2.0/a)
> Out[3]: a**1.0
>
> Remarks:
> We implicitly assume that a<>0 during this simplification.
>
According to the wiki page implicit assumption should not be present in
simplify. And I'm not sure that one needs such an assumption here.
f(x)/g(x) where f(x)=x**2 and g(x)=x is continuous by continuation (I'm
unsure of the english terminology). In the cases when it's not continuous
it will simplify to something not continuous.

>
> If e.g.
> >>> a = Symbol('a', positive=True)  # then 'a' became to be 'real' too
>
> then this simplification can be automatic, I think. At least I have no
> objection to add the last case to the issue tracker.
>
>
> --
> 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.
>
>

-- 
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