search

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
456 stars 137 forks source link

[Wish] `arf_get_str` #400

Closed Chris00 closed 2 years ago

Chris00 commented 2 years ago

While there is arb_get_str, there is no arf_get_str. It would be nice to have the latter.

fredrik-johansson commented 2 years ago

I agree. The easiest way to implement it would be to wrap arb_get_str (with the ARB_STR_NO_RADIUS flag).

arf_printd, mag_printd and friends should also probably be reimplemented as wrappers around arb_get_str.

fredrik-johansson commented 2 years ago

Added in 915022dc318161ad9cd3f8b3e98c5e37b946b6a3.