# Numeric.Algebra.Class: exported symbols usage examples

## Symbols

• pow1pIntegral No usage example found for this symbol :( Collapse [-]
product1 See 1 Occurences [+] Collapse [-]
Found in Numeric.Algebra from the package algebra
```  , sinnum1pIdempotent
, sinnumIdempotent
, Partitionable(..)
, Monoidal(..)
, sum
, Group(..)

-- * Multiplicative

-- ** multiplicative semigroups
, Multiplicative(..)
, product1
-- ** commutative multiplicative semigroups
, Commutative
-- ** multiplicative monoids
, Unital(..)
, product
```

sinnumIdempotent See 1 Occurences [+] Collapse [-]
Found in Numeric.Algebra from the package algebra
```module Numeric.Algebra
(

, sum1
, Abelian
, Idempotent
, sinnum1pIdempotent
, sinnumIdempotent
, Partitionable(..)
, Monoidal(..)
, sum
```

sum See 2 Occurences [+] Collapse [-]
Found in Numeric.Algebra from the package algebra
```  -- ** additive semigroups
, sum1
, Abelian
, Idempotent
, sinnum1pIdempotent
, sinnumIdempotent
, Partitionable(..)
, Monoidal(..)
, sum
, Group(..)

-- * Multiplicative

```

Found in Numeric.Domain.Euclidean from the package algebra
```      | isZero r' = P.tail acc
| otherwise =
let q         = r `quot` r'
s''       = (s - q * s')
t''       = (t - q * t')
in step ((r - q * r', s'', t'') : acc)
step _ = P.error "cannot happen!"

chineseRemainder :: Euclidean r
=> [(r, r)] -- ^ List of @(m_i, v_i)@
-> r        -- ^ @f@ with @f@ = @v_i@ (mod @v_i@)
chineseRemainder mvs =
let (ms, _) = P.unzip mvs
m = product ms
in sum [((vi*s) `rem` mi)*n | (mi, vi) <- mvs
, let n = m `quot` mi
, let (_, s, _) : _ = euclid n mi
]
```

Algebra No usage example found for this symbol :( Collapse [-]
Coalgebra No usage example found for this symbol :( Collapse [-]
LeftModule No usage example found for this symbol :( Collapse [-]
Module No usage example found for this symbol :( Collapse [-]
Monoidal No usage example found for this symbol :( Collapse [-]
Multiplicative No usage example found for this symbol :( Collapse [-]
RightModule No usage example found for this symbol :( Collapse [-]
Semiring No usage example found for this symbol :( Collapse [-]