Re: [sympy] Re: Gsoc 2012 Idea

[sachin004]

Universal Quantification:  Function: for_all(expr,variables,condition)

·        [image: http://reference.wolfram.com/chars/ForAll.gif]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.

·        [image: http://reference.wolfram.com/chars/ForAll.gif]{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...

·        [image: http://reference.wolfram.com/chars/ForAll.gif]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/-/NdFS4as_gZkJ.
To post to this group, send email to sympy@googlegroups.com.
To unsubscribe from this group, send email to 
sympy+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/sympy?hl=en.