Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
class PID d => Euclidean d where Source #
degree :: d -> Maybe Natural Source #
Euclidean (degree) function on r
.
degree :: Division d => d -> Maybe Natural Source #
Euclidean (degree) function on r
.
divide :: d -> d -> (d, d) infix 7 Source #
Division algorithm. a
calculates
quotient and remainder of divide
ba
divided by b
.
let (q, r) = divide a p in p*q + r == a && degree r < degree q
divide :: Division d => d -> d -> (d, d) infix 7 Source #
Division algorithm. a
calculates
quotient and remainder of divide
ba
divided by b
.
let (q, r) = divide a p in p*q + r == a && degree r < degree q
euclid :: Euclidean d => d -> d -> [(d, d, d)] Source #
Extended euclidean algorithm.
euclid f g == xs ==> all (\(r, s, t) -> r == f * s + g * t) xs
:: Euclidean r | |
=> [(r, r)] | List of |
-> r |
|