Skip to content
This repository was archived by the owner on Jul 24, 2024. It is now read-only.

Commit 03ba4cc

Browse files
committed
feat(algebra/floor): Floor semirings (#9592)
A floor semiring is a semiring equipped with a `floor` and a `ceil` function.
1 parent bee8d4a commit 03ba4cc

File tree

3 files changed

+227
-171
lines changed

3 files changed

+227
-171
lines changed

0 commit comments

Comments
 (0)