Lah numbers: Difference between revisions
Content added Content deleted
Line 478: | Line 478: | ||
| k > n = 0 |
| k > n = 0 |
||
| k < 1 || n < 1 = 0 |
| k < 1 || n < 1 = 0 |
||
| otherwise = (factorial n * factorial (pred n)) |
| otherwise = (factorial n * factorial (pred n)) `div` |
||
`div` |
(factorial k * factorial (pred k)) `div` |
||
(factorial k * factorial (pred k)) |
|||
`div` |
|||
factorial (n - k) |
factorial (n - k) |
||