Learn R Programming

highs (version 1.14.0-2)

hi_solver_get_primal_ray: Get the Primal Ray (Unboundedness Certificate)

Description

For a primal-unbounded LP (i.e. dual-infeasible), returns the primal unbounded ray: a certificate of unboundedness, with one entry per variable (column).

Usage

hi_solver_get_primal_ray(solver)

Value

A list with `status` (integer, 0 = OK), `has_primal_ray` (logical), and `primal_ray` (numeric vector of length `n_col`, or `NULL` when no ray exists).

Arguments

solver

An object of class "highs_solver".

Details

As with the dual ray, this is a simplex-method certificate; requesting it may solve an auxiliary LP.