MathGroup Archive 2001

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

Search the Archive

Re: restrictions on parameters

  • To: mathgroup at
  • Subject: [mg31985] Re: restrictions on parameters
  • From: atelesforos at (Orestis Vantzos)
  • Date: Sat, 15 Dec 2001 01:30:02 -0500 (EST)
  • References: <9vcgq9$3js$>
  • Sender: owner-wri-mathgroup at

The problem is that the restrictions are not specified at all!
Evaluating a<0;b>0;... means asking Mathematica whether a is less than
0, b greater than 0, etc. This has absolutely no effect, since
Mathematica knows nothing about a,b,c or d, so it just returns the
The proper way to go around this, is to use the new Experimental`
features of version 4.
which means that the Determinant is indeed negative.
The first eigenvalue is 
1                2                    2
- (a + d - Sqrt[a  + 4 b c - 2 a d + d ])
but the same trick does not work.
If you evaluate:
ImpliesRealQ[{a<0,b>0,c>0,d>0},(a+d)^2 < a^2+4*b*c-2*a*d+d^2]
which is equivalent, you will get True.

  • Prev by Date: Re: Can I clear all vaiables ?
  • Next by Date: Re: Functions with Options
  • Previous by thread: Re: restrictions on parameters
  • Next by thread: Can I clear all vaiables ?