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 additive semigroups
      , Partitionable(..)
      -- ** additive monoids
      , Monoidal(..)
      , sum
      -- ** additive groups
      , 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
      ( 
      -- * Additive
    
      -- ** additive semigroups
        Additive(..)
      , sum1
      -- ** additive Abelian semigroups
      , Abelian
      -- ** additive idempotent semigroups
      , Idempotent
      , sinnum1pIdempotent
      , sinnumIdempotent
      -- ** partitionable additive semigroups
      , Partitionable(..)
      -- ** additive monoids
      , Monoidal(..)
      , sum
    

    sum See 2 Occurences [+] Collapse [-]
    Found in Numeric.Algebra from the package algebra
      -- ** additive semigroups
        Additive(..)
      , sum1
      -- ** additive Abelian semigroups
      , Abelian
      -- ** additive idempotent semigroups
      , Idempotent
      , sinnum1pIdempotent
      , sinnumIdempotent
      -- ** partitionable additive semigroups
      , Partitionable(..)
      -- ** additive monoids
      , Monoidal(..)
      , sum
      -- ** additive groups
      , 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 [-]