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.