PolyLib - A library of polyhedral functions
