# Matrix-vector representation of a system of linear inequalities

**URL:** https://discourse.julialang.org/t/matrix-vector-representation-of-a-system-of-linear-inequalities/106188
**Category:** General Usage
**Tags:** question, symbolics
**Created:** [November 14, 2023, 8:42am UTC](https://discourse.julialang.org/t/matrix-vector-representation-of-a-system-of-linear-inequalities/106188 "2023-11-14T08:42:31Z")
**Posts on this page:** 1
**Showing post:** 1

<div class="post-metadata">

### Author: ![\_stla](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/_stla/32/35613_2.png) [@\_stla](https://discourse.julialang.org/u/_stla)
#### Post date: [November 14, 2023, 8:42am UTC](https://discourse.julialang.org/t/matrix-vector-representation-of-a-system-of-linear-inequalities/106188/1 "2023-11-14T08:42:31Z")

</div>

Hello,

Consider for example this set of linear inequalities:

![zzzz1](https://global.discourse-cdn.com/julialang/original/3X/1/4/14cd6621c6f8a7d56b606bfa8d28d159e1644b81.png)

It is equivalent to:

![zzzz2](https://global.discourse-cdn.com/julialang/original/3X/9/b/9b156d91c6c4fb089204d01a845c79d23050c726.png)

and this can be represented as `A*[x;y;z] <= b` where the matrix `A` is given by the coefficients of the variables at the LHS and the vector `b` is the one made of the bounds at the RHS.

Is it possible and how to get `A` and `b` from given symbolic inequalities `-5 <= x`, `x <= 4`, etc…?

---

_[View the full topic](https://discourse.julialang.org/t/matrix-vector-representation-of-a-system-of-linear-inequalities/106188)._
