Hot-keys on this page
r m x p toggle line displays
j k next/prev highlighted chunk
0 (zero) top of page
1 (one) first highlighted chunk
""" GLPK/exact Backend (simplex method in exact rational arithmetic)
AUTHORS:
- Matthias Koeppe (2016-03) """
############################################################################## # Copyright (C) 2016 Matthias Koeppe # Distributed under the terms of the GNU General Public License (GPL) # The full text of the GPL is available at: # http://www.gnu.org/licenses/ ############################################################################## from __future__ import absolute_import
cdef class GLPKExactBackend(GLPKBackend):
""" MIP Backend that runs the GLPK solver in exact rational simplex mode.
The only access to data is via double-precision floats, however. It reconstructs rationals from doubles and also provides results as doubles.
There is no support for integer variables.
TESTS:
General backend testsuite::
sage: p = MixedIntegerLinearProgram(solver="GLPK/exact") sage: TestSuite(p.get_backend()).run(skip="_test_pickling") """ def __cinit__(self, maximization = True): """ Constructor
EXAMPLES::
sage: p = MixedIntegerLinearProgram(solver="GLPK/exact") """ # inherited __cinit__ is called automatically
cpdef int add_variable(self, lower_bound=0.0, upper_bound=None, binary=False, continuous=False, integer=False, obj=0.0, name=None) except -1: """ Add a variable.
This amounts to adding a new column to the matrix. By default, the variable is both nonnegative and real.
In this backend, variables are always continuous (real). If integer variables are requested via the parameters ``binary`` and ``integer``, an error will be raised.
INPUT:
- ``lower_bound`` - the lower bound of the variable (default: 0)
- ``upper_bound`` - the upper bound of the variable (default: ``None``)
- ``binary`` - ``True`` if the variable is binary (default: ``False``).
- ``continuous`` - ``True`` if the variable is continuous (default: ``True``).
- ``integer`` - ``True`` if the variable is integer (default: ``False``).
- ``obj`` - (optional) coefficient of this variable in the objective function (default: 0.0)
- ``name`` - an optional name for the newly added variable (default: ``None``).
OUTPUT: The index of the newly created variable
EXAMPLES::
sage: from sage.numerical.backends.generic_backend import get_solver sage: p = get_solver(solver = "GLPK/exact") sage: p.ncols() 0 sage: p.add_variable() 0 sage: p.ncols() 1 sage: p.add_variable() 1 sage: p.add_variable(lower_bound=-2.0) 2 sage: p.add_variable(continuous=True) 3 sage: p.add_variable(name='x',obj=1.0) 4 sage: p.objective_coefficient(4) 1.0
TESTS::
sage: p.add_variable(integer=True) Traceback (most recent call last): ... ValueError: GLPK/exact only supports continuous variables sage: p.add_variable(binary=True) Traceback (most recent call last): ... ValueError: GLPK/exact only supports continuous variables """ integer, obj, name)
cpdef int add_variables(self, int number, lower_bound=0.0, upper_bound=None, binary=False, continuous=False, integer=False, obj=0.0, names=None) except -1: """ Add ``number`` variables.
This amounts to adding new columns to the matrix. By default, the variables are both nonnegative and real.
In this backend, variables are always continuous (real). If integer variables are requested via the parameters ``binary`` and ``integer``, an error will be raised.
INPUT:
- ``n`` - the number of new variables (must be > 0)
- ``lower_bound`` - the lower bound of the variable (default: 0)
- ``upper_bound`` - the upper bound of the variable (default: ``None``)
- ``binary`` - ``True`` if the variable is binary (default: ``False``).
- ``continuous`` - ``True`` if the variable is binary (default: ``True``).
- ``integer`` - ``True`` if the variable is binary (default: ``False``).
- ``obj`` - (optional) coefficient of all variables in the objective function (default: 0.0)
- ``names`` - optional list of names (default: ``None``)
OUTPUT: The index of the variable created last.
EXAMPLES::
sage: from sage.numerical.backends.generic_backend import get_solver sage: p = get_solver(solver = "GLPK/exact") sage: p.ncols() 0 sage: p.add_variables(5) 4 sage: p.ncols() 5 sage: p.add_variables(2, lower_bound=-2.0, obj=42.0, names=['a','b']) 6 """ raise ValueError("GLPK/exact only supports continuous variables") integer, obj, names)
cpdef set_variable_type(self, int variable, int vtype): """ Set the type of a variable.
In this backend, variables are always continuous (real). If integer or binary variables are requested via the parameter ``vtype``, an error will be raised.
INPUT:
- ``variable`` (integer) -- the variable's id
- ``vtype`` (integer) :
* 1 Integer * 0 Binary * -1 Real
EXAMPLES::
sage: from sage.numerical.backends.generic_backend import get_solver sage: p = get_solver(solver = "GLPK/exact") sage: p.add_variables(5) 4 sage: p.set_variable_type(3, -1) sage: p.set_variable_type(3, -2) Traceback (most recent call last): ... ValueError: ... """ |