Yeah, it would be cool to have assumptions for functions. Stuff like one-to-one, onto, increasing, strictly increasing (implies one-to-one), continuous, etc.
Aaron Meurer On Jun 2, 2011, at 12:52 PM, Christophe BAL wrote: > Hello. > > >>> On the other hand, maybe solve should be able to tell > >>> that f(x) - f(y) == 0 implies the solution x == y > >>> (but there may be more solutions unless f is one-to-one). > > Ir could be a nice feature to have the possibility to declare a function to > be one-to-one so as to solve the very simple preceding equation not treated > by sympy. > > Best regards. > C. > > -- > 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.
