diff options
Diffstat (limited to 'src/algebra/combinat.spad.pamphlet')
| -rw-r--r-- | src/algebra/combinat.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/combinat.spad.pamphlet b/src/algebra/combinat.spad.pamphlet index 55765dc4..a70619fa 100644 --- a/src/algebra/combinat.spad.pamphlet +++ b/src/algebra/combinat.spad.pamphlet @@ -66,7 +66,7 @@ IntegerCombinatoricFunctions(I:IntegerNumberSystem): with -- since 5 = 1+1+1+1+1 = 1+1+1+2 = 1+2+2 = 1+1+3 = 1+4 = 2+3 = 5 . -- Uses O(sqrt n) term recurrence from Abramowitz & Stegun pp. 825 -- p(n) = sum (-1)**k p(n-j) where 0 < j := (3*k**2+-k) quo 2 <= n - minIndex(P) ^= 0 => error "Partition: must have minIndex of 0" + minIndex(P) ~= 0 => error "Partition: must have minIndex of 0" m := #P n < 0 => error "partition is not defined for negative integers" n < m::I => P(convert(n)@Z) |