Rule for ReducedInequalitySection

<ReducedInequalityKeyword>[:]\n
(<Inequality> \n)*
[<End>]


Rule for ReducedInequalityKeyword

(REDUCED_INEQUALITIES[_SECTION] | REDUCED_INEQUALITY_SECTION | Reduced Inequalities)

Rule for Inequality

(<SignedInteger> (⎵\t)*)^n [<Operator>] (⎵\t)* <SignedInteger>

Note that if the operator is omitted, it defaults to <=. Note that the number of integers on the left hand side has to match the number of columns of your system. Note that any map defined in the MapSection applied to an inequality has to be a valid inequality as well.

Rule for Operator

(<= | >=)

Rule for SignedInteger

[+|i](1-9)[(0-9)]*


---

Examples

DIM=3
Names:
A B C
Inequalities:
0 0 1 >= 0
1 1 0 <= 2
-1 0 0 2
-1 0 0 <= 2

Note that the last two inequalities are equivalent.

---

May be used in

• OuterDescriptionFile

---

Legend

[X]: X is optional.
(X|Y|Z): One of X, Y or Z is present.
(A-E): Any ASCII symbol between symbol A and E.
X*: X may occur any number of times (including zero).