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.)