
@nicbarkeragain There's some fallback to using rationals in FLINT (Fast Library for Number Theory) in the certification of an LLL lattice basis reduction (which can be used e.g. to factor polynomials over the integers): fredrikj.net/blog/2025/opti…
English











