Set column names on HiGHS LP model from CVXPY variables. Args: lp: HiGHS LP model (model.lp_) variables: List of CVXPY variables

Sets CPLEX parameters.

The dimensions of the expression.

Returns the shape of the expression.

Shifts [A, B, C, D] to [B, 0, D, 0]. Used to implement left shifts for Packet2l.

Shifts [A, B, C, D] to [0, A, 0, C]. Used to implement right shifts for Packet2l.

Test sign for a given interface.

Returns sign (is positive, is negative) of the expression.

\returns the signed distance between the plane \c *this and a point \a p. * \sa absDistance() */

Compute the size of a given shape by multiplying the sizes of each axis. This is a replacement for np.prod(shape, dtype=int) which is much s

Converts a slice into a string.

min 3 * x[0] + 2 * x[1] + x[2] s.t. norm(x,2) <= y x[0] + x[1] + 3*x[2] >= 1.0 y <= 5

An (unnecessarily) SOCP-based reformulation of LP_1.

* Returns a sparse ROWS x COLS matrix of all ones. * * TODO: This function returns a sparse representation of a dense matrix, * which might not be

Sums the dictionaries entrywise. Parameters ---------- dicts : list A list of dictionaries with numeric entries. Returns

Exponential cone atoms.

Test with SOC.

Returns the threshold that will be used by certain methods such as rank(). * * See the documentation of setThreshold(const RealScalar&).

\returns an expression of P H P^-1 */ TODO implement twists in a more evaluator friendly fashion

Get Lunz

Get Numeric

Return unbounded interval (-inf, inf) for given shape. Parameters ---------- shape : tuple of ints The shape of the bounds arrays

Split complex gradients into real/imag gradients for backward diff. Transforms from outer (original complex) var IDs to inner (real/i

Combine real/imag deltas into complex deltas for forward diff. Transforms from inner (real/imag) var IDs to outer (original complex)

Attributes ---------- A : scipy.sparse.coo_matrix | list[float] | np.ndarray Contains the lower triangular entries of a symmetric

Return a matrix with all 0's.

Use linear and SOC constraints to approximately enforce con.x * log(con.x / con.y) <= con.z. We rely on an SOC characterization of 2

Pack 'void *' into a string buffer. */

Check type equivalence in a name list like <name1>|<name2>|... Return 0 if equal, -1 if nb < tb, 1 if nb > tb */

Check type equivalence in a name list like <name1>|<name2>|... Return 0 if not equal, 1 if equal */

Compare two type names skipping the space characters, therefore "char*" == "char *" and "Class<int>" == "Class<int >", etc. Return 0 when the two

Expression : One expression divided by another.