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

Re: how to test if 2 expressions are the same? Mathematica 5.0

• To: mathgroup at smc.vnet.net
• Subject: [mg46145] Re: how to test if 2 expressions are the same? Mathematica 5.0
• From: Harold.Noffke at wpafb.af.mil (Harold Noffke)
• Date: Sat, 7 Feb 2004 23:36:01 -0500 (EST)
• References: <bvt135$oj5$1@smc.vnet.net>
• Sender: owner-wri-mathgroup at wolfram.com

Steve:

After reviewing the postings up to 2004-02-06, a closing example might
help.

	If you use Reduce (modified in 5.0), Mathematica 5.0.1 will tell you
its assumptions if it prints an answer ...
	
	In[1]:= Reduce[ a*Log[x] - Log[x^b] == 0, x, Reals ]
	Out[1]= b==a && x>0 || x==1
	
	In[2]:= Reduce[ a*Log[x] - Log[x^a] == 0, x, Reals ]
	Out[2]= x>0
	
I tried these reductions with Complexes instead of Reals, but Reduce
got hung and I terminated it after 30 minutes with no output.

Regards,
Harold