Numeric.Algebra.Unital: exported symbols usage examples

Symbols

  • product See 2 Occurences [+] Collapse [-]
    Found in Numeric.Algebra from the package algebra
      , Monoidal(..)
      , sum
      -- ** additive groups
      , Group(..)
    
      -- * Multiplicative
      
      -- ** multiplicative semigroups
      , Multiplicative(..)
      , product1
      -- ** commutative multiplicative semigroups
      , Commutative
      -- ** multiplicative monoids
      , Unital(..)
      , product
      -- ** idempotent multiplicative semigroups
      , Band
      , pow1pBand
      , powBand
      -- ** multiplicative groups
    

    Found in Numeric.Domain.Euclidean from the package algebra
        step acc@((r',s',t'):(r,s,t):_)
          | 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
                                   ]
    

    Bialgebra No usage example found for this symbol :( Collapse [-]
    CounitalCoalgebra No usage example found for this symbol :( Collapse [-]
    Unital No usage example found for this symbol :( Collapse [-]
    UnitalAlgebra No usage example found for this symbol :( Collapse [-]