boundlab.polysp.softmax.bounding_error_terms#
- boundlab.polysp.softmax.bounding_error_terms(equations)[source]#
Given a set of equations, return the estimated bound [c - hw, c + hw] for each error term. This is done simply by 1) concretizing highorder terms, 2) Compute intersection of bounds for each equation.
- Returns:
torch.Tensor of shape (equations.error_len,) representing the constant term. hw: torch.Tensor of shape (equations.error_len,) representing the coefficient of the new
- Return type:
c