RE: Symbolic Inequality Solving
- To: mathgroup at smc.vnet.net
 - Subject: [mg37769] RE: [mg37753] Symbolic Inequality Solving
 - From: "David Park" <djmp at earthlink.net>
 - Date: Tue, 12 Nov 2002 03:13:25 -0500 (EST)
 - Sender: owner-wri-mathgroup at wolfram.com
 
Matt,
Use the Standard AddOn package Algebra`InequalitySolve.
Needs["Algebra`InequalitySolve`"]
inequalities = x + y > 1 && x^2 + z^2 <= 5 &&
    z - 2*y < 4;
InequalitySolve[inequalities, {x, y, z}]
x == -Sqrt[5] && y > 1 - x && z == -Sqrt[5 - x^2] ||
  -Sqrt[5] < x < Sqrt[5] && y > 1 - x &&
   -Sqrt[5 - x^2] <= z <= Sqrt[5 - x^2] ||
  x == Sqrt[5] && y > 1 - x && z == -Sqrt[5 - x^2]
David Park
djmp at earthlink.net
http://home.earthlink.net/~djmp/
From: Matt Herman [mailto:Matthew_Herman at brown.edu]
To: mathgroup at smc.vnet.net
Hi,
How can one solve multiple linear and quadratic inequalities (in my case, at
most 3) in multiple variables (in my case, at most 3)?
I am using Mathematica 4.0.
Thanks,
Matt Herman