poiieq(1) poiieq(1) FORMAT OF '.poi' - FILES The first line contains the dimension of the problem. DIM = dim In general, lines consisting of a capitalized keyword are significant for input recognition. Such keywords can be COMMENT CONV_SECTION CONE_SECTION END and function specific keywords (such as ELIMINATION_ORDER). There is no restriction concerning the order of sections. The keyword COMMENT causes the programs to ignore the text until the next capitalized keyword occurs. Usually the input contains a set of points to be considered. If this is missing (the case of a cone) the origin is assumed to be feasible. The list of points is started by the keyword CONV_SECTION The following lines until the next keyword contain points, each in one seperate row with exactly dim rational values, given by numerator and denominator. A denominator with value 1 can be omitted. A line number in parantheses at the beginning of the line is optional: (ln) num1/den1 num2/den2 ....... numdim/dendim Also the input may contain a set of vectors spanning a convex cone. Such a set starts with the keyword CONE_SECTION The requirements for the vectors are the same as for points. END is needed to terminate the input file. EXAMPLE file 'example.poi': DIM = 3 CONV_SECTION 3 3 0 5/3 1 0 1 5/2 0 CONE_SECTION February 17, 1994 1 poiieq(1) poiieq(1) 0 0 2/3 END FORMAT OF '.ieq' - FILES The first line contains the dimension of the problem. DIM = n In general, lines consisting of a capitalized keyword are signif- icant for input recognition. Such keywords can be COMMENT INEQUALITIES_SECTION END and function specific keywords (such as ELIMINATION_ORDER). There is no restriction concerning the order of sections. The keyword COMMENT causes the programs to ignore the text until the next capitalized keyword occurs. The list of equalities resp. inequalities starts with the keyword INEQUALITIES_SECTION Each equation resp. inequalitiy requires one line. Line numbers in parantheses are optional. The values are rational and have to be given by numerator and (optional) denomi- nator: (ln) num1/den1 xind1 + num2/den2 xind2 .... <= (=>,=,==,=>,<=) numrhs/denrhs e.g.: (2) -x2+3/4x5-3x7 >= 4/5 2x2- x3 = 8 The keyword END is required to end the file. file 'example.ieq': DIM = 5 VALID 3 3 0 2 3 LOWER_BOUNDS 0 1 2 2 2 UPPER_BOUNDS 2 2 2 5 5 ELIMINATION_ORDER February 17, 1994 2 poiieq(1) poiieq(1) 2 0 1 0 3 INEQUALITIES_SECTION ( 1) +27x1-28x2+57x4-37x5 == 0 ( 2) - x4+ x5 == 1 ( 1) + x2 -2x5 <= -3 ( 2) -x3 <= 0 -2x2 + x5 <= 0 -4/15x2-1/15x5 >= -1 END February 17, 1994 3