Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Eigensystem ignoring assumptions
Replies: 3   Last Post: Feb 1, 2014 12:51 AM

 Messages: [ Previous | Next ]
 Matthias Bode Posts: 84 Registered: 3/16/05
Re: Eigensystem ignoring assumptions
Posted: Feb 1, 2014 12:49 AM

Hola,

"references to the documentation":

"\$Assumptions is the default setting for the Assumptions option used in such functions as Simplify, Refine, and Integrate."

"Assumptions is an option for functions such as Simplify, Refine, and Integrate that specifies default assumptions to be made about symbolic quantities."

"Assuming[assum,expr] evaluates expr with assum appended to \$Assumptions, so that assum is included in the default assumptions used by functions such as Refine, Simplify, and Integrate."

Apparently Eigensystem[] has, as yet, not come within in the ambit of "functions such as".

Best regards,

MATTHIAS BODE
S 17.36398, W 66.21816,2'590 m. AMSL.
> From: ffcitatos@gmail.com
> Subject: Eigensystem ignoring assumptions
> To: mathgroup@smc.vnet.net
> Date: Thu, 30 Jan 2014 23:04:40 -0500
>
>
> Hi,
>
> I am trying to understand, why Eigensystem is ignoring the assumptions and
> still dividing by something that is explicitly assumed to be zero. This is
> a more extreme counterpart of the b>=0 case. Any comments or references to
> the documentation are appreciated.
>
>
>
>
> In[320]:= Clear["Global`*"]
>
> In[321]:= \$Assumptions = b == 0;
>
> In[322]:= m1 = ({
> {a, b},
> {b, -a}
> });
>
> In[323]:= Eigensystem[m1]
>
> Out[323]= {{-Sqrt[a^2 + b^2], Sqrt[
> a^2 + b^2]}, {{-((-a + Sqrt[a^2 + b^2])/b),
> 1}, {-((-a - Sqrt[a^2 + b^2])/b), 1}}}
>
>

Date Subject Author
2/1/14 Bob Hanlon
2/1/14 Matthias Bode
2/1/14 Itai Seggev