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