simplify() is kind of a "catch all" simplification function, so perhaps it should include refine() as well. refine() is still relatively new, so I don't think it's been fleshed out beyond "assumptions based simplification".
Aaron Meurer On Jun 22, 2012, at 4:52 PM, "[email protected]" <[email protected]> wrote: > I want this: `Simplify[ArcTan[Tan[x]], {x>0, x<1}] returns x`. > > I can easily add it to refine(). However it seems bizarre to use both > simplify and refine at the same time (I also need simplify)... Does > this mean that the best course of action is for me to start using > exclusively `refine` and spending time on expanding it where simplify > works better :(? > > What is the definition of simplify and of refine? > > Is refine expected to do stuff that trigsimp does for instance? > > Is simplify expected to look at is_real attributes for instance or is > it only for completely general simplifications? > > > As I see it I imagine a future where refine deals only with additional > assumptions (and is called by simplify which does not care about > assumptions and does only very general simplifications). > > -- > 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.
