Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
2004
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2004

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

Search the Archive

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 
 


  • 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