The answer seems to be yes by
Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior
by Kevin Woods, John Goodrick, and Tristram Bogart. DOI:10.19086/da.1254v2
Thomas Kahle
- 2k
- 15
- 29