The latest version of coya is 0.1.0.1-0.
coya
Version 0.1 revision 0 uploaded by chessai.
Package meta
- Synopsis
- Coya monoids
- Description
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
- Author
- chessai
- Bug reports
- https://github.com/chessai/coya/issues
- Category
- Data, Math
- Copyright
- 2019 chessai
- Homepage
- https://github.com/chessai/coya
- Maintainer
- chessai1996@gmail.com
- Package URL
- n/a
- Stability
- n/a