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

Re: MetaMathematica

• To: mathgroup at smc.vnet.net
• Subject: [mg90971] Re: [mg90939] MetaMathematica
• From: Oliver Ruebenkoenig <ruebenko at wolfram.com>
• Date: Fri, 1 Aug 2008 03:00:12 -0400 (EDT)
• References: <200807310655.CAA07617@smc.vnet.net>

Hi Cca,

On Thu, 31 Jul 2008, Cca wrote:

> Hello,
>
> I=B4m in need of a "neutral" sign for indicating that two Mathematica exp=
ressions are equivalent (in the sense that they have the same value). For t=
his purpose, I recently started using Equilibrium. For example:
>
> expr[[n1,n2]]\[Equilibrium]Part[expr,n1,n2]
>
> Part[expr,n1,n2]\[Equilibrium]Part[Part[expr,n1],n2]
>
> Would anyone like to offer a suggestion for such a sign?
>

How about this?

SetAttributes[equinox, HoldAll]
equinox[e1_, e2_] := FullForm[Hold[e1]] === FullForm[Hold[e2]]
equinox[expr[[n1, n2] ], Part[expr, n1, n2]]
equinox[expr[[n1, n2] ], Part[expr, n1, n3]]

Hth,

Oliver