Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.soft-sys.math.mathematica > #16501

Eigensystem ignoring assumptions

Show all headers | View raw

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}}}

Back to comp.soft-sys.math.mathematica | Previous | Next | Find similar

Thread

Eigensystem ignoring assumptions Abced Def <ffcitatos@gmail.com> - 2014-01-31 03:43 +0000

csiph-web