DIM = 8

CONE_SECTION
( 1) 1  0  0  0  0  0  0  0 
( 2) 1 -1  0  0  0  0  0  0 
( 3) 1  0 -1  0  0  0  0  0 
( 4) 1  0  0 -1  0  0  0  0 
( 5) 1 -1  0 -1  1  0  0  0 
( 6) 1  0  0  0 -1  0  0  0 
( 7) 1  0  0  0  0 -1  0  0 
( 8) 1 -1  0  0  0 -1  1  0 
( 9) 1  0 -1  0  0 -1  0  1 
(10) 1  0  0  0  0  0  0 -1 

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 = 8

VALID
0 0 0 0 0 0 0 0 

INEQUALITIES_SECTION
(  1)          +x4             <= 0    
(  2)       +x3                <= 0    
(  3)                +x6+x7    <= 0    
(  4)          +x4+x5          <= 0    
(  5)       +x3            +x8 <= 0    
(  6)    +x2            +x7    <= 0    
(  7)                +x6+x7+x8 <= 0    
(  8)    +x2      +x5   +x7    <= 0    
(  9)                   -x7    <= 0    
( 10) -x1-x2-x3-x4-x5-x6-x7-x8 <= 0    


strong validity table : 
\ P      |             |
 \ O     |             |
I \ I    |             |
 N \ N   | 1     6     | #
  E \ T  |             |
   Q \ S |             |
    S \  |             |
       \ |             |
---------------------------
1        | ***.. ***** :  8
2        | **.** ***.* :  8
3        | ***** *.*.* :  8
4        | ***.* .**** :  8
5        | **.** ****. :  8
6        | *.**. ***** :  8
7        | ***** *.**. :  8
8        | *.*** .**** :  8
9        | ***** **.** :  9
10       | .**** ***** :  9
          .................
#        | 98888 88988 

END