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

Resolve[Exists[i,{-1,0,2,-3,4,0}>0],Integers] does not work

• To: mathgroup at smc.vnet.net
• Subject: [mg85409] Resolve[Exists[i,{-1,0,2,-3,4,0}>0],Integers] does not work
• From: janos <janostothmeister at gmail.com>
• Date: Sat, 9 Feb 2008 04:19:31 -0500 (EST)

Resolve[Exists[x, a x^2 + b x + c == 0 && x > 0], Reals]

(taken from the Help) works fine. However,

Resolve[Exists[i, Part[{-1, 0, 2, -3, 4, 0}, i] > 0], Integers]

does not work.
My guess is that Part is evaluated differently from Equal,
but I do not know how to fix the problem.

Thank you.

Janos

• Follow-Ups:
  • Re: Resolve[Exists[i,{-1,0,2,-3,4,0}>0],Integers] does not work
    • From: Andrzej Kozlowski <akoz@mimuw.edu.pl>