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: sage-7.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:

Status badges

Description (last modified by mkoeppe)

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

On another ticket (#20354), PPLBackend will be updated accordingly.

Change History (9)

comment:1 Changed 6 years ago by mkoeppe

  • Cc dimpase vdelecroix jdemeyer added

comment:2 follow-up: Changed 6 years ago by 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...)

comment:3 Changed 6 years ago by mkoeppe

  • Description modified (diff)

comment:4 Changed 6 years ago by mkoeppe

  • Description modified (diff)

comment:5 in reply to: ↑ 2 Changed 6 years ago by mkoeppe

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 mkoeppe

  • Branch set to u/mkoeppe/sage_libs_ppl_mip_problem_and_pplbackend__add_support_for_integer_variables

comment:7 Changed 6 years ago by git

  • Commit set to 9f35b65ae443d565bcf53319fc57751baf640fc8

Branch pushed to git repo; I updated commit sha1. New commits:

9f35b65Wrap MIP_Problem.add_to_integer_space_dimensions

comment:8 Changed 6 years ago by mkoeppe

  • Authors set to Matthias Koeppe
  • 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 mkoeppe

  • Description modified (diff)
Note: See TracTickets for help on using tickets.