Fredholm determinant representation for the partition function of the six-vertex model

The six-vertex model with domain wallboundary conditions is considered. A Fremholm determinant representation for the partition function of the model is ontained. The kernel of the corresponding integral operator depends on Laguerre polynomials.