math.combinatorics.private tools.test sequences ;
IN: math.combinatorics.tests
-[ 1 ] [ -1 factorial ] unit-test ! required by other math.combinatorics words
-[ 1 ] [ 0 factorial ] unit-test
-[ 1 ] [ 1 factorial ] unit-test
-[ 3628800 ] [ 10 factorial ] unit-test
-
-[ 1 ] [ 3 0 nPk ] unit-test
-[ 6 ] [ 3 2 nPk ] unit-test
-[ 6 ] [ 3 3 nPk ] unit-test
-[ 0 ] [ 3 4 nPk ] unit-test
-[ 311875200 ] [ 52 5 nPk ] unit-test
-[ 672151459757865654763838640470031391460745878674027315200000000000 ] [ 52 47 nPk ] unit-test
-
-[ 1 ] [ 3 0 nCk ] unit-test
-[ 3 ] [ 3 2 nCk ] unit-test
-[ 1 ] [ 3 3 nCk ] unit-test
-[ 0 ] [ 3 4 nCk ] unit-test
-[ 2598960 ] [ 52 5 nCk ] unit-test
-[ 2598960 ] [ 52 47 nCk ] unit-test
-
-
-[ { } ] [ 0 factoradic ] unit-test
-[ { 1 0 } ] [ 1 factoradic ] unit-test
-[ { 1 1 0 3 0 1 0 } ] [ 859 factoradic ] unit-test
-
-[ { 0 1 2 3 } ] [ { 0 0 0 0 } >permutation ] unit-test
-[ { 0 1 3 2 } ] [ { 0 0 1 0 } >permutation ] unit-test
-[ { 1 2 0 6 3 5 4 } ] [ { 1 1 0 3 0 1 0 } >permutation ] unit-test
-
-[ { 0 1 2 3 } ] [ 0 4 iota permutation-indices ] unit-test
-[ { 0 1 3 2 } ] [ 1 4 iota permutation-indices ] unit-test
-[ { 1 2 0 6 3 5 4 } ] [ 859 7 iota permutation-indices ] unit-test
-
-[ { "a" "b" "c" "d" } ] [ 0 { "a" "b" "c" "d" } permutation ] unit-test
-[ { "d" "c" "b" "a" } ] [ 23 { "a" "b" "c" "d" } permutation ] unit-test
-[ { "d" "a" "b" "c" } ] [ 18 { "a" "b" "c" "d" } permutation ] unit-test
-
-[ { { "a" "b" "c" } { "a" "c" "b" }
+{ 1 } [ -1 factorial ] unit-test ! required by other math.combinatorics words
+{ 1 } [ 0 factorial ] unit-test
+{ 1 } [ 1 factorial ] unit-test
+{ 3628800 } [ 10 factorial ] unit-test
+
+{ 1 } [ 3 0 nPk ] unit-test
+{ 6 } [ 3 2 nPk ] unit-test
+{ 6 } [ 3 3 nPk ] unit-test
+{ 0 } [ 3 4 nPk ] unit-test
+{ 311875200 } [ 52 5 nPk ] unit-test
+{ 672151459757865654763838640470031391460745878674027315200000000000 } [ 52 47 nPk ] unit-test
+
+{ 1 } [ 3 0 nCk ] unit-test
+{ 3 } [ 3 2 nCk ] unit-test
+{ 1 } [ 3 3 nCk ] unit-test
+{ 0 } [ 3 4 nCk ] unit-test
+{ 2598960 } [ 52 5 nCk ] unit-test
+{ 2598960 } [ 52 47 nCk ] unit-test
+
+
+{ { } } [ 0 factoradic ] unit-test
+{ { 1 0 } } [ 1 factoradic ] unit-test
+{ { 1 1 0 3 0 1 0 } } [ 859 factoradic ] unit-test
+
+{ { 0 1 2 3 } } [ { 0 0 0 0 } >permutation ] unit-test
+{ { 0 1 3 2 } } [ { 0 0 1 0 } >permutation ] unit-test
+{ { 1 2 0 6 3 5 4 } } [ { 1 1 0 3 0 1 0 } >permutation ] unit-test
+
+{ { 0 1 2 3 } } [ 0 4 iota permutation-indices ] unit-test
+{ { 0 1 3 2 } } [ 1 4 iota permutation-indices ] unit-test
+{ { 1 2 0 6 3 5 4 } } [ 859 7 iota permutation-indices ] unit-test
+
+{ { "a" "b" "c" "d" } } [ 0 { "a" "b" "c" "d" } permutation ] unit-test
+{ { "d" "c" "b" "a" } } [ 23 { "a" "b" "c" "d" } permutation ] unit-test
+{ { "d" "a" "b" "c" } } [ 18 { "a" "b" "c" "d" } permutation ] unit-test
+
+{ { { "a" "b" "c" } { "a" "c" "b" }
{ "b" "a" "c" } { "b" "c" "a" }
- { "c" "a" "b" } { "c" "b" "a" } } ] [ { "a" "b" "c" } all-permutations ] unit-test
+ { "c" "a" "b" } { "c" "b" "a" } } } [ { "a" "b" "c" } all-permutations ] unit-test
-[ { 0 1 2 } ] [ { "a" "b" "c" } inverse-permutation ] unit-test
-[ { 2 1 0 } ] [ { "c" "b" "a" } inverse-permutation ] unit-test
-[ { 3 0 2 1 } ] [ { 12 45 34 2 } inverse-permutation ] unit-test
+{ { 0 1 2 } } [ { "a" "b" "c" } inverse-permutation ] unit-test
+{ { 2 1 0 } } [ { "c" "b" "a" } inverse-permutation ] unit-test
+{ { 3 0 2 1 } } [ { 12 45 34 2 } inverse-permutation ] unit-test
-[ "" ] [ "" next-permutation ] unit-test
-[ "1" ] [ "1" next-permutation ] unit-test
-[ "21" ] [ "12" next-permutation ] unit-test
-[ "8344112666" ] [ "8342666411" next-permutation ] unit-test
-[ "ABC" "ACB" "BAC" "BCA" "CAB" "CBA" "ABC" ]
+{ "" } [ "" next-permutation ] unit-test
+{ "1" } [ "1" next-permutation ] unit-test
+{ "21" } [ "12" next-permutation ] unit-test
+{ "8344112666" } [ "8342666411" next-permutation ] unit-test
+{ "ABC" "ACB" "BAC" "BCA" "CAB" "CBA" "ABC" }
[ "ABC" 6 [ dup dup clone-like next-permutation ] times ] unit-test
-[ { 0 1 2 } ] [ 0 3 5 combination-indices ] unit-test
-[ { 2 3 4 } ] [ 9 3 5 combination-indices ] unit-test
+{ { 0 1 2 } } [ 0 3 5 combination-indices ] unit-test
+{ { 2 3 4 } } [ 9 3 5 combination-indices ] unit-test
-[ { "a" "b" "c" } ] [ 0 { "a" "b" "c" "d" "e" } 3 combination ] unit-test
-[ { "c" "d" "e" } ] [ 9 { "a" "b" "c" "d" "e" } 3 combination ] unit-test
+{ { "a" "b" "c" } } [ 0 { "a" "b" "c" "d" "e" } 3 combination ] unit-test
+{ { "c" "d" "e" } } [ 9 { "a" "b" "c" "d" "e" } 3 combination ] unit-test
-[ { { "a" "b" } { "a" "c" }
+{ { { "a" "b" } { "a" "c" }
{ "a" "d" } { "b" "c" }
- { "b" "d" } { "c" "d" } } ] [ { "a" "b" "c" "d" } 2 all-combinations ] unit-test
+ { "b" "d" } { "c" "d" } } } [ { "a" "b" "c" "d" } 2 all-combinations ] unit-test
-[ { { } } ] [ { } all-subsets ] unit-test
+{ { { } } } [ { } all-subsets ] unit-test
-[ { { } { 1 } { 2 } { 3 } { 1 2 } { 1 3 } { 2 3 } { 1 2 3 } } ]
+{ { { } { 1 } { 2 } { 3 } { 1 2 } { 1 3 } { 2 3 } { 1 2 3 } } }
[ { 1 2 3 } all-subsets ] unit-test
-[ { } ] [ { 1 2 } 0 selections ] unit-test
+{ { } } [ { 1 2 } 0 selections ] unit-test
-[ { { 1 } { 2 } } ] [ { 1 2 } 1 selections ] unit-test
-[ { { { 1 } } { 2 } } ] [ { { 1 } 2 } 1 selections ] unit-test
+{ { { 1 } { 2 } } } [ { 1 2 } 1 selections ] unit-test
+{ { { { 1 } } { 2 } } } [ { { 1 } 2 } 1 selections ] unit-test
-[ { { 1 1 } { 1 2 } { 2 1 } { 2 2 } } ]
+{ { { 1 1 } { 1 2 } { 2 1 } { 2 2 } } }
[ { 1 2 } 2 selections ] unit-test
-[ { { 1 1 1 } { 1 1 2 } { 1 2 1 } { 1 2 2 }
- { 2 1 1 } { 2 1 2 } { 2 2 1 } { 2 2 2 } } ]
+{ { { 1 1 1 } { 1 1 2 } { 1 2 1 } { 1 2 2 }
+ { 2 1 1 } { 2 1 2 } { 2 2 1 } { 2 2 2 } } }
[ { 1 2 } 3 selections ] unit-test
{ { "aa" "ab" "ac" "ba" "bb" "bc" "ca" "cb" "cc" } }
projects / factor.git / blobdiff