MathGroup Archive: July 2012 [00279]

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

Help with Reduce and ForAll

To: mathgroup at smc.vnet.net
Subject: [mg127362] Help with Reduce and ForAll
From: Adam Clark <gravitonmaker at gmail.com>
Date: Fri, 20 Jul 2012 03:49:52 -0400 (EDT)
Delivered-to: l-mathgroup@mail-archive0.wolfram.com
Delivered-to: mathgroup-newout@smc.vnet.net
Delivered-to: mathgroup-newsend@smc.vnet.net

I have a fairly complicated set of inequalities in 6 variables.  One of the variables is a speed parameter.  I need to know the constraints on the other 5 variables that satisfy the system of inequalities for any value of the speed between +1 and -1.  Is there a way I can use ForAll (or some other command) to have Mathematica do this for me? 

Simply using Reduce on the system of inequalities produces 8 pages of output that frequently uses Root and AlgebraicNumber as part of the output.

Follow-Ups:
- Re: Help with Reduce and ForAll
  - From: Andrzej Kozlowski <akozlowski@gmail.com>

Prev by Date: Re: 3d artifacts

Next by Date: Re: Sending an interrupt to the frontend?

Previous by thread: Re: How to Scale and vary plot for a Differential Equation

Next by thread: Re: Help with Reduce and ForAll