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

License	MIT
Maintainer	Joe Leslie-Hurd <joe@gilith.com>
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell98

OpenTheory.Natural.Divides

Description

Documentation

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

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

divides :: Natural -> Natural -> Bool Source