hopsy.round#

class hopsy.round(problem: Problem, simplify=True)#

Rounds the polytope defined by the inequality \(Ax \leq b\) using PolyRound. This function also strips redundant constraints. The unrounding transformation \(T\) and shift \(s\) will be stored in hopsy.UniformProblem.transformation and hopsy.UniformProblem.shift of the returned problem. Its left-hand side operator hopsy.UniformProblem.A and the right-hand side hopsy.UniformProblem.b of the polytope will be transformed as :math:`` inequality

Parameters:

problem (hopsy.Problem) – Problem that should be rounded and which contains the matrix \(A\) and vector \(b\) in \(Ax \leq b\).

Returns:

The rounded problem.

Return type:

hopsy.Problem