Commit 2021-10-22 15:58 03ba4ccf
View on Github →feat(algebra/floor): Floor semirings (#9592)
A floor semiring is a semiring equipped with a floor
and a ceil
function.
feat(algebra/floor): Floor semirings (#9592)
A floor semiring is a semiring equipped with a floor
and a ceil
function.