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

Components