>> If, on the other hand, we don't have global assumptions, I don't think >> you need to use 'assume(x in R)' at every step. All you have to do is >> to refine the final answer, e.g. one command. > > Mathematically the first step is to define the symbols (n in N etc.). > Moving this to the last step seems counter-intuitive to me.
That's interesting, because at least for me it is actually very intuitive to just write the equation and only then worry about domains/assumptions, if that is needed. Anyway, I think we can have both ways. Ondrej --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
