Re: different output!!

*To*: mathgroup at smc.vnet.net*Subject*: [mg97034] Re: different output!!*From*: olfa <olfa.mraihi at yahoo.fr>*Date*: Tue, 3 Mar 2009 05:56:00 -0500 (EST)*References*: <godm3n$46c$1@smc.vnet.net> <gogc32$oib$1@smc.vnet.net>

On 2 mar, 11:23, "Sjoerd C. de Vries" <sjoerd.c.devr... at gmail.com> wrote: > It seems correct to me. Please note that Mod[x,5] is not necessarily > integer and therefore not countable if x is a real whereas it is > countable when x is an integer. Reduce does a fine job here. > > Cheers -- Sjoerd > > On Mar 1, 11:56 am, olfa <olfa.mra... at yahoo.fr> wrote: > > > > > 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}, Integ= er= > s, > > 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)- Masquer le texte des messages pr=E9c=E9dents - > > - Afficher le texte des messages pr=E9c=E9dents - What I mean is that I want to represent output2 by: Mod[x,5] belongs to Integers and 0<=Mod[x,5]<5 and xP==Mod[x,5], is it possible?should I add something in reduce to have this output.