MathGroup Archive 2002

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

Search the Archive

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






  • Prev by Date: MathLink under Mac OS X
  • Next by Date: "badmod" solving equations in modular arithmetic
  • Previous by thread: Symbolic Inequality Solving
  • Next by thread: Idempotence