MathGroup Archive 2004

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

Search the Archive

Simplify, Condition, Assuming and SetDelayd

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! 

  • Prev by Date: Re: UnitStep
  • Next by Date: Mathematica&SuSe 9.2: Inputformulars disabled
  • Previous by thread: Re: Principal Value integral
  • Next by thread: Re: Simplify, Condition, Assuming and SetDelayd