A procedure of facet composition for the symmetric Traveling Salesman Polytope

We present a new procedure of facet composition for the Symmetric Traveling Salesman Polytope (STSP).Using this procedure, we prove that some of the hyperstar inequalities given by Fleischman which were only known to be valid for STSP [3], define facets for STSP. We also generalize ladder inequalities that have been proved facet-inducing inequalities of STSP by Boy, Cunningham, Queyranne and Wang [1].