文件名称:semirings:basehaskell-platform 中类型的半环和 *-半环
文件大小:31KB
文件格式:ZIP
更新时间:2024-06-18 13:56:03
Haskell
半环 Haskellers 通常熟悉幺半群和半群。 mappend有一个附加操作<>或mappend和一个标识元素mempty 。 半群有一个 append <> ,但不需要mempty元素。 Semiring 有两个附加操作,“plus”和“times”,以及两个各自的身份元素,“zero”和“one”。 更正式地说,半环 R 是配备有两个二元关系 + 和 * 的集合,使得: (R, +) 是单位元素为 0 的可交换幺半群: (a + b) + c = a + (b + c) 0 + a = a + 0 = a a + b = b + a (R, *) 是单位元素为 1 的幺半群: (a * b) * c = a * (b * c) 1 * a = a * 1 = a 左右乘法分布在加法上 a * (b + c) = (a * b) + (a * c) (a +
【文件预览】:
semirings-master
----.gitignore(89B)
----Setup.hs(46B)
----semirings.cabal(3KB)
----stack.yaml.lock(449B)
----LICENSE(1KB)
----CHANGELOG.md(5KB)
----cabal.project(73B)
----.github()
--------workflows()
----hie.yaml(129B)
----README.md(3KB)
----Data()
--------Euclidean.hs(13KB)
--------Semiring.hs(34KB)
--------Semiring()
--------Star.hs(1KB)
--------Field.hs(2KB)
----cabal.haskell-ci(217B)
----test()
--------Setup.hs(46B)
--------LICENSE(1KB)
--------semirings-tests.cabal(1KB)
--------README.md(193B)
--------main.hs(9KB)
----stack.yaml(2KB)