search

linbox-team / linbox

LinBox - C++ library for exact, high-performance linear algebra
https://linbox-team.github.io/linbox
GNU Lesser General Public License v2.1
81 stars 28 forks source link

Move Charpoly's pseudo-Hadamard bound to solutions/hadamard.h #191

Closed ClementPernet closed 5 years ago

ClementPernet commented 5 years ago

cite DumasPernetWan05 Lemma 4.1 and consider better bounds [Goldstein Graham74]