DIM = 3



CONE_SECTION
( 1) 1 1 1 
( 2) 0 1 1 
( 3) 0 0 1 

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

VALID
0 0 0 

INEQUALITIES_SECTION
(  1) -x1       <= 0    
(  2)    +x2-x3 <= 0    
(  3) +x1-x2    <= 0    

strong validity table : 
\ P      |     |
 \ O     |     |
I \ I    |     |
 N \ N   | 1   | #
  E \ T  |     |
   Q \ S |     |
    S \  |     |
       \ |     |
-------------------
1        | .** :  2
2        | **. :  2
3        | *.* :  2
          .........
#        | 222

END