Services & Resources / Wolfram Forums / MathGroup Archive
-----

MathGroup Archive 2008

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

Search the Archive

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


  • Prev by Date: MaxFormatDepthExceeded
  • Next by Date: Visualising a spherical triangle
  • Previous by thread: Re: MaxFormatDepthExceeded
  • Next by thread: Re: Resolve[Exists[i,{-1,0,2,-3,4,0}>0],Integers] does not work