       Re: problem with reduce

• To: mathgroup at smc.vnet.net
• Subject: [mg100431] Re: problem with reduce
• From: dh <dh at metrohm.com>
• Date: Wed, 3 Jun 2009 05:28:15 -0400 (EDT)
• References: <h00d04\$phb\$1@smc.vnet.net>

```
Hi,

consider the equation: jP == j - C]. As j does not appear anywhere

else j and jp are completely undetermined.

Now consider: i == 1 + C && N == 1 + C + C. As i and N do not

appear anywhere else, these equation do not add any info.

Finally: iP == 1 + C + C simply says that ip is an integer >=1.

Therefore, the solution is: ip is an integer >=1 and jP an arbitrary number.

Daniel

olfa wrote:

> Hi mathematica community,

> I have to solve this example

> In:= Reduce[Exists[{C, C},

>   Element[{C, C}, Integers] && C >= 0 && C >= 0 &&

>    i == 1 + C && N == 1 + C + C && iP == 1 + C + C &&

>    jP == j - C], {iP, jP}, Backsubstitution -> True]

>

> During evaluation of In:= Reduce::nsmet: This system cannot be

> solved with the methods available to \

> Reduce. >>

>

> I have observed that when I remove Element[{C, C}, Integers] && C

>  >= 0 && C >= 0 like that:

> In:= Reduce[

>  Exists[{C, C},

>   i == 1 + C && N == 1 + C + C && iP == 1 + C + C &&

>    jP == j - C], {iP, jP}, Backsubstitution -> True]

>

> it gives me an output which is:

>

> Out= iP == N && jP == i + j - N

>

>

> I need to keep the information that Element[{C, C}, Integers] &&

> C >= 0 && C >= 0  but reduce tells me that it cannot solve this

> system. why and how to deal with this problem?

> thank you.

>

```

• Prev by Date: Psychrometric chart
• Next by Date: Re: proper way of posing a non-autonomous ode in mathematica?
• Previous by thread: Re: problem with reduce
• Next by thread: Re: treatment on C[i]