Numeric.Algebra.Unital.UnitNormalForm: exported symbols usage examples

Symbols

  • leadingUnit No usage example found for this symbol :( Collapse [-]
    normalize See 1 Occurences [+] Collapse [-]
    Found in Numeric.Domain.GCD from the package algebra
    {-# LANGUAGE NoImplicitPrelude #-}
    module Numeric.Domain.GCD (GCDDomain(..), gcd') where
    
    import Data.List.NonEmpty
    import Numeric.Domain.Internal(GCDDomain(..))
    import Numeric.Algebra.Unital.UnitNormalForm
    
    gcd' :: GCDDomain r => NonEmpty r -> r
    gcd' (x :| [])    = normalize x
    gcd' (x :| [y])  = gcd x y
    gcd' (x :| y:ys) = gcd x (gcd' (y:|ys))
    

    UnitNormalForm No usage example found for this symbol :( Collapse [-]