hi_solver_get_dual_ray: Get the Dual Ray (Farkas Infeasibility Certificate)

View source: R/solver-api.R

hi_solver_get_dual_rayR Documentation

Get the Dual Ray (Farkas Infeasibility Certificate)

Description

For a primal-infeasible LP, returns the dual unbounded ray: a Farkas certificate of primal infeasibility, with one entry per constraint (row).

Usage

hi_solver_get_dual_ray(solver)

Arguments

solver

An object of class "highs_solver".

Details

A dual ray is available only after an LP detected to be **infeasible** and solved by the **simplex** method (the interior-point solver does not produce a ray). Disable presolve, or rely on HiGHS's postsolve, to recover the ray on the original model. Requesting the ray may solve an auxiliary LP.

Value

A list with 'status' (integer, 0 = OK), 'has_dual_ray' (logical), and 'dual_ray' (numeric vector of length 'n_row', or 'NULL' when no ray exists).


highs documentation built on June 8, 2026, 9:06 a.m.