poiieq(1) poiieq(1) FORMAT OF '.poi' - FILES TThhee ffiirrsstt lliinnee ccoonnttaaiinnss tthhee dimeennssiioonn ooff tthhee pprroobblleemm.. DIM = dim IInn ggeenneerraall,, lliinneess ccoonnssiissttiinngg ooff aa ccaappiittaalliizzeedd kkeeyywwoorrdd aarree significant for input recognition. Such keywords can be COMMENT CONV_SECTION CONE_SECTION END aanndd ffuunnccttiioonn ssppeecciiffiicc kkeeyywwoorrddss ((ssuucchh aass EELLIIMMIINNAATTIIOONN__OORRDDEERR)).. There is no restriction concerning the order of sections. The keyword COMMENT ccaauusseess tthhee pprrooggrraammss ttoo iiggnnoorree tthhee tteexxtt uunnttiill tthhee nneexxtt ccaappiittaalliizzeedd 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 TThhee ffoolllloowwiinngg lliinneess uunnttiill tthhee nneexxtt kkeeyywwoorrdd 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 AAllssoo tthhee iinnppuutt mmaayy ccoonnttaaiinn aa sseett ooff vveeccttoorrss ssppaannnniinngg a convex cone. Such a set starts with the keyword CONE_SECTION TThhee rreeqquuiirreemmeennttss ffoorr tthhee vveeccttoorrss aarree tthhee ssaammee aass ffoorr poinnttss.. END iiss nneeeeddeedd ttoo tteerrmmiinnaattee tthhee iinnppuutt ffiillee.. EEXXAAMMPPLLEE 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 ''..iieq'' -- FILES TThhee ffiirrsstt lliinnee ccoonnttaaiinnss tthhee dimeennssiioonn ooff tthhee pprroobblleemm.. DIM = n IInn ggeenneerraall,, lliinneess ccoonnssiissttiinngg ooff aa ccaappiittaalliizzeedd kkeeyywwoorrdd aarree ssiiggnniiff-- iiccaanntt for input recognition. Such keywords can be COMMENT INEQUALITIES_SECTION END aanndd ffuunnccttiioonn ssppeecciiffiicc kkeeyywwoorrddss ((ssuucchh aass EELLIIMMIINNAATTIIOONN__OORRDDEERR)).. There is no restriction concerning the order of sections. The keyword COMMENT ccaauusseess tthhee pprrooggrraammss ttoo iiggnnoorree tthhee tteexxtt uunnttiill tthhee nneexxtt ccaappiittaalliizzeedd keyword occurs. The list of equalities resp. inequalities starts with the keyword INEQUALITIES_SECTION EEaacchh eeqquuaattiioonn rreesspp.. iinneeqquuaalliittiiyy rreeqquuiirreess oonnee lliinnee.. LLiinnee nnuummbbeerrss 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 TThhee kkeeyywwoorrdd END iiss rreeqquuiirreedd ttoo eenndd tthhee ffiillee.. 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