DIM = 13 CONE_SECTION ( 1) 1 1 1 1 1 1 1 1 1 1 1 1 1 ( 2) 0 1 1 0 1 0 1 1 0 1 1 0 1 ( 3) 0 0 1 1 1 0 0 1 0 0 1 1 1 ( 4) 0 0 0 1 1 1 1 1 0 0 0 1 1 ( 5) 0 0 0 0 1 0 1 1 0 0 0 0 1 ( 6) 0 1 1 1 1 1 1 1 0 1 1 1 1 ( 7) 0 0 0 0 0 1 1 1 1 1 1 1 1 ( 8) 0 0 0 0 0 0 1 1 0 1 1 0 1 ( 9) 0 0 0 0 0 0 0 1 0 0 1 1 1 (10) 0 0 1 1 1 1 1 1 1 1 1 1 1 (11) 0 0 0 0 0 0 0 0 1 1 1 1 1 (12) 0 0 0 0 0 0 0 0 0 1 1 0 1 (13) 0 0 0 0 0 0 0 0 0 0 1 1 1 (14) 0 0 0 0 0 0 0 0 0 0 0 1 1 (15) 0 0 0 0 0 0 0 0 0 0 0 0 1 (16) 0 0 0 0 0 0 0 0 0 1 1 1 1 (17) 0 0 0 1 1 1 1 1 1 1 1 1 1 (18) 0 0 0 0 1 0 1 1 0 1 1 0 1 (19) 0 0 0 1 1 1 1 1 0 1 1 1 1 (20) 0 1 1 1 1 1 1 1 1 1 1 1 1 (21) 0 0 1 0 1 0 1 1 1 2 2 1 2 (22) 0 0 1 0 1 0 1 2 1 1 2 2 3 (23) 0 0 1 0 1 0 1 1 1 1 2 2 3 (24) 0 0 1 0 1 0 2 2 1 2 2 1 3 COMMENT This is an input file for PORTA. (PORTA reads only the part before "COMMENT".) Above are the sparse f-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) -x1 <= 0 ( 2) +x11 -x13 <= 0 ( 3) +x7-x8 <= 0 ( 4) +x4-x5 <= 0 ( 5) +x3 -x5 <= 0 ( 6) +x2-x3 <= 0 ( 7) +x1-x2 <= 0 ( 8) +x1 -x4 <= 0 ( 9) +x1 - x6 <= 0 ( 10) -x4+x5+ x6-x7 <= 0 ( 11) - x6+x7 +x12-x13 <= 0 ( 12) -x7+x8 +x10-x11 <= 0 ( 13) +x9-x10+x11-x12 <= 0 ( 14) + x6 -x10+x11-x12 <= 0 ( 15) +x4 - x6+x7-x8 <= 0 ( 16) +x3-x4 +x9 -x11 <= 0 ( 17) +x3 -x5 +x7 -x10 <= 0 ( 18) +x3 - x6 +x9 -x11 <= 0 ( 19) +x2-x3+x4 - x6 <= 0 ( 20) +x4-x5- x6+x7 +x9-x10 <= 0 ( 21) +x2 -x5- x6+x7 +x9-x10 <= 0 ( 22) +x1-x2+x3-x4 + x6 -x9 <= 0 ( 23) +x2 +x4-x5-2x6+x7 +x9-x10 <= 0 strong validity table : \ P | | \ O | | I \ I | | N \ N | 1 6 11 16 21 | # E \ T | | Q \ S | | S \ | | \ | | -------------------------------------------- 1 | .**** ***** ***** ***** **** : 23 2 | ***.. ***** ***.. ***** *... : 17 3 | **.** ***.* ***** ***** *.** : 21 4 | *.**. ***** ***** **.** .... : 17 5 | ***.. ***** ***** *...* **** : 19 6 | **.** ****. ***** ***** .... : 18 7 | *.*** .**** ***** ****. **** : 21 8 | **..* .***. ***** *.*.. **** : 17 9 | ***.* ..**. ***** *.*.. **** : 17 10 | ***** **.** ***** ***** ***. : 22 11 | ***** ***** *.**. ***** **** : 22 12 | ***** ***** **.** ***** **.* : 22 13 | ***.* .**** ***.* .**.* **** : 19 14 | ***** ***** .**.* .**** .... : 17 15 | ***** *.*.* ***** ***** *.** : 21 16 | **..* .*..* *..** ....* **** : 13 17 | ***** ***** ..*** ....* .*** : 17 18 | ***.* ....* *..** ....* **** : 13 19 | ***** *.**. ***** ***** .... : 18 20 | *.*** .**** *.*** .*..* .*** : 17 21 | **..* .***. *.*** ....* .*** : 14 22 | ***** ***** .**** *.**. **** : 21 23 | ***.* ..**. *.*** ....* .*** : 14 .................................. # | 22112 11211 21222 11111 1111 | 20840 48097 06001 54539 5677 END