#20351: sage.libs.ppl.MIP_Problem and PPLBackend: Add support for integer 
variables
-------------------------------+------------------------
       Reporter:  mkoeppe      |        Owner:
           Type:  enhancement  |       Status:  new
       Priority:  major        |    Milestone:  sage-7.2
      Component:  numerical    |   Resolution:
       Keywords:  lp           |    Merged in:
        Authors:               |    Reviewers:
Report Upstream:  N/A          |  Work issues:
         Branch:               |       Commit:
   Dependencies:               |     Stopgaps:
-------------------------------+------------------------
Description changed by mkoeppe:

Old description:

> PPL is a rational MIP solver.
> Its support for integer variables should be exposed in Sage.

New description:

 PPL 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 `Variables_Set`.

--

--
Ticket URL: <http://trac.sagemath.org/ticket/20351#comment:3>
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.

Reply via email to