# Chvatal function

### From Glossary

This class is defined recursively:

- is a Chvatal function (of rank 0) if it is a linear function.
- If and are Chvatal functions, then is a Chvatal function for any nonnegative and , and its rank is . (Some require and to be rational.)
- If is a Chvatal function of rank , then is a Chvatal function, and its rank is if is not equal to .

This arises in integer linear programming in several ways, see Gomory function.