coya: Coya monoids

[ bsd3, data, library, math ] [ Propose Tags ]

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

[Skip to Readme]


[Index] [Quick Jump]


Maintainer's Corner

For package maintainers and hackage trustees


Versions [RSS] 0.1,
Change log
Dependencies base (>=4.10.1 && <5), groups (>=0.4), primitive (>=0.6.4), refined (>=0.3), semirings (>=0.3) [details]
License BSD-3-Clause
Copyright 2019 chessai
Author chessai
Category Data, Math
Home page
Bug tracker
Source repo head: git clone
Uploaded by chessai at 2020-07-09T05:00:08Z
Distributions NixOS:
Downloads 514 total (1 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2020-07-09 [all 1 reports]

Readme for coya-

[back to package description]


Hackage BSD3 license

See README for more info