SolveTools[Inequality]
LinearUnivariateSystem
solve a system of linear inequalities with respect to one variable
Calling Sequence
Parameters
Description
Examples
LinearUnivariateSystem(sys, var)
sys
-
system of inequalities
var
variable name
The LinearUnivariateSystem command solves a system of linear inequalities with respect to one variable.
The LinearUnivariateSystem command returns a set describing the interval of possible values of the variable or a piecewise function of such sets depending on parameters
with⁡SolveToolsInequality:
LinearUnivariateSystem⁡0<x+1,0<2⁢x−1,x
12<x
LinearUnivariateSystem⁡0<x+1,2⁢x−1<0,x
−1<x,x<12
LinearUnivariateSystem⁡x+1<0,2⁢x−1<0,x
x<−1
LinearUnivariateSystem⁡0<2⁢x−1,x+1<0,x
∅
LinearUnivariateSystem⁡0<2⁢x−1,x+a<0,x
12<x,x<−aa<−12∅otherwise
LinearUnivariateSystem⁡0≤2⁢x−b,2⁢x+a≤0,x
x≤−a2,b2≤xa≤−b∅otherwise
LinearUnivariateSystem⁡0≤2⁢x−b,a⁢x+2≤0,x
x≤−2a,b2≤x0<a∧b2≤−2a−2a≤xa<0∧b2<−2ab2≤xa<0∧−2a≤b2∅a=0∅otherwise
LinearUnivariateSystem⁡a⁢x+b<0,0≤c⁢x+d,x
x≤−dc0<a∧c<0∧−dc<−bax<−ba0<a∧c<0∧−ba≤−dc−dc≤x,x<−ba0<a∧0<c∧−dc<−bax<−ba0<a∧c=0∧0≤d∅0<a∧c=0∧d<0x≤−dc,−ba<xa<0∧c<0∧−ba<−dc−dc≤xa<0∧0<c∧−ba<−dc−ba<xa<0∧0<c∧−dc≤−ba−ba<xa<0∧c=0∧0≤d∅a<0∧c=0∧d<0x≤−dca=0∧b<0∧c<0−dc≤xa=0∧b<0∧0<cxa=0∧b<0∧c=0∧0≤d∅a=0∧b<0∧c=0∧d<0∅a=0∧0≤b
See Also
SolveTools
SolveTools[Inequality][LinearMultivariateSystem]
SolveTools[Inequality][LinearUnivariate]
Download Help Document