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.

Reply via email to