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

inequalities

• To: mathgroup at smc.vnet.net
• Subject: [mg2465] inequalities
• From: <rizzi at img.fr>
• Date: Sun, 12 Nov 1995 22:27:15 -0500
• Organization: C.I.C.G. , Grenoble

Let expr be an expression which depends on a and b.
How can I check the sign of expr (e.g. positive) when
a and b satisfy some inequality constraints?

Example:  f=(-9 - 23*c4 - 19*c4^2 - 5*c4^3 + 9*nu + 21*c4*nu + 15*c4^2*nu)
Check the sign of f when  -1 < c4 < Infinity and 0<= nu <= 0.5

Thanks in advance,
 Egidio

rizzi at geo2.img.fr