[Date Index] [Thread Index] [Author Index]

Re: (x|y) \[element] Integers in Reduce function

• To: mathgroup at smc.vnet.net
• Subject: [mg82568] Re: (x|y) \[element] Integers in Reduce function
• From: Bhuvanesh <lalu_bhatt at yahoo.com>
• Date: Thu, 25 Oct 2007 06:02:27 -0400 (EDT)

Element[x|y, Integers] means that both x and y are integers.

>From the function page for Element:
http://reference.wolfram.com/mathematica/ref/Element.html

"Element[patt, dom] asserts that any expression matching the pattern patt is an element of dom."

The symbols x and y both match the pattern x|y, so x *and* y are both elements of the specified domain.

Bhuvanesh,
Wolfram Research