Rule for ReducedConvSection

<ReducedConvKeyword>[:]\n
(<Vertex> \n)*
[<End>]


Rule for ReducedConvKeyword

(REDUCED_CONVEX_HULL[_SECTION] | REDUCED_CONV_SECTION | Reduced Vertices)

Rule for Vertex

(<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 vertex, the result has to be a valid vertex as well.

Rule for SignedInteger

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


---

Examples

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

This inner description is a square.

---

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