Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : coya
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, #), where x # y = x ^ log y. The following laws hold: e # x = x (Left Identity) x # e = x (Right Identity) (x # y) # z == x # (y # z) (Associativity) x # y == y # 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
Registry
-
Source
- JSON
purl: pkg:hackage/coya
Keywords: bsd3, data, library, math
License: BSD-3-Clause
Latest release: almost 4 years ago
First release: about 5 years ago
Downloads: 633 total
Stars: 1 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 5 days ago