question on example dealing with exists
- To: mathgroup at smc.vnet.net
- Subject: [mg117400] question on example dealing with exists
- From: olfa <olfa.mraihi at yahoo.fr>
- Date: Thu, 17 Mar 2011 06:32:42 -0500 (EST)
Hi mathematica community,
here is my input:
Reduce[kP>= cN &&
Exists[{iPP, kPP}, (kPP < cN) && (iP == 1 + iPP &&
kP == 3 + 6*iPP + kPP)], {iP, kP}, Reals,
Backsubstitution -> True]
and here is the output:
iP > 1/2 && cN <= kP < -3 + cN + 6 iP
it is clear for me how the output for kP was generated but can someone
help me to find how the output for iP was generated?
thank you very much