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

what's wrong with this?!!

• To: mathgroup at smc.vnet.net
• Subject: [mg114909] what's wrong with this?!!
• From: olfa <olfa.mraihi at yahoo.fr>
• Date: Wed, 22 Dec 2010 02:36:36 -0500 (EST)

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.

• Follow-Ups:
  • Re: what's wrong with this?!!
    • From: Andrzej Kozlowski <akoz@mimuw.edu.pl>