hopsy.round#

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

Rounds the polytope defined by the inequality \(Ax < 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 < b\).

Returns:

The rounded problem.

Return type:

hopsy.Problem