coya
See README for more info
-
- GitHub
- GitLab
- Bitbucket
-
By logging in you accept
our terms of service
and privacy policy
Take some log semiring R. Then, for any two x,y :: R, the following holds: x ^ log y == y ^ log x == e ^ (log x * log y) A Coya monoid is some commutative monoid (R, y = x ^ log y. The following laws hold: e # x = x (Left Identity) x # e = x (Right Identity) (x z == x z) (Associativity) x x (Commutativity) If the R is a poset where all elements in R are greater than one, then R also forms a group: x # (e ^ (1 / log (x))) == x
Homepage Repository Hackage Haskell
cabal install coya
See README for more info
The Tidelift Subscription provides access to a continuously curated stream of human-researched and maintainer-verified data on open source packages and their licenses, releases, vulnerabilities, and development practices.
Learn more →
Something wrong with this page? Make a suggestion
Export .ABOUT file for this package
Last synced: 2019-04-11 18:05:36 UTC
Login to resync this project