add global namespace to infimum
add knapsack initial implementation