Introduce header arb-defs.h

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

457 stars 137 forks source link

Open albinahlback opened 2 years ago

albinahlback commented 2 years ago

The header is meant to include macros, functions and constants used throughout the whole library.

albinahlback commented 2 years ago

This is complete now. Let me know if there is anything to improve.