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

Positive * pos_inf should be pos_inf, not 0 +- inf. Same for other combinations of signs. #409

Closed postmath closed 2 years ago

postmath commented 2 years ago

This addresses github issue #408.

fredrik-johansson commented 2 years ago

Thanks! Just two changes:

postmath commented 2 years ago

Thanks for the review.

fredrik-johansson commented 2 years ago

Looks great. Thanks!