problem with EvenQ
- To: mathgroup at smc.vnet.net
- Subject: [mg105923] problem with EvenQ
- From: dvholten <info at dvholten.de>
- Date: Sat, 26 Dec 2009 19:06:55 -0500 (EST)
Hi folks,
i puzzled all afternoon, but couldnt get this one solved:
what is the proper way of using EvenQ[] within FindInstance[] ?
I cant use it like
FindInstance[ y*2 < 100 && EvenQ[y], {y}, Integers ]
or even
FindInstance[ EvenQ[y], {y}, Integers ]
Actually, the expression used in FindInstance is much more complex,
but i condensed the problem to be EvenQ[] - i expect some kind of
special notation to help here.
thanks
dvh
- Follow-Ups:
- Re: problem with EvenQ
- From: Murray Eisenberg <murray@math.umass.edu>
- Re: problem with EvenQ