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