Services & Resources / Wolfram Forums / MathGroup Archive

MathGroup Archive 2008

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

Search the Archive

Re: MetaMathematica

  • To: mathgroup at
  • Subject: [mg90971] Re: [mg90939] MetaMathematica
  • From: Oliver Ruebenkoenig <ruebenko at>
  • Date: Fri, 1 Aug 2008 03:00:12 -0400 (EDT)
  • References: <>

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]]



  • Prev by Date: Exported PDFs are too big in file size.
  • Next by Date: Re: MetaMathematica
  • Previous by thread: Re: Re: Exported PDFs are too big in file size.
  • Next by thread: Re: MetaMathematica