Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Added option for getting Lhs, Rhs of nonlinear constraints #935

Draft
wants to merge 3 commits into
base: master
Choose a base branch
from
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@

## Unreleased
### Added
- Added option to get Lhs, Rhs of nonlinear constraints
- Added transformed option to getVarDict, updated test
- Added categorical data example
- Added printProblem to print problem to stdout
- Added stage checks to presolve, freereoptsolve, freetransform
Expand Down
29 changes: 17 additions & 12 deletions src/pyscipopt/scip.pxi
Original file line number Diff line number Diff line change
Expand Up @@ -272,7 +272,7 @@
if rc == SCIP_OKAY:
pass
elif rc == SCIP_ERROR:
raise Exception('SCIP: unspecified error!')

Check failure on line 275 in src/pyscipopt/scip.pxi

View workflow job for this annotation

GitHub Actions / test-coverage (3.11)

SCIP: unspecified error!

Check failure on line 275 in src/pyscipopt/scip.pxi

View workflow job for this annotation

GitHub Actions / Integration-test (3.8)

SCIP: unspecified error!

Check failure on line 275 in src/pyscipopt/scip.pxi

View workflow job for this annotation

GitHub Actions / Windows-test (3.8)

SCIP: unspecified error!

Check failure on line 275 in src/pyscipopt/scip.pxi

View workflow job for this annotation

GitHub Actions / Integration-test (3.9)

SCIP: unspecified error!

Check failure on line 275 in src/pyscipopt/scip.pxi

View workflow job for this annotation

GitHub Actions / Windows-test (3.9)

SCIP: unspecified error!

Check failure on line 275 in src/pyscipopt/scip.pxi

View workflow job for this annotation

GitHub Actions / Integration-test (3.10)

SCIP: unspecified error!

Check failure on line 275 in src/pyscipopt/scip.pxi

View workflow job for this annotation

GitHub Actions / Windows-test (3.10)

SCIP: unspecified error!

Check failure on line 275 in src/pyscipopt/scip.pxi

View workflow job for this annotation

GitHub Actions / Integration-test (3.11)

SCIP: unspecified error!

Check failure on line 275 in src/pyscipopt/scip.pxi

View workflow job for this annotation

GitHub Actions / Integration-test (3.12)

SCIP: unspecified error!

Check failure on line 275 in src/pyscipopt/scip.pxi

View workflow job for this annotation

GitHub Actions / Windows-test (3.11)

SCIP: unspecified error!

Check failure on line 275 in src/pyscipopt/scip.pxi

View workflow job for this annotation

GitHub Actions / Windows-test (3.12)

SCIP: unspecified error!
elif rc == SCIP_NOMEMORY:
raise MemoryError('SCIP: insufficient memory error!')
elif rc == SCIP_READERROR:
Expand Down Expand Up @@ -3458,17 +3458,22 @@
"""
return SCIPgetNContVars(self._scip)

def getVarDict(self):
def getVarDict(self, transformed=False):
"""
Gets dictionary with variables names as keys and current variable values as items.

Parameters
----------
transformed : bool, optional
Get transformed variables instead of original (Default value = False)

Returns
-------
dict of str to float

