Skip to content

Commit

Permalink
Updated FEATURES.md and comments in Highs.h relating to forming rays
Browse files Browse the repository at this point in the history
  • Loading branch information
jajhall committed Jan 5, 2025
1 parent 6889c0d commit 901def0
Show file tree
Hide file tree
Showing 2 changed files with 17 additions and 8 deletions.
7 changes: 7 additions & 0 deletions FEATURES.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,10 @@
## Build changes

## Code changes

Any LP offset is communicated to the IPM solver, and used in logging and primal/dual objective calculations.

If there is a valid basis when Highs::run() is called, presolve isn't skipped unless the solver option is "simplex" or "choose" (when simplex will always be chosen if there is an advanced basis).

Added basis solve methods to highspy

18 changes: 10 additions & 8 deletions src/Highs.h
Original file line number Diff line number Diff line change
Expand Up @@ -510,29 +510,31 @@ class Highs {
}

/**
* @brief Indicate whether a dual unbounded ray exists, and gets
* it if it does and dual_ray is not nullptr
* @brief Indicate whether a dual unbounded ray exists, and (at the
* expense of solving an LP) gets it if it does not and
* dual_ray_value is not nullptr
*/
HighsStatus getDualRay(bool& has_dual_ray, double* dual_ray_value = nullptr);

/**
* @brief Indicate whether a dual unbounded ray exists, and gets
* it if it does
* @brief Indicate whether a dual unbounded ray exists, and gets it
* if it does
*/
HighsStatus getDualRaySparse(bool& has_dual_ray, HVector& row_ep_buffer);

/**
* @brief Indicate whether a dual unboundedness direction exists,
* and gets it if it does and dual_unboundedness_direction is not
* nullptr
* and (at the expense of solving an LP) gets it if
* dual_unboundedness_direction is not nullptr
*/
HighsStatus getDualUnboundednessDirection(
bool& has_dual_unboundedness_direction,
double* dual_unboundedness_direction_value = nullptr);

/**
* @brief Indicate whether a primal unbounded ray exists, and gets
* it if it does and primal_ray is not nullptr
* @brief Indicate whether a primal unbounded ray exists, and (at
* the expense of solving an LP) gets it if primal_ray is not
* nullptr
*/
HighsStatus getPrimalRay(bool& has_primal_ray,
double* primal_ray_value = nullptr);
Expand Down

0 comments on commit 901def0

Please sign in to comment.