Re: restrictions on parameters
- To: mathgroup at smc.vnet.net
- Subject: [mg31985] Re: restrictions on parameters
- From: atelesforos at hotmail.com (Orestis Vantzos)
- Date: Sat, 15 Dec 2001 01:30:02 -0500 (EST)
- References: <9vcgq9$3js$1@smc.vnet.net>
- Sender: owner-wri-mathgroup at wolfram.com
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
inequalities.
The proper way to go around this, is to use the new Experimental`
features of version 4.
So:
<<Experimental`
ImpliesRealQ[{a<0,b>0,c>0,d>0},-b*c+a*d<0]
True
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 ])
2
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.
Orestis