MathGroup Archive 1995

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

Search the Archive

verify equation identity

  • To: mathgroup at
  • Subject: [mg446] verify equation identity
  • From: Xah Y Lee <xyl10060 at>
  • Date: Sun, 5 Feb 1995 16:56:32 -0800 (PST)

Here is a practical problem in mma. I often want to compare if two 
equations are identical, how to do that?

For example, I want to know if eq1 and eq2 are the same equation. Testing 
by numerical methods, or by graphical look-and-see are ok, as long as 
it's relatively easy and correct. (i.e. I don't need a rigorous proof)

eq1 = 3/(-8) Log[1-4 y[x]^2/x] == Log[x] + c

eq2 = (x^2 - 4 y[x]^2)^3 x^2 == c

c is an arbitrary constant.

 Xah Lee          xyl10060 at
 Mountain View, CA

  • Prev by Date: Re: Why not Evaluate arguments to Plot, PlotParametric?
  • Next by Date: precision
  • Previous by thread: Followup on Fourier transforming TIFF images
  • Next by thread: precision