Opened 6 years ago
Last modified 6 years ago
#20351 closed enhancement
sage.libs.ppl.MIP_Problem: Add support for integer variables — at Version 9
Reported by:  mkoeppe  Owned by:  

Priority:  major  Milestone:  sage7.2 
Component:  numerical  Keywords:  lp 
Cc:  dimpase, vdelecroix, jdemeyer  Merged in:  
Authors:  Matthias Koeppe  Reviewers:  
Report Upstream:  N/A  Work issues:  
Branch:  u/mkoeppe/sage_libs_ppl_mip_problem_and_pplbackend__add_support_for_integer_variables (Commits, GitHub, GitLab)  Commit:  9f35b65ae443d565bcf53319fc57751baf640fc8 
Dependencies:  Stopgaps: 
Description (last modified by )
PPL's solver is a rational *MIP* solver. Its support for integer variables should be exposed in Sage.
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`.
On another ticket (#20354), PPLBackend
will be updated accordingly.
Change History (9)
comment:1 Changed 6 years ago by
 Cc dimpase vdelecroix jdemeyer added
comment:2 followup: ↓ 5 Changed 6 years ago by
comment:3 Changed 6 years ago by
 Description modified (diff)
comment:4 Changed 6 years ago by
 Description modified (diff)
comment:5 in reply to: ↑ 2 Changed 6 years ago by
Replying to dimpase:
Good catch! I wish I knew this when I still had the student, who wrote the Cython bindings for the ppl LP, around. (He is now at Facebook...)
I'll write it if you review my other tickets ;)
comment:6 Changed 6 years ago by
 Branch set to u/mkoeppe/sage_libs_ppl_mip_problem_and_pplbackend__add_support_for_integer_variables
comment:7 Changed 6 years ago by
 Commit set to 9f35b65ae443d565bcf53319fc57751baf640fc8
Branch pushed to git repo; I updated commit sha1. New commits:
9f35b65  Wrap MIP_Problem.add_to_integer_space_dimensions

comment:8 Changed 6 years ago by
 Description modified (diff)
 Status changed from new to needs_review
 Summary changed from sage.libs.ppl.MIP_Problem and PPLBackend: Add support for integer variables to sage.libs.ppl.MIP_Problem: Add support for integer variables
comment:9 Changed 6 years ago by
 Description modified (diff)
Note: See
TracTickets for help on using
tickets.
Good catch! I wish I knew this when I still had the student, who wrote the Cython bindings for the ppl LP, around. (He is now at Facebook...)