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
withSolveToolsInequality:
LinearUnivariateSystem0<x+1,0<2x−1,x
12<x
LinearUnivariateSystem0<x+1,2x−1<0,x
−1<x,x<12
LinearUnivariateSystemx+1<0,2x−1<0,x
x<−1
LinearUnivariateSystem0<2x−1,x+1<0,x
∅
LinearUnivariateSystem0<2x−1,x+a<0,x
12<x,x<−aa<−12∅otherwise
LinearUnivariateSystem0≤2x−b,2x+a≤0,x
x≤−a2,b2≤xa≤−b∅otherwise
LinearUnivariateSystem0≤2x−b,ax+2≤0,x
x≤−2a,b2≤x0<a∧b2≤−2a−2a≤xa<0∧b2<−2ab2≤xa<0∧−2a≤b2∅a=0∅otherwise
LinearUnivariateSystemax+b<0,0≤cx+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