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

Basis hash tables #113

Closed ederc closed 9 months ago

ederc commented 9 months ago

This PR fixes the parallel handling of a single globel basis hash table which could have led to segmentation faults during enlargement of the table.