Sage Reference Manual: Numerical Optimization - Mirrors

Sage Reference Manual: Numerical Optimization, Release 6.1.1
sage: p.add_constraint(p[0] - 2*p[1], min = 1)
sage: p.number_of_variables()
3
sage: p = MixedIntegerLinearProgram(solver="glpk")
sage: p.add_constraint(p[0] - p[2], min = 1, max = 4)
sage: p.number_of_variables()
2
sage: p = MixedIntegerLinearProgram(solver="gurobi")
sage: p.add_constraint(p[0] - p[2], min = 1, max = 4)
sage: p.number_of_variables()
3
# optional - Gurobi
# optional - Gurobi
# optional - Gurobi
polyhedron(**kwds)
Returns the polyhedron defined by the Linear Program.
INPUT:
All arguments given to this method are forwarded to the constructor of the Polyhedron() class.
OUTPUT:
A Polyhedron() object whose i-th variable represents the i-th variable of self.
Warning: The polyhedron is built from the variables stored by the LP solver (i.e. the output
of show()). While they usually match the ones created explicitely when defining the LP, a
solver like Gurobi has been known to introduce additional variables to store constraints of the type
lower_bound