Re: About binary relations
- To: mathgroup at smc.vnet.net
- Subject: [mg104071] Re: About binary relations
- From: olfa <olfa.mraihi at yahoo.fr>
- Date: Sun, 18 Oct 2009 05:26:18 -0400 (EDT)
- References: <hb9jol$fl$1@smc.vnet.net> <hbc7uk$cib$1@smc.vnet.net>
On 17 oct, 12:57, "Sjoerd C. de Vries" <sjoerd.c.devr... at gmail.com> wrote: > In v7 there's a lot of boolean operations added to the stuff that was > peviously availably. You might try the guide page guide/ > BooleanComputation. > > Cheers -- Sjoerd > > On Oct 16, 1:00 pm, olfa <olfa.mra... at yahoo.fr> wrote: > > > > > Hello Mathematica community, > > is there a package in mathematica that allows me to manipulate binary > > relations in order to do operations like > > (R1 U R2) o R3 > > Thank you.- Masquer le texte des messages pr=E9c=E9dents - > > - Afficher le texte des messages pr=E9c=E9dents - Thank you Mr Sjoerd, but what I'm looking for is relational computation capabilities, like for exemple for these two relations: R1 = {(r, s)| y + log2(x) == yP + log2(xP) && x*t == xP*tP && z == zP} R2={(r, s)| y==yP && floor(log2(x) )== floor(log2(xP))&& x*t+z == xP*tP+zP} and I want to compute R1 o R2, R1 U R2,etc.