LinearUnivariateSystem - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Mozilla Firefox.

Online Help

All Products    Maple    MapleSim


SolveTools[Inequality]

  

LinearUnivariateSystem

  

solve a system of linear inequalities with respect to one variable

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

LinearUnivariateSystem(sys, var)

Parameters

sys

-

system of inequalities

var

-

variable name

Description

• 

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

Examples

> 

with⁡SolveToolsInequality:

> 

LinearUnivariateSystem⁡0<x+1&comma;0<2⁢x−1&comma;x

12<x

(1)
> 

LinearUnivariateSystem⁡0<x+1&comma;2⁢x−1<0&comma;x

−1<x&comma;x<12

(2)
> 

LinearUnivariateSystem⁡x+1<0&comma;2⁢x−1<0&comma;x

x<−1

(3)
> 

LinearUnivariateSystem⁡0<2⁢x−1&comma;x+1<0&comma;x

∅

(4)
> 

LinearUnivariateSystem⁡0<2⁢x−1&comma;x+a<0&comma;x

12<x&comma;x<−aa<−12∅otherwise

(5)
> 

LinearUnivariateSystem⁡0≤2⁢x−b&comma;2⁢x+a≤0&comma;x

x≤−a2&comma;b2≤xa≤−b∅otherwise

(6)
> 

LinearUnivariateSystem⁡0≤2⁢x−b&comma;a⁢x+2≤0&comma;x

x≤−2a&comma;b2≤x0<a∧b2≤−2a−2a≤xa<0∧b2<−2ab2≤xa<0∧−2a≤b2∅a=0∅otherwise

(7)
> 

LinearUnivariateSystem⁡a⁢x+b<0&comma;0≤c⁢x+d&comma;x

x≤−dc0<a∧c<0∧−dc<−bax<−ba0<a∧c<0∧−ba≤−dc−dc≤x&comma;x<−ba0<a∧0<c∧−dc<−bax<−ba0<a∧c=0∧0≤d∅0<a∧c=0∧d<0x≤−dc&comma;−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

(8)

See Also

SolveTools

SolveTools[Inequality]

SolveTools[Inequality][LinearMultivariateSystem]

SolveTools[Inequality][LinearUnivariate]