"""
var_dict = {}
for var in self.getVars():
for var in self.getVars(transformed=transformed):
var_dict[var.name] = self.getVal(var)
return var_dict

Expand Down Expand Up @@ -4260,7 +4265,7 @@
if len(v) == 1: # linear
var = <Variable>v[0]
PY_SCIP_CALL(SCIPaddLinearVarNonlinear(self._scip, scip_cons, var.scip_var, c))
else: # quadratic
else: # nonlinear
assert len(v) == 2, 'term length must be 1 or 2 but it is %s' % len(v)

varexprs = <SCIP_EXPR**> malloc(2 * sizeof(SCIP_EXPR*))
Expand Down Expand Up @@ -4619,7 +4624,7 @@
enforce=True, check=True, propagate=True, local=False,
modifiable=False, dynamic=False, removable=False,
stickingatnode=False):
"""Adds multiple linear or quadratic constraints.
"""Adds multiple constraints.

Each of the constraints is added to the model using Model.addCons().

Expand Down Expand Up @@ -5573,7 +5578,7 @@
Parameters
----------
cons : Constraint
linear or quadratic constraint
constraint to change the right-hand side from
rhs : float or None
new right-hand side (set to None for +infinity)

Expand All @@ -5597,7 +5602,7 @@
Parameters
----------
cons : Constraint
linear or quadratic constraint
constraint to change the left-hand side from
lhs : float or None
new left-hand side (set to None for -infinity)

Expand All @@ -5621,7 +5626,7 @@
Parameters
----------
cons : Constraint
linear or quadratic constraint
constraint to get the right-hand side from

Returns
-------
Expand All @@ -5631,7 +5636,7 @@
constype = bytes(SCIPconshdlrGetName(SCIPconsGetHdlr(cons.scip_cons))).decode('UTF-8')
if constype == 'linear':
return SCIPgetRhsLinear(self._scip, cons.scip_cons)
elif constype == 'quadratic':
elif constype == 'nonlinear':
return SCIPgetRhsNonlinear(cons.scip_cons)
else:
raise Warning("method cannot be called for constraints of type " + constype)
Expand All @@ -5643,7 +5648,7 @@
Parameters
----------
cons : Constraint
linear or quadratic constraint
linear or nonlinear constraint

Returns
-------
Expand All @@ -5653,7 +5658,7 @@
constype = bytes(SCIPconshdlrGetName(SCIPconsGetHdlr(cons.scip_cons))).decode('UTF-8')
if constype == 'linear':
return SCIPgetLhsLinear(self._scip, cons.scip_cons)
elif constype == 'quadratic':
elif constype == 'nonlinear':
return SCIPgetLhsNonlinear(cons.scip_cons)
else:
raise Warning("method cannot be called for constraints of type " + constype)
Expand Down Expand Up @@ -5719,7 +5724,7 @@
Parameters
----------
cons : Constraint
linear or quadratic constraint
linear constraint
sol : Solution or None, optional
solution to compute activity of, None to use current node's solution (Default value = None)

Expand Down Expand Up @@ -5756,7 +5761,7 @@
Parameters
----------
cons : Constraint
linear or quadratic constraint
linear constraint
sol : Solution or None, optional
solution to compute slack of, None to use current node's solution (Default value = None)
side : str or None, optional
Expand Down
11 changes: 9 additions & 2 deletions tests/test_model.py
Original file line number Diff line number Diff line change
Expand Up @@ -244,14 +244,21 @@ def test_getVarsDict():
x = {}
for i in range(5):
x[i] = model.addVar(lb = -i, ub = i, vtype="C")
for i in range(10,15):
for i in range(5,10):
x[i] = model.addVar(lb = -i, ub = i, vtype="I")
for i in range(20,25):
for i in range(10,15):
x[i] = model.addVar(vtype="B")

model.addConsIndicator(x[0] <= 4, x[10])

model.setPresolve(0)
model.hideOutput()
model.optimize()
var_dict = model.getVarDict()
var_dict_transformed = model.getVarDict(transformed=True)
assert len(var_dict) == model.getNVars(transformed=False)
assert len(var_dict_transformed) == model.getNVars(transformed=True)

for v in x.values():
assert v.name in var_dict
assert model.getVal(v) == var_dict[v.name]
Expand Down
11 changes: 11 additions & 0 deletions tests/test_nonlinear.py
Original file line number Diff line number Diff line change
Expand Up @@ -305,3 +305,14 @@ def test_addExprNonLinear():
assert m.getNSols() > 0
assert m.isEQ(m.getVal(y), 2)
assert m.isEQ(m.getVal(z), 27)

def test_nonlinear_lhs_rhs():
from helpers.utils import random_nlp_1

m = random_nlp_1()
c = m.getConss()

m.hideOutput()
m.optimize()
assert m.isInfinity(-m.getLhs(c[0]))
assert m.isEQ(m.getRhs(c[0]), 5)
Loading