Skip to content

Commit fcfbde3

Browse files
committed
gaus
1 parent c2c2daa commit fcfbde3

9 files changed

Lines changed: 31 additions & 30 deletions

File tree

docs/src/modules.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ Generalized André numbers count the ``m``-alternating permutations of length ``
2525

2626
The Bell transform transforms an integer sequence into an integer triangle; also known as incomplete Bell polynomials.
2727

28-
Let ``X`` be an integer sequence, then ``B_{n, k}(X) = \\sum_{m=1}^{n-k+1} \\binom{n-1}{m-1} X[m] B_{n-m,k-1}(X)`` where ``B_{0,0} = 1, B_{n,0} = 0`` for ``n≥1, B_{0,k} = 0`` for ``k≥1``.
28+
Let ``X`` be an integer sequence, then ``B_{n, k}(X) = \sum_{m=1}^{n-k+1} \binom{n-1}{m-1} X[m] B_{n-m,k-1}(X)`` where ``B_{0,0} = 1, B_{n,0} = 0`` for ``n≥1, B_{0,k} = 0`` for ``k≥1``.
2929

3030
The Bell transform is (0,0)-based and the associated triangle always has as first column 1,0,0,0,... This column is often missing in the OEIS. Other Stirling number related sequences are implemented in the module StirlingLahNumbers.
3131

@@ -54,7 +54,7 @@ The rational Bernoulli numbers are defined here with ``B(1) = 1/2``. Why this is
5454

