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

Merged

fredrik-johansson merged 2 commits intoflintlib:masterfrom postmath:issue408

Mar 25, 2022

Commits on Mar 12, 2022

Positive * pos_inf should be pos_inf, not 0 +- inf. Same for other combinations of signs. This addresses github issue flintlib#408 .
postmath
committed

Commits on Mar 14, 2022

Optimization: LAGOM is finite. Add test.
postmath
committed