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