Services & ResourcesWolfram ForumsMathGroup Archive

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

Re: what's wrong with this?!!

• To: mathgroup at smc.vnet.net
• Subject: [mg114939] Re: what's wrong with this?!!
• From: Andrzej Kozlowski <akoz at mimuw.edu.pl>
• Date: Thu, 23 Dec 2010 03:55:08 -0500 (EST)
• References: <201012220736.CAA10481@smc.vnet.net>

The output I get (with Mathematica 8) is:

In[76]:= Reduce[Element[{iP, n}, Integers] &&  !iP < n && 
   Exists[{iPP}, iPP < n && iP == iPP + 1], {iP}, 
  Backsubstitution -> True]

 Element[n | iP, Integers] && iP == n

Andrzej Kozlowski

On 22 Dec 2010, at 08:36, olfa wrote:

> Hi mathematica community,
> 
> this is the system to solve:
> Reduce[
> Element[{iP, N}, Integers] &&
> Not[(iP < N)] &&
> Exists[{iPP}, (iPP < N) && iP == iPP + 1],
> {iP}, Backsubstitution -> True]
> 
> the output is:
> (N | iP) =E2=88=88 Integers && N =E2=89=A4 iP < 1 + N
> 
> but it should be:
> iP==N
> 
> so what's the problem what is missing to get the correct output?
> 
> thank you very much.
> 

• References:
  • what's wrong with this?!!
    • From: olfa <olfa.mraihi@yahoo.fr>