MathGroup Archive 2004

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

Search the Archive

Simplify, Condition, Assuming and SetDelayd

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

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