search

algebraic-solving / msolve

Library for Polynomial System Solving through Algebraic Methods
https://msolve.lip6.fr
GNU General Public License v2.0
90 stars 22 forks source link

Addition of new basis elements in f4 #77

Closed ederc closed 1 year ago

ederc commented 1 year ago

Optimizes the parallel addition of new basis elements in f4:

  1. Sequential moving sht monomials to bht.
  2. Parallel adding new polynomials to basis.

This improves runtime and memory usage particularly for bigger examples and many cores (>16).