SolveTools[Inequality] - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Factorization and Solving Equations : SolveTools : Inequality : SolveTools/Inequality/LinearMultivariateSystem

SolveTools[Inequality]

  

LinearMultivariateSystem

  

solve a system of linear inequalities with respect to given variables

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

LinearMultivariateSystem(sys, var)

Parameters

sys

-

system of inequalities

var

-

list of variable names

Description

• 

The LinearMultivariateSystem command solves a system of linear inequalities with respect to the given variables.

• 

The LinearMultivariateSystem command returns a region describing the values of the variables or a piecewise function of regions depending on parameters.

• 

A region is a union (set) of subregions, each of which is represented by a list. A subregion is a list of intervals. Each interval is a set of inequalities for each variable to solve for. First interval is an interval for the first variable, possibly depending on parameters, second interval is an interval for the second variable, depending on parameters and the first variable, third interval is an interval for the third variable depending on parameters and the first two variables etc. Note that the order of variables is determined by their order in var.

Examples

withSolveTools[Inequality]:

LinearMultivariateSystemy<x1&comma;1x<y&comma;x&comma;y

1<x&comma;y<x1&comma;1x<y

(1)

LinearMultivariateSystemy<x1&comma;1x<y&comma;y&comma;x

y0&comma;y&plus;1<x&comma;0<y&comma;1&plus;y<x

(2)

LinearMultivariateSystemx1<y&comma;y<1x&comma;3x1<y&comma;x&comma;y

x0&comma;1<x&comma;y<1x&comma;3x1<y&comma;0<x&comma;x<1&comma;y<1x&comma;x1<y

(3)

LinearMultivariateSystemx1<y&comma;y<1x&comma;3x1<y&comma;y&comma;x

y0&comma;1<y&comma;x<1&plus;y&comma;1313y<x&comma;0<y&comma;y<2&comma;x<y&plus;1&comma;1313y<x

(4)

LinearMultivariateSystemx<3&comma;y<3&comma;x<3&comma;y<3&comma;yx<4&comma;y&plus;x<4&comma;xy<4&comma;xy<4&comma;x&comma;y

x&equals;0&comma;3<y&comma;y<3&comma;1x&comma;x<3&comma;y<4x&comma;4&plus;x<y&comma;x1&comma;3<x&comma;y<4&plus;x&comma;4x<y&comma;1<x&comma;x<0&comma;3<y&comma;y<3&comma;0<x&comma;x<1&comma;3<y&comma;y<3

(5)

LinearMultivariateSystemx&plus;y<1&comma;x&comma;y

x&comma;y<1x

(6)

LinearMultivariateSystemx&plus;y&plus;z<1&comma;xy&plus;z<2&comma;y&comma;x&comma;z

y12&comma;x&comma;z<2x&plus;y&comma;12<y&comma;x&comma;z<1yx

(7)

LinearMultivariateSystemx&plus;y&plus;z<1&comma;xy&plus;z<1&comma;x&plus;y&plus;z<1&comma;xy&plus;z<1&comma;0<z&comma;x&comma;y&comma;z

12x&comma;x<1&comma;y<0&comma;x1<y&comma;0<z&comma;z<1x&plus;y&comma;x0&comma;1<x&comma;0y&comma;y<x&plus;1&comma;0<z&comma;z<1&plus;xy&comma;x0&comma;1<x&comma;y<0&comma;1x<y&comma;0<z&comma;z<1&plus;y&plus;x&comma;0<x&comma;x<1&comma;0y&comma;y<1x&comma;0<z&comma;z<1yx&comma;0<x&comma;x<12&comma;yx&comma;x1<y&comma;0<z&comma;z<1x&plus;y&comma;0<x&comma;x<12&comma;y<0&comma;x<y&comma;0<z&comma;z<1x&plus;y

(8)

LinearMultivariateSystemy<1x&comma;ax&plus;y<1&comma;x&comma;y

&lcub;0x&comma;y<ax&plus;1&comma;x<0&comma;y<1x1<ax0&comma;y<ax&plus;1&comma;0<x&comma;y<1xa<1x&comma;y<1xa&equals;1

(9)

See Also

SolveTools

SolveTools[Inequality][LinearUnivariate]

SolveTools[Inequality][LinearUnivariateSystem]

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam