I think you always need the condition. Just saying "for all x" doesn't make any sense. You have to have "for all x in some set".
By the way, it's just a semantics things, but expr should really be called cond, since it needs to be a boolean condition, not just some generic expression. Aaron Meurer On Wed, Mar 28, 2012 at 3:19 PM, sachin004 <[email protected]> wrote: > Implementation of universal quantifiers > > Universal Quantification: Function: for_all(expr,variables,condition) > > · ∀ xexpr which says that expr holds for all values of x for this the > function looks like for_all(expr,var) where var=Tuple(x) > > this returns an assertion based on the expr and the values of x. > > · ∀{x1,x2,...}expr which says that expr holds for all values of x for > this the function looks like for_all(expr,var) where var=(x1,x2,x3….) this > returns an assertion based on the expr and the values of x1,x2,x3... > > · ∀x,condexpr which says that expr holds for all values of x which > satisfy the condition for this the function looks like for_all(expr,var) > where var=(x1,x2,x3….) this returns an assertion based on the expr and the > values of x1,x2,x3... > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To view this discussion on the web visit > https://groups.google.com/d/msg/sympy/-/X7lB_Ir0NLcJ. > > 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.
