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>
- Re: what's wrong with this?!!