arithmetic-1.1: Natural number arithmetic

LicenseMIT
MaintainerJoe Leslie-Hurd <[email protected]>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

Arithmetic.Smooth

Description

 

Documentation

factorOut :: Natural -> Natural -> Maybe (Natural, Natural) Source

factorList :: [Natural] -> Natural -> ([(Natural, Natural)], Natural) Source

factorBase :: Natural -> Natural -> ([(Natural, Natural)], Natural) Source

multiplyBase :: ([(Natural, Natural)], Natural) -> Natural Source

newtype Smooth Source

Constructors

Smooth 

Fields

unSmooth :: ([(Natural, Natural)], Natural)
 

Instances

fromNatural :: Natural -> Natural -> Smooth Source

toNatural :: Smooth -> Natural Source

factoring :: Smooth -> Maybe [(Natural, Natural)] Source

next :: Natural -> Natural -> Smooth Source