On Fri, Mar 26, 2010 at 9:31 PM, Brian Granger <ellisonbg....@gmail.com> wrote: [...] >>> > * Shouldn't we have logic that allows new refine handlers to be >>> > defined for either already existing types or new types. This does >>> > look different than the ask handlers. There can be multiple ask >>> > handlers for a type, but only one refine handlers. >> >> Conceptually, refine is just simplify with a specifiable set of >> assumptions instead of a global one, so they should be merged somehow. >> On the API side, 'refine(abs(x), Assume(x, Q.positive))' should become >> something like 'simplify(abs(x), assuming=positive(x))' or 'with >> positive(x): simplify(abs(x))'. > > Yes, it does make sense that refine and simplify are pretty similar in > functionality. I do think they should be combined.
Imho simplify() should mainly apply algebraic relations to simplify the expressions, while refine() should apply assumptions, but that's it. So I thought those are two different things, aren't they? Ondrej -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to sy...@googlegroups.com. To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.