#20351: sage.libs.ppl.MIP_Problem: Add support for integer variables
-------------------------------------+-------------------------------------
Reporter: mkoeppe | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-7.2
Component: numerical | Resolution:
Keywords: lp | Merged in:
Authors: Matthias Koeppe | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/mkoeppe/sage_libs_ppl_mip_problem_and_pplbackend__add_support_for_integer_variables|
9f35b65ae443d565bcf53319fc57751baf640fc8
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Description changed by mkoeppe:
Old description:
> PPL's solver is a rational *MIP* solver.
> Its support for integer variables should be exposed in Sage.
>
> Reference: http://bugseng.com/products/ppl/documentation/user/ppl-
> user-1.2-html/classParma__Polyhedra__Library_1_1MIP__Problem.html
>
> For `sage.libs.ppl.MIP_Problem`, I think one just needs to add a wrapper
> for this method:
> {{{
> void
> Parma_Polyhedra_Library::MIP_Problem::add_to_integer_space_dimensions(const
> Variables_Set &i_vars)
> }}}
> and then a wrapper class for
> [http://bugseng.com/products/ppl/documentation/user/ppl-
> user-1.2-html/classParma__Polyhedra__Library_1_1Variables__Set.html
> `Variables_Set`].
>
> On another ticket, PPLBackend will be updated accordingly.
New description:
PPL's solver is a rational *MIP* solver.
Its support for integer variables should be exposed in Sage.
Reference: http://bugseng.com/products/ppl/documentation/user/ppl-
user-1.2-html/classParma__Polyhedra__Library_1_1MIP__Problem.html
For `sage.libs.ppl.MIP_Problem`, I think one just needs to add a wrapper
for this method:
{{{
void
Parma_Polyhedra_Library::MIP_Problem::add_to_integer_space_dimensions(const
Variables_Set &i_vars)
}}}
and then a wrapper class for
[http://bugseng.com/products/ppl/documentation/user/ppl-
user-1.2-html/classParma__Polyhedra__Library_1_1Variables__Set.html
`Variables_Set`].
On another ticket (#20354), `PPLBackend` will be updated accordingly.
--
--
Ticket URL: <http://trac.sagemath.org/ticket/20351#comment:9>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
