>> 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.
But you are a physicist ;-) (so am I) In some ways I agree, but the typical mathematics textbook does tend to start like this... Let x, y and z be elements of ..... and assume that x>0. Then if, .... I haven't been following the discussion to closely, but here is my gut feelings. 1. Avoid anything global if at all possible. What if I want to use my sympy code with yours, but we need different global assumptions. Ahhhhh! 2. The with statement actually gives a very nice way of expressing an assumption that should be applied to a set of expressions. Nice idea! +1 Cheers, Brian --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
