Comment #26 on issue 1823 by asmeurer: integral.atoms(Symbol) should
introspect
http://code.google.com/p/sympy/issues/detail?id=1823
OK, given that WIkipedia article, I am now in favor of the ones the Øyvind
gave. So is everyone in agreement that it should be
a = Integral(x*y, (x, 1, 2))
a.atoms(Symbol)
set([x, y])
a.free_symbols
set([y])
a.bound_symbols
set([x])
? And by the way, if you read the article, both ∀x and ∃x bind the
variable x (because x is just a placeholder in either case). Basically, if
you can replace x with y everywhere and get a (mathematically) equivalent
result, then x is bound. Otherwise, it is free.
--
You received this message because you are subscribed to the Google Groups
"sympy-patches" group.
To post to this group, send email to sympy-patches@googlegroups.com.
To unsubscribe from this group, send email to
sympy-patches+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sympy-patches?hl=en.
