Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
least_divisor_function [2015/04/25 18:19] nikolaj |
least_divisor_function [2015/04/25 19:25] nikolaj |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| | @#FFBB00: definiendum | @#FFBB00: $ \mathrm{ld}(n):=\mathrm{min}\left(\mathrm{divisors}(n)\right) $ | | | @#FFBB00: definiendum | @#FFBB00: $ \mathrm{ld}(n):=\mathrm{min}\left(\mathrm{divisors}(n)\right) $ | | ||
| - | ==== Discussion ==== | + | ----- |
| === Code === | === Code === | ||
| + | == Haskell == | ||
| <code haskell> | <code haskell> | ||
| divides :: Integral a => a -> a -> Bool | divides :: Integral a => a -> a -> Bool | ||
| Line 30: | Line 31: | ||
| If $n$ isn't a prime, then $n$ divided by the //least// divisor is some number bigger than $\mathrm{ld}(n)$ and hence | If $n$ isn't a prime, then $n$ divided by the //least// divisor is some number bigger than $\mathrm{ld}(n)$ and hence | ||
| ^ $\mathrm{ld}(n)^2\le n$ ^ | ^ $\mathrm{ld}(n)^2\le n$ ^ | ||
| - | ==== Parents ==== | + | |
| + | ----- | ||
| === Subset of === | === Subset of === | ||
| [[Surjective function]] | [[Surjective function]] | ||
