hopsy.round#

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

Rounds the polytope defined by the inequality Axb 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 Axb.

Returns:

The rounded problem.

Return type:

hopsy.Problem