I don't understand what you mean by boolean ITE function can you please
explain that?
BUT I think ITE work well if "cond" is a bool when "x" and "y" are arbitary
symbols. for example:
     IN [1]:* ITE**(True, x , y)*
     OUT [1]:* x*

in the second part of your question if "cond" is a bool then yes ,*
ITE'(cond, a, b) + ITE'(cond, b, a) *will return* (a+b)*


On Fri, Apr 4, 2014 at 9:23 PM, Mehul Tikekar <[email protected]>wrote:

> Hi,
>    I am looking for a variant of the boolean ITE(cond, x, y) function. I
> need only "cond" to be a bool while "x" and "y" are arbitrary symbols (they
> could be numbers, for example). Does sympy have a function like that? If
> not, any ideas on how I can go about writing one? Ideally, it should also
> be able to do simplifications. For example, ITE'(cond, a, b) + ITE'(cond,
> b, a) should be simplified to (a + b).
>
> Mehul
>
> --
> You received this message because you are subscribed to the Google Groups
> "sympy" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> To post to this group, send email to [email protected].
> Visit this group at http://groups.google.com/group/sympy.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sympy/b5d8f3fc-d413-4ec2-ace0-76e21ac0bae7%40googlegroups.com<https://groups.google.com/d/msgid/sympy/b5d8f3fc-d413-4ec2-ace0-76e21ac0bae7%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sympy.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sympy/CA%2BOR%3Dbh7cKCJ1HcTTKN-xAPLZmx2fhxy86B%3DmYh-dVJ7wuUDdw%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to