First time here? Check out the FAQ!

Ask Your Question
1

How to solve inequalities with parallel processing?

asked 2 years ago

george26 gravatar image

I have a set of inequalities (around 15) and solve_ineq() function is taking very long to solve it. Are there any other functions which can use multiprocessing to compute them faster?

Preview: (hide)

1 Answer

Sort by » oldest newest most voted
0

answered 2 years ago

tmonteil gravatar image

updated 2 years ago

You can try defining the polytope of the set of points satisfying all inequalities. For this, you can have a look at the Polyhedron constructor as follows:

sage: Polyhedron?

If P is the polyhedron you constructed, you can try to find an element with the .an_element() method.

You can have a look at the backend option for the Polyhedron constructor, there is cdd, normaliz, polymake, ppl, so perhaps one of them implements parallel algorithms (however, it is likely that without parallelism, those backends will be faster than the symbolic solver behind solve_ineq).

Do not hesitate to ask from more details by explaining what you tried so far.

Preview: (hide)
link

Comments

Normaliz does support multithreading.

Max Alekseyev gravatar imageMax Alekseyev ( 2 years ago )

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 2 years ago

Seen: 170 times

Last updated: Sep 18 '22