Ask Your Question

Janoš Vidali's profile - activity

2019-07-11 21:37:30 +0100 received badge  Good Question (source)
2019-07-10 15:04:14 +0100 commented answer Generating integral solutions to a system of linear inequalities

What I'm working with is systems of equations with (in most cases) 3^3, 4^3 or 5^3 variables, so this is definitely not low dimension. I've tried with a system for which my method quickly finds all 7 integral solutions, but finding (or even counting) the integral points of the polytope was not feasible.

The second possibility you give is kind of what I'm currently doing - except I'm using recursion (constraining one integral expression in each level), as it is easier to constrain the expressions that are required to be integral than some random linear form which might need to be decreased in very small intervals to eliminate one solution at a time.

2019-07-09 13:56:39 +0100 received badge  Nice Question (source)
2019-07-08 23:05:46 +0100 commented answer Generating integral solutions to a system of linear inequalities

Yes, as I said, I have used MILP in my own solution. I was just interested in whether this is the way to go, or maybe using PALP or cddlib or something else would be more efficient.

2019-07-08 23:00:28 +0100 received badge  Editor (source)
2019-07-08 19:53:33 +0100 received badge  Student (source)
2019-07-08 19:52:33 +0100 asked a question Generating integral solutions to a system of linear inequalities

I was wondering whether there was a straightforward way in Sage to generate all integral solutions of a system of linear inequalities. I have talked to Nicolas Thiéry here at FPSAC/Sage days 103, and he showed me the interface to PALP, but said I should ask here.

I have programmed such a solver myself for the sage-drg package:

https://github.com/jaanos/sage-drg/bl...

It is a solution generator (as opposed to a function returning all solutions) which uses Sage's integer linear programming facilities. It also supports adding conditions on-the-fly and making a copy of the generator.

I was thinking that it would be a nice addition to Sage (Mathematica has FindInstance, which does something similar) - unless something like this already exists. Of course, the interface should be made more user-friendly. I would also like to know if there is a better way of doing such a thing.