Half
A linear half-space in the normalized "less-than-or-equal" orientation: the set of points x satisfying a · x <= b. ISC's most-promising-area polytope, the original problem's linear constraints, and the COMPASS halfway hyperplanes are all represented uniformly as half-spaces so that membership tests, redundancy checks, and the RMD sampler can share one representation.
Parameters
a
the coefficient vector, in the problem's input order
b
the right-hand-side bound
Functions
Link copied to clipboard
True if a · x <= b within the supplied tolerance.
Link copied to clipboard
The left-hand side a · x evaluated at x.