DIM = 13 CONE_SECTION ( 1) 1 0 0 0 0 0 0 0 0 0 0 0 0 ( 2) 1 -1 0 0 0 0 0 0 0 0 0 0 0 ( 3) 1 0 -1 0 0 0 0 0 0 0 0 0 0 ( 4) 1 0 0 -1 0 0 0 0 0 0 0 0 0 ( 5) 1 -1 0 -1 1 0 0 0 0 0 0 0 0 ( 6) 1 0 0 0 -1 0 0 0 0 0 0 0 0 ( 7) 1 0 0 0 0 -1 0 0 0 0 0 0 0 ( 8) 1 -1 0 0 0 -1 1 0 0 0 0 0 0 ( 9) 1 0 -1 0 0 -1 0 1 0 0 0 0 0 (10) 1 0 0 0 0 0 0 -1 0 0 0 0 0 (11) 1 0 0 0 0 0 0 0 -1 0 0 0 0 (12) 1 -1 0 0 0 0 0 0 -1 1 0 0 0 (13) 1 0 -1 0 0 0 0 0 -1 0 1 0 0 (14) 1 0 0 -1 0 0 0 0 -1 0 0 1 0 (15) 1 -1 0 -1 1 0 0 0 -1 1 0 1 -1 (16) 1 0 0 0 -1 0 0 0 -1 0 0 0 1 (17) 1 0 0 0 0 0 0 0 0 0 0 -1 0 (18) 1 -1 0 0 0 0 0 0 0 0 0 -1 1 (19) 1 0 0 0 -1 0 0 0 0 0 0 -1 1 (20) 1 0 0 0 0 0 0 0 0 0 0 0 -1 (21) 2 -1 0 0 0 0 0 -1 -1 0 0 0 1 (22) 3 -1 -1 -1 1 -1 0 0 -1 0 0 1 0 (23) 3 -2 0 -1 1 -1 1 -1 -1 0 0 1 0 (24) 3 -1 -1 -1 1 0 0 -1 -2 0 1 1 0 COMMENT This is an input file for PORTA. (PORTA reads only the part before "COMMENT".) Above are the l-vectors of some half-Eulerian limit posets. When the PORTA command "traf -v" is run on this file, it produces the output below: the list of inequalities and the strong validity table. _________________________________________________________________________ DIM = 13 VALID 0 0 0 0 0 0 0 0 0 0 0 0 0 INEQUALITIES_SECTION ( 1) +x4 <= 0 ( 2) +x6+x7 <= 0 ( 3) +x4 +x12 <= 0 ( 4) +x4+x5 <= 0 ( 5) +x3 +x11 <= 0 ( 6) +x9 +x11+x12 <= 0 ( 7) +x9+x10+x11 <= 0 ( 8) +x6+x7+x8 <= 0 ( 9) +x3 +x8 +x11 <= 0 ( 10) +x2 +x7 +x10 <= 0 ( 11) +x2 +x5 +x7 <= 0 ( 12) +x9+x10+x11+x12+x13 <= 0 ( 13) +x2 +x5 +x7 +x10 +x13 <= 0 ( 14) +x4+x5+x6+x7+x8 +x12+x13 <= 0 ( 15) +x3+x4+x5 +x8 +x11+x12+x13 <= 0 ( 16) -x7 <= 0 ( 17) -x10 <= 0 ( 18) -x11 <= 0 ( 19) +x4+x5+x6+x7+x8 -x10 +x12 <= 0 ( 20) +x3+x4+x5 +x8 -x10+x11+x12 <= 0 ( 21) +x4+x5+x6 -x10-x11+x12 <= 0 ( 22) +x3+x4+x5 -x7 -x10 +x12 <= 0 ( 23) -x1-x2-x3-x4-x5-x6-x7-x8-x9-x10-x11-x12-x13 <= 0 strong validity table : \ P | | \ O | | I \ I | | N \ N | 1 6 11 16 21 | # E \ T | | Q \ S | | S \ | | \ | | -------------------------------------------- 1 | ***.. ***** ***.. ***** *... : 17 2 | ***** *.*.* ***** ***** *.** : 21 3 | ***.. ***** ***** *...* **** : 19 4 | ***.* .**** ***.* .**.* **** : 19 5 | **.** ***.* ***** ***** *.** : 21 6 | ***** ***** ..*** ....* .*** : 17 7 | ***** ***** .**.* .**** .... : 17 8 | ***** *.**. ***** ***** .... : 18 9 | **.** ****. ***** ***** .... : 18 10 | *.**. ***** ***** **.** .... : 17 11 | *.*** .**** *.*** .*..* .*** : 17 12 | ***** ***** .**** *.**. **** : 21 13 | *.*** .**** ***** ****. **** : 21 14 | ***.* ..**. ***** *.*.. **** : 17 15 | **..* .***. ***** *.*.. **** : 17 16 | ***** **.** ***** ***** **.* : 22 17 | ***** ***** *.**. ***** **** : 22 18 | ***** ***** **.** ***** ***. : 22 19 | ***.* ..**. *.*** ....* .*** : 14 20 | **..* .***. *.*** ....* .*** : 14 21 | ***.* ....* *..** ....* **** : 13 22 | **..* .*..* *..** ....* **** : 13 23 | .**** ***** ***** ***** **** : 23 .................................. # | 22112 11211 21222 11111 1111 | 20840 48097 06001 54539 5677 END