Mathematica 9 is now available
Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
1995
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 1995

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

Search the Archive

verify equation identity

  • To: mathgroup at christensen.cybernetics.net
  • Subject: [mg446] verify equation identity
  • From: Xah Y Lee <xyl10060 at fhda.edu>
  • 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 tiptoe.fhda.edu
 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