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

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

• To: mathgroup at smc.vnet.net
• Subject: [mg82552] (x|y) \[element] Integers in Reduce function
• From: Steven Siew <siewsk at bp.com>
• Date: Wed, 24 Oct 2007 04:31:55 -0400 (EDT)

Consider the following

Reduce[x^2 - 2 y^2 == 1 && x>= 0 && y>=0 && (x|y) \[element] Integers,
{x,y} ]

What does " (x|y) \[element] Integers "   mean?

Does it mean:

(a) x is an Integer  AND  y is an Integer

(b) x is an Integer  OR  y is an Integer

Thank you

• Follow-Ups:
  • Re: (x|y) \[element] Integers in Reduce function
    • From: Andrzej Kozlowski <akoz@mimuw.edu.pl>