MathGroup Archive 1995

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

Search the Archive

Re: How to solve system of inequalities?

In article <3oker8$jh7 at>, jeff at wrote:
->Hi.  I have a system of linear inequlities specified symbolically.
->I want to test whether they are consistent.
->But if I enter
->	In[2] y<x && x<y
->I get back the unhelpful
->	Out[2] y < x && x < y
->Apparently Mathematica cannot deduce that this is impossible.

I'm pretty sure the *general* question is not effectively computable.
If the specific need is for a chain of simple variables as above and
not more complicated expressions, then this becomes a well-ordering
issue and what *I* would do to solve it would be to use UNIX "tsort",
or if it had to be in Mathematica I'd implement a topological sorting

  • Prev by Date: Searching for 4-vector package
  • Next by Date: Re: Re: finding irregular areas
  • Previous by thread: Re: How to solve system of inequalities?
  • Next by thread: Mma problem on PowerMac