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

Simplify, Condition, Assuming and SetDelayd

• To: mathgroup at smc.vnet.net
• Subject: [mg52342] Simplify, Condition, Assuming and SetDelayd
• From: alvaro diaz <alvarodiazfalconi at yahoo.com>
• Date: Wed, 24 Nov 2004 02:32:13 -0500 (EST)
• Sender: owner-wri-mathgroup at wolfram.com

I'm write my Norm function with 

... (etc)
DoubleBracketingBar[ z_ ] := Abs[z] /; Element[ z,
Complexes ]; 
DoubleBracketingBar[ v_ ] := Sqrt[v . Conjugate[v]] /;
Element[ v, Vectors ]; 
... (etc)

Then, i'm try to evaluate

FullSimplify[DoubleBracketingBar[ z_ ]  == Abs[z], z
?¸ Complexes]

but do not work. (This is, the answer is not True)

Who can define a function like this that Simplify
recognize the domain of the definition?. Or ... where
are a more complete reference about Assuming works
(i.e.: Assuming do not examine the DownValues of evry
functions that try to simplify?)

Thank you in advance.


=====



		
__________________________________ 
Do you Yahoo!? 
Meet the all-new My Yahoo! - Try it today! 
http://my.yahoo.com