MathGroup Archive 2011

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

Search the Archive

Reduce in Mathematica 5 vs Mathematica 8 (2nd problem)

  • To: mathgroup at smc.vnet.net
  • Subject: [mg115247] Reduce in Mathematica 5 vs Mathematica 8 (2nd problem)
  • From: olfa <olfa.mraihi at yahoo.fr>
  • Date: Tue, 4 Jan 2011 18:53:02 -0500 (EST)

Hi Mathematica Community,

First,wish you happy and successfull new year.

For this 2nd problem in the same subject,I have this system to solve:

Reduce[Not[
  ForAll[{aaP, abP, iP, jP, sP, tP, uP, xP, yP, zP},
   Implies[t == tP && i + x == iP + xP && y == yP &&
     j t + z == jP tP + zP && t x + z == tP xP + zP &&
     Floor[Log[j]/Log[2]] == Floor[Log[jP]/Log[2]] &&
     Floor[Log[x]/Log[2]] == Floor[Log[xP]/Log[2]] && x >= xP,
    t x == tP xP]]]]

in mathematica 5 the output is given in a very short time and is "the
system cannot be solved with the method available to Reduce" this
suits me (although I wish it to be  the output "True" which is the
right answer)

in mathematica 8 the kernel still in running indefinitely and this
does not suit me at all :(

so how to deal with that?



  • Prev by Date: Difference between FrameLabel and AxesLabel
  • Next by Date: Re: Permanently install GenomeData
  • Previous by thread: Difference between FrameLabel and AxesLabel
  • Next by thread: Re: Reduce in Mathematica 5 vs Mathematica 8 (2nd problem)