5555
  🔶  [BinaryInteger](https://github.com/OpenLibMathSeq/IntegerSequences.jl/blob/master/src/BinaryInteger.jl)
5656

57-
For positive n, BinaryIntegerLength is ``\\lfloor(\\operatorname{log}(2, n)\\rfloor) + 1``, BinaryIntegerLength(0) = 0.
57+
For positive n, BinaryIntegerLength is ``log[2](n) ⌋ + 1``, BinaryIntegerLength(0) = 0.
5858

5959
* BinaryIntegerLength, Bil, V001855, V003314, V033156, V054248, V061168, V083652, V097383, V123753, V295513
6060

@@ -70,10 +70,10 @@ Ported from [BinaryQuadraticForms](http://oeis.org/wiki/User:Peter_Luschny/Binar
7070

7171
  🔶  [CantorMachines](https://github.com/OpenLibMathSeq/IntegerSequences.jl/blob/master/src/CantorMachines.jl)
7272

73-
* Cantor-Machine, Cantor-Enumeration, Cantor-Pairing, Cantor-BoustrophedonicMachine, Cantor-BoustrophedonicEnumeration, Cantor-BoustrophedonicPairing, RosenbergStrong-BoustrophedonicMachine, RosenbergStrong-BoustrophedonicEnumeration, RosenbergStrong-BoustrophedonicPairing
74-
7573
[Cantor's enumeration of N X N revisited](https://luschny.wordpress.com/2018/09/24/cantors-enumeration-of-n2-revisited/).
7674

75+
* Cantor-Machine, Cantor-Enumeration, Cantor-Pairing, Cantor-BoustrophedonicMachine, Cantor-BoustrophedonicEnumeration, Cantor-BoustrophedonicPairing, RosenbergStrong-BoustrophedonicMachine, RosenbergStrong-BoustrophedonicEnumeration, RosenbergStrong-BoustrophedonicPairing
76+
7777
  🔶  [CarmichaelNumbers](https://github.com/OpenLibMathSeq/IntegerSequences.jl/blob/master/src/CarmichaelNumbers.jl)
7878

7979
* isCarmichael, I002997, F002997, L002997

src/BernoulliNumbers.jl

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -32,7 +32,7 @@ The rational Bernoulli numbers are defined here with ``B(1) = 1/2``. Why this is
3232
const ModuleBernoulliNumbers = ""
3333

3434
"""
35-
Return the generalized integer Bernoulli numbers ``b_{m}(n) = n \\times ``André``(m, n-1)``.
35+
Return the generalized integer Bernoulli numbers ``b_{m}(n) = n × ``André``(m, n-1)``.
3636
"""
3737
BernoulliInt(m::Int, n::Int) = n == 0 ? ZZ(0) : n * André(m, n - 1)
3838

@@ -42,12 +42,12 @@ Return the number of down-up permutations w on ``[n+1]`` such that ``w_2 = 1``.
4242
V065619(n::Int) = BernoulliInt(2, n)
4343

4444
"""
45-
Return the generalized integer Bernoulli numbers ``b_{3}(n) = n \\times ``André``_{3}(n-1)``.
45+
Return the generalized integer Bernoulli numbers ``b_{3}(n) = n × ``André``_{3}(n-1)``.
4646
"""
4747
V281586(n::Int) = BernoulliInt(3, n)
4848

4949
"""
50-
Return the generalized integer Bernoulli numbers ``b_{4}(n) = n \\times `` André``_{4}(n-1)``.
50+
Return the generalized integer Bernoulli numbers ``b_{4}(n) = n × `` André``_{4}(n-1)``.
5151
"""
5252
V281588(n::Int) = BernoulliInt(4, n)
5353

src/BinaryInteger.jl

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -10,14 +10,14 @@ export V001855, V003314, V033156, V054248, V061168, V083652, V097383, V123753
1010
export V295513, BinaryIntegerLength, Bil
1111

1212
"""
13-
For positive n, BinaryIntegerLength is ``\\lfloor(\\operatorname{log}(2, n)\\rfloor) + 1``, BinaryIntegerLength(0) = 0.
13+
For positive n, BinaryIntegerLength is ``log[2](n) ⌋ + 1``, BinaryIntegerLength(0) = 0.
1414
1515
* BinaryIntegerLength, Bil, V001855, V003314, V033156, V054248, V061168, V083652, V097383, V123753, V295513
1616
"""
1717
const ModuleBinaryInteger = ""
1818

1919
"""
20-
Return the length of the binary extension of an integer ``n``, which is defined as ``0`` if ``n = 0`` and for ``n > 0`` as ``⌊ log _2(n) ⌋ + 1``.
20+
Return the length of the binary extension of an integer ``n``, which is defined as ``0`` if ``n = 0`` and for ``n > 0`` as ``⌊ log[2](n) ⌋ + 1``.
2121
"""
2222
BinaryIntegerLength(n) = n == 0 ? 0 : floor(Int, log2(n)) + 1
2323

@@ -62,7 +62,7 @@ Minimum total number of comparisons to find each of the values ``1`` through ``n
6262
V097383(n) = V295513(n+1) - div(n-1, 2)
6363

6464
"""
65-
Partial sums of the sequence ``⌊ \\log_2(n) ⌋``.
65+
Partial sums of the sequence ``⌊ log[2](n) ⌋``.
6666
"""
6767
V061168(n) = V295513(n+1) - n + 1
6868

src/BuildSequences.jl

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -394,6 +394,7 @@ function make_modules()
394394
name = splitext(filename)
395395
println(mod, "\n   🔶  ", '[', name[1], "](", path, ")\n" )
396396
else
397+
n = replace(n, "\\\\" => "\\")
397398
indoc && println(mod, n)
398399
end
399400
end

src/CantorMachines.jl

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -12,9 +12,9 @@ export RosenbergStrongBoustrophedonicMachine, RosenbergStrongBoustrophedonicEnum
1212
export V319514, L319514
1313

1414
"""
15-
* Cantor-Machine, Cantor-Enumeration, Cantor-Pairing, Cantor-BoustrophedonicMachine, Cantor-BoustrophedonicEnumeration, Cantor-BoustrophedonicPairing, RosenbergStrong-BoustrophedonicMachine, RosenbergStrong-BoustrophedonicEnumeration, RosenbergStrong-BoustrophedonicPairing
16-
1715
[Cantor's enumeration of N X N revisited](https://luschny.wordpress.com/2018/09/24/cantors-enumeration-of-n2-revisited/).
16+
17+
* Cantor-Machine, Cantor-Enumeration, Cantor-Pairing, Cantor-BoustrophedonicMachine, Cantor-BoustrophedonicEnumeration, Cantor-BoustrophedonicPairing, RosenbergStrong-BoustrophedonicMachine, RosenbergStrong-BoustrophedonicEnumeration, RosenbergStrong-BoustrophedonicPairing
1818
"""
1919
const ModuleCantorMachines = ""
2020

src/IntegerSequences.jl

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@
22
# Copyright Peter Luschny. License is MIT.
33
# This file includes parts from Combinatorics.jl in modified form.
44

5-
# Version of: UTC 2019-05-26 09:11:30
6-
# 7c6236a0-7f85-11e9-0f1c-7dc10fb521d5
5+
# Version of: UTC 2019-05-26 10:30:37
6+
# 89d7f300-7f90-11e9-2316-5b680c2c6b88
77

88
# Do not edit this file, it is generated from the modules and will be overwritten!
99
# Edit the modules in the src directory and build this file with BuildSequences.jl!
@@ -1025,7 +1025,7 @@ The rational Bernoulli numbers are defined here with ``B(1) = 1/2``. Why this is
10251025
"""
10261026
const ModuleBernoulliNumbers = ""
10271027
"""
1028-
Return the generalized integer Bernoulli numbers ``b_{m}(n) = n \\times ``André``(m, n-1)``.
1028+
Return the generalized integer Bernoulli numbers ``b_{m}(n) = n × ``André``(m, n-1)``.
10291029
$(SIGNATURES)
10301030
"""
10311031
BernoulliInt(m::Int, n::Int) = n == 0 ? ZZ(0) : n * André(m, n - 1)
@@ -1035,12 +1035,12 @@ $(SIGNATURES)
10351035
"""
10361036
V065619(n::Int) = BernoulliInt(2, n)
10371037
"""
1038-
Return the generalized integer Bernoulli numbers ``b_{3}(n) = n \\times ``André``_{3}(n-1)``.
1038+
Return the generalized integer Bernoulli numbers ``b_{3}(n) = n × ``André``_{3}(n-1)``.
10391039
$(SIGNATURES)
10401040
"""
10411041
V281586(n::Int) = BernoulliInt(3, n)
10421042
"""
1043-
Return the generalized integer Bernoulli numbers ``b_{4}(n) = n \\times `` André``_{4}(n-1)``.
1043+
Return the generalized integer Bernoulli numbers ``b_{4}(n) = n × `` André``_{4}(n-1)``.
10441044
$(SIGNATURES)
10451045
"""
10461046
V281588(n::Int) = BernoulliInt(4, n)
@@ -1147,13 +1147,13 @@ P = Primes(2, div(n + 2, 2 + n % 2))
11471147
end
11481148
# *** BinaryInteger.jl ****************
11491149
"""
1150-
For positive n, BinaryIntegerLength is ``\\lfloor(\\operatorname{log}(2, n)\\rfloor) + 1``, BinaryIntegerLength(0) = 0.
1150+
For positive n, BinaryIntegerLength is ``log[2](n) ⌋ + 1``, BinaryIntegerLength(0) = 0.
11511151
11521152
* BinaryIntegerLength, Bil, V001855, V003314, V033156, V054248, V061168, V083652, V097383, V123753, V295513
11531153
"""
11541154
const ModuleBinaryInteger = ""
11551155
"""
1156-
Return the length of the binary extension of an integer ``n``, which is defined as ``0`` if ``n = 0`` and for ``n > 0`` as ``⌊ log _2(n) ⌋ + 1``.
1156+
Return the length of the binary extension of an integer ``n``, which is defined as ``0`` if ``n = 0`` and for ``n > 0`` as ``⌊ log[2](n) ⌋ + 1``.
11571157
$(SIGNATURES)
11581158
"""
11591159
BinaryIntegerLength(n) = n == 0 ? 0 : floor(Int, log2(n)) + 1
@@ -1198,7 +1198,7 @@ $(SIGNATURES)
11981198
"""
11991199
V097383(n) = V295513(n+1) - div(n-1, 2)
12001200
"""
1201-
Partial sums of the sequence ``⌊ \\log_2(n) ⌋``.
1201+
Partial sums of the sequence ``⌊ log[2](n) ⌋``.
12021202
$(SIGNATURES)
12031203
"""
12041204
V061168(n) = V295513(n+1) - n + 1
@@ -1599,9 +1599,9 @@ $(SIGNATURES)
15991599
L007522(bound::Int) = binaryQF(-1, 4, 4, bound, "prime")
16001600
# *** CantorMachines.jl ****************
16011601
"""
1602-
* Cantor-Machine, Cantor-Enumeration, Cantor-Pairing, Cantor-BoustrophedonicMachine, Cantor-BoustrophedonicEnumeration, Cantor-BoustrophedonicPairing, RosenbergStrong-BoustrophedonicMachine, RosenbergStrong-BoustrophedonicEnumeration, RosenbergStrong-BoustrophedonicPairing
1603-
16041602
[Cantor's enumeration of N X N revisited](https://luschny.wordpress.com/2018/09/24/cantors-enumeration-of-n2-revisited/).
1603+
1604+
* Cantor-Machine, Cantor-Enumeration, Cantor-Pairing, Cantor-BoustrophedonicMachine, Cantor-BoustrophedonicEnumeration, Cantor-BoustrophedonicPairing, RosenbergStrong-BoustrophedonicMachine, RosenbergStrong-BoustrophedonicEnumeration, RosenbergStrong-BoustrophedonicPairing
16051605
"""
16061606
const ModuleCantorMachines = ""
16071607
"""
@@ -4536,12 +4536,12 @@ $(SIGNATURES)
45364536
"""
45374537
T216916(dim::Int) = OrthoPoly(dim, n -> n + 1, n -> n + 1)
45384538
"""
4539-
Return the triangle ``T(n,k)`` of tangent numbers, coefficient of ``x^n/n!`` in the expansion of ``(\\tan x)^k/k!``.
4539+
Return the triangle ``T(n,k)`` of tangent numbers, coefficient of ``x^n/n!`` in the expansion of ``(tan x)^k/k!``.
45404540
$(SIGNATURES)
45414541
"""
45424542
T059419(dim::Int) = OrthoPoly(dim, n -> 0, n -> n * (n-1))
45434543
"""
4544-
Return the expansion of ``\\exp(\\tan(x))``.
4544+
Return the expansion of exp(tan(x)).
45454545
$(SIGNATURES)
45464546
"""
45474547
L006229(len::Int) = RowSums(T059419(len))

src/OrthoPolynomials.jl

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -74,12 +74,12 @@ Return the coefficients of some orthogonal polynomials related to set partitions
7474
T216916(dim::Int) = OrthoPoly(dim, n -> n + 1, n -> n + 1)
7575

7676
"""
77-
Return the triangle ``T(n,k)`` of tangent numbers, coefficient of ``x^n/n!`` in the expansion of ``(\\tan x)^k/k!``.
77+
Return the triangle ``T(n,k)`` of tangent numbers, coefficient of ``x^n/n!`` in the expansion of ``(tan x)^k/k!``.
7878
"""
7979
T059419(dim::Int) = OrthoPoly(dim, n -> 0, n -> n * (n-1))
8080

8181
"""
82-
Return the expansion of ``\\exp(\\tan(x))``.
82+
Return the expansion of exp(tan(x)).
8383
"""
8484
L006229(len::Int) = RowSums(T059419(len))
8585

test/perftests.jl

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@
22
# Copyright Peter Luschny. License is MIT.
33
# This file includes parts from Combinatorics.jl in modified form.
44

5-
# Version of: UTC 2019-05-26 09:11:30
6-
# 7c693b80-7f85-11e9-0d44-11817a2a065c
5+
# Version of: UTC 2019-05-26 10:30:37
6+
# 89df4600-7f90-11e9-3bf6-c39fb02ccd92
77

88
# Do not edit this file, it is generated from the modules and will be overwritten!
99
# Edit the modules in the src directory and build this file with BuildSequences.jl!

test/runtests.jl

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@
22
# Copyright Peter Luschny. License is MIT.
33
# This file includes parts from Combinatorics.jl in modified form.
44

5-
# Version of: UTC 2019-05-26 09:11:30
6-
# 7c6766c0-7f85-11e9-28eb-3741150190c5
5+
# Version of: UTC 2019-05-26 10:30:37
6+
# 89dc11ae-7f90-11e9-1984-5170e93e3915
77

88
# Do not edit this file, it is generated from the modules and will be overwritten!
99
# Edit the modules in the src directory and build this file with BuildSequences.jl!

0 commit comments

Comments
 (0)