documentation:polytope:linearprogram