libghc-algebra-doc 2.0.7-1 / usr / share / doc / libghc-algebra-doc / html / mini_Numeric-Algebra.html

This file is indexed.

/usr/share/doc/libghc-algebra-doc/html/mini_Numeric-Algebra.html is in libghc-algebra-doc 2.0.7-1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below. 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Numeric.Algebra</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">Numeric.Algebra</p></div><div id="interface"><h1>Additive
</h1><h2>additive semigroups
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Additive" target="main">Additive</a> r</p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:sum1" target="main">sum1</a></p></div><h2>additive Abelian semigroups
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Abelian" target="main">Abelian</a> r</p></div><h2>additive idempotent semigroups
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Idempotent" target="main">Idempotent</a> r</p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:sinnum1pIdempotent" target="main">sinnum1pIdempotent</a></p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:sinnumIdempotent" target="main">sinnumIdempotent</a></p></div><h2>partitionable additive semigroups
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Partitionable" target="main">Partitionable</a> m</p></div><h2>additive monoids
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Monoidal" target="main">Monoidal</a> m</p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:sum" target="main">sum</a></p></div><h2>additive groups
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Group" target="main">Group</a> r</p></div><h1>Multiplicative
</h1><h2>multiplicative semigroups
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Multiplicative" target="main">Multiplicative</a> r</p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:product1" target="main">product1</a></p></div><h2>commutative multiplicative semigroups
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Commutative" target="main">Commutative</a> r</p></div><h2>multiplicative monoids
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Unital" target="main">Unital</a> r</p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:product" target="main">product</a></p></div><h2>idempotent multiplicative semigroups
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Band" target="main">Band</a> r</p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:pow1pBand" target="main">pow1pBand</a></p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:powBand" target="main">powBand</a></p></div><h2>multiplicative groups
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Division" target="main">Division</a> r</p></div><h2>factorable multiplicative semigroups
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Factorable" target="main">Factorable</a> m</p></div><h2>involutive multiplicative semigroups
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:InvolutiveMultiplication" target="main">InvolutiveMultiplication</a> r</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:TriviallyInvolutive" target="main">TriviallyInvolutive</a> r</p></div><h1>Ring-Structures
</h1><h2>Semirings 
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Semiring" target="main">Semiring</a> r</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:InvolutiveSemiring" target="main">InvolutiveSemiring</a> r</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Dioid" target="main">Dioid</a> r</p></div><h2>Rngs
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Rng" target="main">Rng</a> r</p></div><h2>Rigs
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Rig" target="main">Rig</a> r</p></div><h1>Rings
</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Ring" target="main">Ring</a> r</p></div><h2>Division Rings
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:LocalRing" target="main">LocalRing</a> r</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:DivisionRing" target="main">DivisionRing</a> r</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Field" target="main">Field</a> r</p></div><h1>Modules
</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:LeftModule" target="main">LeftModule</a> r m</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:RightModule" target="main">RightModule</a> r m</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Module" target="main">Module</a> r m</p></div><h1>Algebras
</h1><h2>associative algebras over (non-commutative) semirings 
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Algebra" target="main">Algebra</a> r a</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Coalgebra" target="main">Coalgebra</a> r c</p></div><h2>unital algebras
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:UnitalAlgebra" target="main">UnitalAlgebra</a> r a</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:CounitalCoalgebra" target="main">CounitalCoalgebra</a> r c</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Bialgebra" target="main">Bialgebra</a> r a</p></div><h2>involutive algebras
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:InvolutiveAlgebra" target="main">InvolutiveAlgebra</a> r a</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:InvolutiveCoalgebra" target="main">InvolutiveCoalgebra</a> r c</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:InvolutiveBialgebra" target="main">InvolutiveBialgebra</a> r h</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:TriviallyInvolutiveAlgebra" target="main">TriviallyInvolutiveAlgebra</a> r a</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:TriviallyInvolutiveCoalgebra" target="main">TriviallyInvolutiveCoalgebra</a> r a</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:TriviallyInvolutiveBialgebra" target="main">TriviallyInvolutiveBialgebra</a> r h</p></div><h2>idempotent algebras
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:IdempotentAlgebra" target="main">IdempotentAlgebra</a> r a</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:IdempotentBialgebra" target="main">IdempotentBialgebra</a> r h</p></div><h2>commutative algebras
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:CommutativeAlgebra" target="main">CommutativeAlgebra</a> r a</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:CommutativeBialgebra" target="main">CommutativeBialgebra</a> r h</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:CocommutativeCoalgebra" target="main">CocommutativeCoalgebra</a> r c</p></div><h2>division algebras
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:DivisionAlgebra" target="main">DivisionAlgebra</a> r a</p></div><h2>Hopf alegebras
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:HopfAlgebra" target="main">HopfAlgebra</a> r h</p></div><h1>Ring Properties
</h1><h2>Characteristic
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Characteristic" target="main">Characteristic</a> r</p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:charInt" target="main">charInt</a></p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:charWord" target="main">charWord</a></p></div><h2>Order
</h2><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Order" target="main">Order</a> a</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:OrderedRig" target="main">OrderedRig</a> r</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:AdditiveOrder" target="main">AdditiveOrder</a> r</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:LocallyFiniteOrder" target="main">LocallyFiniteOrder</a> a</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:DecidableZero" target="main">DecidableZero</a> r</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:DecidableUnits" target="main">DecidableUnits</a> r</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:DecidableAssociates" target="main">DecidableAssociates</a> r</p></div><h1>Natural numbers
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Numeric-Algebra.html#t:Natural" target="main">Natural</a> </p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Whole" target="main">Whole</a> n</p></div><h1>Representable Additive
</h1><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:addRep" target="main">addRep</a></p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:sinnum1pRep" target="main">sinnum1pRep</a></p></div><h1>Representable Monoidal
</h1><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:zeroRep" target="main">zeroRep</a></p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:sinnumRep" target="main">sinnumRep</a></p></div><h1>Representable Group
</h1><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:negateRep" target="main">negateRep</a></p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:minusRep" target="main">minusRep</a></p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:subtractRep" target="main">subtractRep</a></p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:timesRep" target="main">timesRep</a></p></div><h1>Representable Multiplicative (via Algebra)
</h1><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:mulRep" target="main">mulRep</a></p></div><h1>Representable Unital (via UnitalAlgebra)
</h1><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:oneRep" target="main">oneRep</a></p></div><h1>Representable Rig (via Algebra)
</h1><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:fromNaturalRep" target="main">fromNaturalRep</a></p></div><h1>Representable Ring (via Algebra)
</h1><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:fromIntegerRep" target="main">fromIntegerRep</a></p></div><h1>Norm
</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-Algebra.html#t:Quadrance" target="main">Quadrance</a> r m</p></div><h1>Covectors
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Numeric-Algebra.html#t:Covector" target="main">Covector</a> r a</p></div><h2>Covectors as linear functionals
</h2><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:counitM" target="main">counitM</a></p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:unitM" target="main">unitM</a></p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:comultM" target="main">comultM</a></p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:multM" target="main">multM</a></p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:invM" target="main">invM</a></p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:coinvM" target="main">coinvM</a></p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:antipodeM" target="main">antipodeM</a></p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:convolveM" target="main">convolveM</a></p></div><div class="top"><p class="src"><a href="Numeric-Algebra.html#v:memoM" target="main">memoM</a></p></div></div></body></html>

APT Browse - Built by Thomas Orozco.