Commit 2023-03-08 18:58 7579f3b0
View on Github →feat: accept rationals in positivity from norm_num (#2103)
See zulip.
Note that tests are few because most operations which are handled by norm_num are also handled by positivity. (More tests can be added when e.g. #1707 lands.)