• 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.

```

• Prev by Date: Re: Point on sphere greatest distance from given points
• Next by Date: Re: Point on sphere greatest distance from given points