flintlib / flint

FLINT (Fast Library for Number Theory)
http://www.flintlib.org
GNU Lesser General Public License v3.0
401 stars 235 forks source link

Final header reduction #1989

Closed albinahlback closed 1 month ago

albinahlback commented 1 month ago

I believe this is the final header reduction PR that I will make. The compile time per file has been reduced quite a lot over time and there is not much more that can be done without actually splitting headers (such as a specialized header for arb memory management etc., which of course poses a lot of problems). Some minor work can still be pursued, but the effect will be minimal, such as with this one. For instance, one could remove gmp.h inclusion from arf.h, but that yields a minimal effect on the compile time.

I think I'm satisfied with this, and I will continue with trying to templatize and optimize tests.

fredrik-johansson commented 1 month ago

Looks good!