opentheory-divides-1.66: The divides relation on natural numbers

LicenseMIT
MaintainerJoe Leslie-Hurd <joe@gilith.com>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

OpenTheory.Natural.Divides

Description

 

Documentation

egcd :: Natural -> Natural -> (Natural, (Natural, Natural)) Source

chineseRemainder :: Natural -> Natural -> Natural -> Natural -> Natural Source

divides :: Natural -> Natural -> Bool Source