different output!!
- To: mathgroup at smc.vnet.net
- Subject: [mg96989] different output!!
- From: olfa <olfa.mraihi at yahoo.fr>
- Date: Sun, 1 Mar 2009 04:56:01 -0500 (EST)
Hi Mathematica community,
Why output2 (with integers as domain) is different from output1 (with
reals as domain) ?!! I think it should be the same thing.
input1:Reduce[{Mod[x, 5] == Mod[xP, 5], 0 <= xP < 5}, {xP}, Reals,
Backsubstitution -> True]
output1: 0 <= Mod[x, 5] < 5 && xP == Mod[x, 5]
input2:Reduce[{Mod[x, 5] == Mod[xP, 5], 0 <= xP < 5}, {xP}, Integers,
Backsubstitution -> True]
output2: (Mod[x, 5] == 0 && xP == 0) || (Mod[x, 5] == 1 &&
xP == 1) || (Mod[x, 5] == 2 && xP == 2) || (Mod[x, 5] == 3 &&
xP == 3) || (Mod[x, 5] == 4 && xP ==
4)