/math/barvinok/