Comment #3 on issue 3201 by [email protected]: Inconsistencies about RandomDomain
http://code.google.com/p/sympy/issues/detail?id=3201
Oh, and I've finally understood what the heck a RandomDomain is supposed to be. It's some sort sort of tagged set, a representation of a proposition like '(x, y, z) \in S' for some S in R³. The interesting point being that ((x, y, z) \in [0,1]×[0,2]×[0,3]) == ((z, y, x) \in [0,3]×[0,2]×[0,1]).
So it has no intrinsic link with probability, but it's useful in relation with integrals because it can represent the "(x, 0, 1), (y, 0 ,2), (z, 0, 3)" part in Integral(f(x, y, z), (x, 0, 1), (y, 0, 2), (z, 0, 3)) without breaking the symmetry between the variables. So, domain.integrate(expr) is a generalisation of Integral(expr, *domain). One thing that doesn't make sense however, is to pass variables to domain.integrate().
-- You received this message because you are subscribed to the Google Groups "sympy-issues" 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-issues?hl=en.
