MathGroup Archive 2001

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

Search the Archive

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


  • 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 ?