MathGroup Archive 2009

[Date Index] [Thread Index] [Author Index]

Search the Archive

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:22:06 -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: Infinite function definitions
  • Next by Date: Re: Point on sphere greatest distance from given points
  • Previous by thread: Re: About binary relations
  • Next by thread: Re: About binary relations