Gröbner basis project
Codebase for research into Gröbner basis computation
|
approximate skeleton of a polyhedral cone, using GLPK linear solver More...
#include <glpk_solver.hpp>
Public Member Functions | |
Construction | |
GLPK_Solver (NVAR_TYPE n) | |
initializes solver for \( n \) variables | |
GLPK_Solver (const GLPK_Solver &) | |
copy constructor (deep copy) | |
virtual bool | copy (const LP_Solver *) |
performs a deep copy, similar to a copy constructor More... | |
Destruction | |
~GLPK_Solver () | |
Basic properties | |
virtual NVAR_TYPE | get_dimension () const |
Returns the dimension of the underlying vector space. | |
virtual unsigned long | get_number_of_rays () |
Returns the number of rays defining the skeleton. | |
virtual const set< ray > & | get_rays () |
Returns the rays that define the skeleton. | |
virtual unsigned long | get_number_of_constraints () |
Modification | |
virtual bool | solve (constraint &) |
Adds the indicated constraint (singular!) and re-computes the solution. More... | |
virtual bool | solve (vector< constraint > &) |
Adds the indicated constraints (plural!) and re-computes the solution. More... | |
Computation | |
virtual bool | makes_consistent_constraint (const Monomial &t, const Monomial &u, bool show_data=false) |
tests for consistency of a constraint generated by two monomials. | |
Construction | |
Modification | |
Basic properies | |
Returns rays that define a skeleton. When using an approximate solver such as GLPK_Solver, this will give only an approximate skeleton. | |
Computation |
Additional Inherited Members | |
![]() | |
set< ray > | rays |
approximate skeleton of a polyhedral cone, using GLPK linear solver
This class serves as an interface to GLPK [3], which we can use to find an approximate skeleton to a polyhedral cone.
Definition at line 20 of file glpk_solver.hpp.
|
virtual |
performs a deep copy, similar to a copy constructor
Implements LP_Solver.
Definition at line 41 of file glpk_solver.cpp.
|
virtual |
Adds the indicated constraint (singular!) and re-computes the solution.
true
if and only if the new constraint is consistent with the current constraintsfalse
, you have an inconsistent system! While the present cone will remain consistent, the function will not roll back previous changes you have made, so if you want to iterate again, your best bet is to copy the skeleton, and try that copy. Accept the new constraints only if that copy succeeds, in which case, you might as well discard the original, and keep the copy. Implements LP_Solver.
Definition at line 96 of file glpk_solver.cpp.
|
virtual |
Adds the indicated constraints (plural!) and re-computes the solution.
true
if and only if the new constraints are consistent with the current constraintsfalse
, you have an inconsistent system! While the present cone will remain consistent, the function will not roll back previous changes you have made, so if you want to iterate again, your best bet is to copy the skeleton, and try that copy. Accept the new constraints only if that copy succeeds, in which case, you might as well discard the original, and keep the copy. Implements LP_Solver.
Definition at line 65 of file glpk_solver.cpp.