Ruprecht-Karls-Universität Heidelberg




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


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


Last update: Jun 05 15:00 2015 (SL)
comopt{at}informatik.uni-heidelberg.de

Valid HTML 4.01 Transitional

optWay
Links