Commit 2022-08-29 04:56 6de241f9
View on Github →feat(data/rat/nnrat): Nonnegative rationals (#16283)
Define nnrat
, the subtype of nonnegative rational numbers, and show it forms a canonically_linear_ordered_semifield
.
feat(data/rat/nnrat): Nonnegative rationals (#16283)
Define nnrat
, the subtype of nonnegative rational numbers, and show it forms a canonically_linear_ordered_semifield
.