Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
set_of_divisors_function [2015/04/25 18:18] nikolaj |
set_of_divisors_function [2016/05/24 19:19] nikolaj |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| | @#FFBB00: definiendum | @#FFBB00: $ \mathrm{divisors}(n):=\{a\ |\ \exists (b\in\mathbb N).\ a\cdot b=n\} $ | | | @#FFBB00: definiendum | @#FFBB00: $ \mathrm{divisors}(n):=\{a\ |\ \exists (b\in\mathbb N).\ a\cdot b=n\} $ | | ||
| - | ==== Discussion ==== | + | >make this into a set |
| + | |||
| + | ----- | ||
| === Code === | === Code === | ||
| A related Boolean function is | A related Boolean function is | ||
| Line 12: | Line 14: | ||
| divides d n = rem n d == 0 | divides d n = rem n d == 0 | ||
| </code> | </code> | ||
| - | ==== Parents ==== | + | |
| + | ----- | ||
| === Subset of === | === Subset of === | ||
| [[Function]] | [[Function]] | ||
| === Requirements === | === Requirements === | ||
| - | [[Natural number]] | + | [[Natural numbers]] |
