flintlib / arb

Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
http://arblib.org/
GNU Lesser General Public License v2.1
455 stars 137 forks source link

fix a zeta zeros issue #324

Closed p15-git-acc closed 4 years ago

p15-git-acc commented 4 years ago

Fixes a mistake in the implementation of Platt's algorithm for finding multiple zeta zeros at once. The bug meant that the code was checking a regularity condition that was different than the intended condition. I don't know about the practical impact. It also caused the code to unnecessarily abort in certain circumstances when no results could be found.

fredrik-johansson commented 4 years ago

Nice :-)