Rule for ReducedConeSection

<ReducedConeKeyword>[:]\n
(<Ray> \n)*
[<End>]


Rule for ReducedConeKeyword

(REDUCED_CONICAL_HULL[_SECTION] | REDUCED_CONE_SECTION | Reduced Rays)

Rule for Ray

(<SignedInteger> (⎵\t)*)^n

Note that the number of integers n has to match the number of columns of your system. Note that for any map defined in the MapSection applied to a ray, the result has to be a valid ray as well.

Rule for SignedInteger

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


---

Examples

DIM=2
Names:
A B
Maps:
B A
Vertices:
0 0
Reduced Rays:
0 1

This inner description is the non-negative orthant.

---

May be used in

• InnerDescriptionFile

---

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).