--- /srv/reproducible-results/rbuild-debian/r-b-build.lFZSEY93/b1/ssreflect_2.2.0-2_amd64.changes +++ /srv/reproducible-results/rbuild-debian/r-b-build.lFZSEY93/b2/ssreflect_2.2.0-2_amd64.changes ├── Files │ @@ -1,8 +1,8 @@ │ │ ecb7ce9d425fa64c5d40b70357c1407a 10005696 math optional libcoq-mathcomp-algebra_2.2.0-2_amd64.deb │ 0a59f07991a11842cec9d01dc3174ba4 4191668 math optional libcoq-mathcomp-character_2.2.0-2_amd64.deb │ d5b9766bec373f6391a76c1586c4dbec 3248756 math optional libcoq-mathcomp-field_2.2.0-2_amd64.deb │ 9d333121fb2d12e75ee79772fc64d095 2162188 math optional libcoq-mathcomp-fingroup_2.2.0-2_amd64.deb │ d8f3089b5865f9b46c0ee3df9b6df80e 4727380 math optional libcoq-mathcomp-solvable_2.2.0-2_amd64.deb │ c9dcb45088ec3c21e337145e75ba441f 6078800 math optional libcoq-mathcomp-ssreflect_2.2.0-2_amd64.deb │ - e07bae6c13d4d71d6f383a41f570fe73 2861696 math optional libcoq-mathcomp_2.2.0-2_amd64.deb │ + 7d483b7493e81f53b8a64687aa09b724 2861956 math optional libcoq-mathcomp_2.2.0-2_amd64.deb ├── libcoq-mathcomp_2.2.0-2_amd64.deb │ ├── file list │ │ @@ -1,3 +1,3 @@ │ │ -rw-r--r-- 0 0 0 4 2024-08-03 08:09:08.000000 debian-binary │ │ -rw-r--r-- 0 0 0 10212 2024-08-03 08:09:08.000000 control.tar.xz │ │ --rw-r--r-- 0 0 0 2851292 2024-08-03 08:09:08.000000 data.tar.xz │ │ +-rw-r--r-- 0 0 0 2851552 2024-08-03 08:09:08.000000 data.tar.xz │ ├── control.tar.xz │ │ ├── control.tar │ │ │ ├── ./md5sums │ │ │ │ ├── ./md5sums │ │ │ │ │┄ Files differ │ ├── data.tar.xz │ │ ├── data.tar │ │ │ ├── ./usr/share/doc/libcoq-mathcomp/htmldoc/depend.js │ │ │ │ ├── js-beautify {} │ │ │ │ │ @@ -16,364 +16,364 @@ │ │ │ │ │ id: "all", │ │ │ │ │ name: "all", │ │ │ │ │ parent: "cluster_all", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "cluster_solvable", │ │ │ │ │ - name: "solvable" │ │ │ │ │ + id: "cluster_character", │ │ │ │ │ + name: "character" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "cluster_solvable_plus", │ │ │ │ │ + id: "cluster_character_plus", │ │ │ │ │ name: "+", │ │ │ │ │ - parent: "cluster_solvable" │ │ │ │ │ + parent: "cluster_character" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "extremal", │ │ │ │ │ - name: "extremal", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "all_character", │ │ │ │ │ + name: "all_character", │ │ │ │ │ + parent: "cluster_character", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "extraspecial", │ │ │ │ │ - name: "extraspecial", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "character", │ │ │ │ │ + name: "character", │ │ │ │ │ + parent: "cluster_character", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "frobenius", │ │ │ │ │ - name: "frobenius", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "mxrepresentation", │ │ │ │ │ + name: "mxrepresentation", │ │ │ │ │ + parent: "cluster_character", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "cyclic", │ │ │ │ │ - name: "cyclic", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "vcharacter", │ │ │ │ │ + name: "vcharacter", │ │ │ │ │ + parent: "cluster_character", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "maximal", │ │ │ │ │ - name: "maximal", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "inertia", │ │ │ │ │ + name: "inertia", │ │ │ │ │ + parent: "cluster_character", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "gfunctor", │ │ │ │ │ - name: "gfunctor", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "integral_char", │ │ │ │ │ + name: "integral_char", │ │ │ │ │ + parent: "cluster_character", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "sylow", │ │ │ │ │ - name: "sylow", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "mxabelem", │ │ │ │ │ + name: "mxabelem", │ │ │ │ │ + parent: "cluster_character", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "center", │ │ │ │ │ - name: "center", │ │ │ │ │ + id: "classfun", │ │ │ │ │ + name: "classfun", │ │ │ │ │ + parent: "cluster_character", │ │ │ │ │ + released: "no" │ │ │ │ │ + } │ │ │ │ │ + }, { │ │ │ │ │ + data: { │ │ │ │ │ + id: "cluster_solvable", │ │ │ │ │ + name: "solvable" │ │ │ │ │ + } │ │ │ │ │ + }, { │ │ │ │ │ + data: { │ │ │ │ │ + id: "cluster_solvable_plus", │ │ │ │ │ + name: "+", │ │ │ │ │ + parent: "cluster_solvable" │ │ │ │ │ + } │ │ │ │ │ + }, { │ │ │ │ │ + data: { │ │ │ │ │ + id: "gfunctor", │ │ │ │ │ + name: "gfunctor", │ │ │ │ │ parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "alt", │ │ │ │ │ - name: "alt", │ │ │ │ │ + id: "extraspecial", │ │ │ │ │ + name: "extraspecial", │ │ │ │ │ parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "burnside_app", │ │ │ │ │ name: "burnside_app", │ │ │ │ │ parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "all_solvable", │ │ │ │ │ - name: "all_solvable", │ │ │ │ │ + id: "frobenius", │ │ │ │ │ + name: "frobenius", │ │ │ │ │ parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "primitive_action", │ │ │ │ │ name: "primitive_action", │ │ │ │ │ parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "commutator", │ │ │ │ │ - name: "commutator", │ │ │ │ │ + id: "hall", │ │ │ │ │ + name: "hall", │ │ │ │ │ parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "jordanholder", │ │ │ │ │ - name: "jordanholder", │ │ │ │ │ + id: "gseries", │ │ │ │ │ + name: "gseries", │ │ │ │ │ parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "hall", │ │ │ │ │ - name: "hall", │ │ │ │ │ + id: "jordanholder", │ │ │ │ │ + name: "jordanholder", │ │ │ │ │ parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "finmodule", │ │ │ │ │ name: "finmodule", │ │ │ │ │ parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "nilpotent", │ │ │ │ │ - name: "nilpotent", │ │ │ │ │ + id: "center", │ │ │ │ │ + name: "center", │ │ │ │ │ parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "abelian", │ │ │ │ │ - name: "abelian", │ │ │ │ │ + id: "commutator", │ │ │ │ │ + name: "commutator", │ │ │ │ │ parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "gseries", │ │ │ │ │ - name: "gseries", │ │ │ │ │ + id: "nilpotent", │ │ │ │ │ + name: "nilpotent", │ │ │ │ │ parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "pgroup", │ │ │ │ │ - name: "pgroup", │ │ │ │ │ + id: "all_solvable", │ │ │ │ │ + name: "all_solvable", │ │ │ │ │ parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "cluster_ssreflect", │ │ │ │ │ - name: "ssreflect" │ │ │ │ │ - } │ │ │ │ │ - }, { │ │ │ │ │ - data: { │ │ │ │ │ - id: "cluster_ssreflect_plus", │ │ │ │ │ - name: "+", │ │ │ │ │ - parent: "cluster_ssreflect" │ │ │ │ │ - } │ │ │ │ │ - }, { │ │ │ │ │ - data: { │ │ │ │ │ - id: "order", │ │ │ │ │ - name: "order", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "sylow", │ │ │ │ │ + name: "sylow", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "ssreflect", │ │ │ │ │ - name: "ssreflect", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "abelian", │ │ │ │ │ + name: "abelian", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "ssrnat", │ │ │ │ │ - name: "ssrnat", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "cyclic", │ │ │ │ │ + name: "cyclic", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "ssrbool", │ │ │ │ │ - name: "ssrbool", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "extremal", │ │ │ │ │ + name: "extremal", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "finset", │ │ │ │ │ - name: "finset", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "alt", │ │ │ │ │ + name: "alt", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "generic_quotient", │ │ │ │ │ - name: "generic_quotient", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "maximal", │ │ │ │ │ + name: "maximal", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "bigop", │ │ │ │ │ - name: "bigop", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "pgroup", │ │ │ │ │ + name: "pgroup", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "ssrAC", │ │ │ │ │ - name: "ssrAC", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ - released: "no" │ │ │ │ │ + id: "cluster_algebra", │ │ │ │ │ + name: "algebra" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "seq", │ │ │ │ │ - name: "seq", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ - released: "no" │ │ │ │ │ + id: "cluster_algebra_plus", │ │ │ │ │ + name: "+", │ │ │ │ │ + parent: "cluster_algebra" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "fintype", │ │ │ │ │ - name: "fintype", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "ssrint", │ │ │ │ │ + name: "ssrint", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "div", │ │ │ │ │ - name: "div", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "mxalgebra", │ │ │ │ │ + name: "mxalgebra", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "choice", │ │ │ │ │ - name: "choice", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "vector", │ │ │ │ │ + name: "vector", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "path", │ │ │ │ │ - name: "path", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "polydiv", │ │ │ │ │ + name: "polydiv", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "eqtype", │ │ │ │ │ - name: "eqtype", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "intdiv", │ │ │ │ │ + name: "intdiv", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "ssrnotations", │ │ │ │ │ - name: "ssrnotations", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "poly", │ │ │ │ │ + name: "poly", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "fingraph", │ │ │ │ │ - name: "fingraph", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "interval", │ │ │ │ │ + name: "interval", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "all_ssreflect", │ │ │ │ │ - name: "all_ssreflect", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "all_algebra", │ │ │ │ │ + name: "all_algebra", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "prime", │ │ │ │ │ - name: "prime", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "polyXY", │ │ │ │ │ + name: "polyXY", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "binomial", │ │ │ │ │ - name: "binomial", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "matrix", │ │ │ │ │ + name: "matrix", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "finfun", │ │ │ │ │ - name: "finfun", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "ssralg", │ │ │ │ │ + name: "ssralg", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "ssrfun", │ │ │ │ │ - name: "ssrfun", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "archimedean", │ │ │ │ │ + name: "archimedean", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "tuple", │ │ │ │ │ - name: "tuple", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "fraction", │ │ │ │ │ + name: "fraction", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "ssrmatching", │ │ │ │ │ - name: "ssrmatching", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ + id: "ring_quotient", │ │ │ │ │ + name: "ring_quotient", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "cluster_algebra", │ │ │ │ │ - name: "algebra" │ │ │ │ │ - } │ │ │ │ │ - }, { │ │ │ │ │ - data: { │ │ │ │ │ - id: "cluster_algebra_plus", │ │ │ │ │ - name: "+", │ │ │ │ │ - parent: "cluster_algebra" │ │ │ │ │ + id: "zmodp", │ │ │ │ │ + name: "zmodp", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ + released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "countalg", │ │ │ │ │ - name: "countalg", │ │ │ │ │ + id: "qpoly", │ │ │ │ │ + name: "qpoly", │ │ │ │ │ parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "archimedean", │ │ │ │ │ - name: "archimedean", │ │ │ │ │ + id: "finalg", │ │ │ │ │ + name: "finalg", │ │ │ │ │ parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "polyXY", │ │ │ │ │ - name: "polyXY", │ │ │ │ │ + id: "countalg", │ │ │ │ │ + name: "countalg", │ │ │ │ │ parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "ssrnum", │ │ │ │ │ name: "ssrnum", │ │ │ │ │ @@ -385,263 +385,263 @@ │ │ │ │ │ id: "mxpoly", │ │ │ │ │ name: "mxpoly", │ │ │ │ │ parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "all_algebra", │ │ │ │ │ - name: "all_algebra", │ │ │ │ │ + id: "rat", │ │ │ │ │ + name: "rat", │ │ │ │ │ parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "fraction", │ │ │ │ │ - name: "fraction", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ - released: "no" │ │ │ │ │ + id: "cluster_ssreflect", │ │ │ │ │ + name: "ssreflect" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "ssrint", │ │ │ │ │ - name: "ssrint", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ - released: "no" │ │ │ │ │ + id: "cluster_ssreflect_plus", │ │ │ │ │ + name: "+", │ │ │ │ │ + parent: "cluster_ssreflect" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "polydiv", │ │ │ │ │ - name: "polydiv", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "all_ssreflect", │ │ │ │ │ + name: "all_ssreflect", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "rat", │ │ │ │ │ - name: "rat", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "tuple", │ │ │ │ │ + name: "tuple", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "ring_quotient", │ │ │ │ │ - name: "ring_quotient", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "path", │ │ │ │ │ + name: "path", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "finalg", │ │ │ │ │ - name: "finalg", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "eqtype", │ │ │ │ │ + name: "eqtype", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "zmodp", │ │ │ │ │ - name: "zmodp", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "choice", │ │ │ │ │ + name: "choice", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "vector", │ │ │ │ │ - name: "vector", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "div", │ │ │ │ │ + name: "div", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "ssralg", │ │ │ │ │ - name: "ssralg", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "ssrAC", │ │ │ │ │ + name: "ssrAC", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "intdiv", │ │ │ │ │ - name: "intdiv", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "binomial", │ │ │ │ │ + name: "binomial", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "matrix", │ │ │ │ │ - name: "matrix", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "prime", │ │ │ │ │ + name: "prime", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "mxalgebra", │ │ │ │ │ - name: "mxalgebra", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "generic_quotient", │ │ │ │ │ + name: "generic_quotient", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "poly", │ │ │ │ │ - name: "poly", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "finfun", │ │ │ │ │ + name: "finfun", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "interval", │ │ │ │ │ - name: "interval", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "ssrmatching", │ │ │ │ │ + name: "ssrmatching", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "qpoly", │ │ │ │ │ - name: "qpoly", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "ssreflect", │ │ │ │ │ + name: "ssreflect", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "cluster_fingroup", │ │ │ │ │ - name: "fingroup" │ │ │ │ │ + id: "bigop", │ │ │ │ │ + name: "bigop", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ + released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "cluster_fingroup_plus", │ │ │ │ │ - name: "+", │ │ │ │ │ - parent: "cluster_fingroup" │ │ │ │ │ + id: "seq", │ │ │ │ │ + name: "seq", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ + released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "automorphism", │ │ │ │ │ - name: "automorphism", │ │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ │ + id: "ssrnat", │ │ │ │ │ + name: "ssrnat", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "quotient", │ │ │ │ │ - name: "quotient", │ │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ │ + id: "ssrnotations", │ │ │ │ │ + name: "ssrnotations", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "presentation", │ │ │ │ │ - name: "presentation", │ │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ │ + id: "fintype", │ │ │ │ │ + name: "fintype", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "action", │ │ │ │ │ - name: "action", │ │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ │ + id: "fingraph", │ │ │ │ │ + name: "fingraph", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "gproduct", │ │ │ │ │ - name: "gproduct", │ │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ │ + id: "finset", │ │ │ │ │ + name: "finset", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "morphism", │ │ │ │ │ - name: "morphism", │ │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ │ + id: "ssrbool", │ │ │ │ │ + name: "ssrbool", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "fingroup", │ │ │ │ │ - name: "fingroup", │ │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ │ + id: "order", │ │ │ │ │ + name: "order", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "perm", │ │ │ │ │ - name: "perm", │ │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ │ + id: "ssrfun", │ │ │ │ │ + name: "ssrfun", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "all_fingroup", │ │ │ │ │ - name: "all_fingroup", │ │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ │ - released: "no" │ │ │ │ │ + id: "cluster_fingroup", │ │ │ │ │ + name: "fingroup" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "cluster_character", │ │ │ │ │ - name: "character" │ │ │ │ │ + id: "cluster_fingroup_plus", │ │ │ │ │ + name: "+", │ │ │ │ │ + parent: "cluster_fingroup" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "cluster_character_plus", │ │ │ │ │ - name: "+", │ │ │ │ │ - parent: "cluster_character" │ │ │ │ │ + id: "presentation", │ │ │ │ │ + name: "presentation", │ │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ │ + released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "vcharacter", │ │ │ │ │ - name: "vcharacter", │ │ │ │ │ - parent: "cluster_character", │ │ │ │ │ + id: "automorphism", │ │ │ │ │ + name: "automorphism", │ │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "integral_char", │ │ │ │ │ - name: "integral_char", │ │ │ │ │ - parent: "cluster_character", │ │ │ │ │ + id: "fingroup", │ │ │ │ │ + name: "fingroup", │ │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "all_character", │ │ │ │ │ - name: "all_character", │ │ │ │ │ - parent: "cluster_character", │ │ │ │ │ + id: "action", │ │ │ │ │ + name: "action", │ │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "mxrepresentation", │ │ │ │ │ - name: "mxrepresentation", │ │ │ │ │ - parent: "cluster_character", │ │ │ │ │ + id: "quotient", │ │ │ │ │ + name: "quotient", │ │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "mxabelem", │ │ │ │ │ - name: "mxabelem", │ │ │ │ │ - parent: "cluster_character", │ │ │ │ │ + id: "perm", │ │ │ │ │ + name: "perm", │ │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "inertia", │ │ │ │ │ - name: "inertia", │ │ │ │ │ - parent: "cluster_character", │ │ │ │ │ + id: "gproduct", │ │ │ │ │ + name: "gproduct", │ │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "classfun", │ │ │ │ │ - name: "classfun", │ │ │ │ │ - parent: "cluster_character", │ │ │ │ │ + id: "morphism", │ │ │ │ │ + name: "morphism", │ │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "character", │ │ │ │ │ - name: "character", │ │ │ │ │ - parent: "cluster_character", │ │ │ │ │ + id: "all_fingroup", │ │ │ │ │ + name: "all_fingroup", │ │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "cluster_field", │ │ │ │ │ name: "field" │ │ │ │ │ } │ │ │ │ │ @@ -649,51 +649,51 @@ │ │ │ │ │ data: { │ │ │ │ │ id: "cluster_field_plus", │ │ │ │ │ name: "+", │ │ │ │ │ parent: "cluster_field" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "algC", │ │ │ │ │ - name: "algC", │ │ │ │ │ + id: "qfpoly", │ │ │ │ │ + name: "qfpoly", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "separable", │ │ │ │ │ - name: "separable", │ │ │ │ │ + id: "algnum", │ │ │ │ │ + name: "algnum", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "falgebra", │ │ │ │ │ - name: "falgebra", │ │ │ │ │ + id: "algebraics_fundamentals", │ │ │ │ │ + name: "algebraics_fundamentals", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "algnum", │ │ │ │ │ - name: "algnum", │ │ │ │ │ + id: "closed_field", │ │ │ │ │ + name: "closed_field", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "galois", │ │ │ │ │ - name: "galois", │ │ │ │ │ + id: "falgebra", │ │ │ │ │ + name: "falgebra", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "qfpoly", │ │ │ │ │ - name: "qfpoly", │ │ │ │ │ + id: "separable", │ │ │ │ │ + name: "separable", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "finfield", │ │ │ │ │ name: "finfield", │ │ │ │ │ @@ -712,1034 +712,1034 @@ │ │ │ │ │ id: "cyclotomic", │ │ │ │ │ name: "cyclotomic", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "fieldext", │ │ │ │ │ - name: "fieldext", │ │ │ │ │ + id: "galois", │ │ │ │ │ + name: "galois", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "closed_field", │ │ │ │ │ - name: "closed_field", │ │ │ │ │ + id: "fieldext", │ │ │ │ │ + name: "fieldext", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "algebraics_fundamentals", │ │ │ │ │ - name: "algebraics_fundamentals", │ │ │ │ │ + id: "algC", │ │ │ │ │ + name: "algC", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge0", │ │ │ │ │ - source: "extraspecial", │ │ │ │ │ - target: "extremal" │ │ │ │ │ + source: "archimedean", │ │ │ │ │ + target: "ssrint" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge1", │ │ │ │ │ - source: "pgroup", │ │ │ │ │ - target: "cyclic" │ │ │ │ │ + source: "all", │ │ │ │ │ + target: "all_ssreflect" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge2", │ │ │ │ │ - source: "finmodule", │ │ │ │ │ - target: "cyclic" │ │ │ │ │ + source: "fintype", │ │ │ │ │ + target: "path" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge3", │ │ │ │ │ - source: "center", │ │ │ │ │ - target: "cyclic" │ │ │ │ │ + source: "zmodp", │ │ │ │ │ + target: "finalg" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge4", │ │ │ │ │ - source: "separable", │ │ │ │ │ - target: "cyclic" │ │ │ │ │ + source: "ssrnum", │ │ │ │ │ + target: "poly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge5", │ │ │ │ │ - source: "all_field", │ │ │ │ │ - target: "algnum" │ │ │ │ │ + source: "cyclic", │ │ │ │ │ + target: "poly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge6", │ │ │ │ │ - source: "classfun", │ │ │ │ │ - target: "algnum" │ │ │ │ │ + source: "polydiv", │ │ │ │ │ + target: "poly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge7", │ │ │ │ │ - source: "mxrepresentation", │ │ │ │ │ - target: "pgroup" │ │ │ │ │ + source: "falgebra", │ │ │ │ │ + target: "poly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge8", │ │ │ │ │ - source: "sylow", │ │ │ │ │ - target: "pgroup" │ │ │ │ │ + source: "character", │ │ │ │ │ + target: "mxrepresentation" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge9", │ │ │ │ │ - source: "archimedean", │ │ │ │ │ - target: "ssrint" │ │ │ │ │ + source: "mxabelem", │ │ │ │ │ + target: "mxrepresentation" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge10", │ │ │ │ │ - source: "div", │ │ │ │ │ - target: "seq" │ │ │ │ │ + source: "all_ssreflect", │ │ │ │ │ + target: "ssrAC" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge11", │ │ │ │ │ - source: "path", │ │ │ │ │ - target: "seq" │ │ │ │ │ + source: "ssrnum", │ │ │ │ │ + target: "ssrAC" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge12", │ │ │ │ │ - source: "choice", │ │ │ │ │ - target: "seq" │ │ │ │ │ + source: "fraction", │ │ │ │ │ + target: "ssrAC" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge13", │ │ │ │ │ - source: "action", │ │ │ │ │ - target: "quotient" │ │ │ │ │ + source: "character", │ │ │ │ │ + target: "classfun" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge14", │ │ │ │ │ - source: "extremal", │ │ │ │ │ - target: "presentation" │ │ │ │ │ + source: "intdiv", │ │ │ │ │ + target: "rat" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge15", │ │ │ │ │ - source: "all_fingroup", │ │ │ │ │ - target: "presentation" │ │ │ │ │ + source: "extremal", │ │ │ │ │ + target: "matrix" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge16", │ │ │ │ │ - source: "finfun", │ │ │ │ │ - target: "tuple" │ │ │ │ │ + source: "mxalgebra", │ │ │ │ │ + target: "matrix" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge17", │ │ │ │ │ - source: "ssrnat", │ │ │ │ │ - target: "eqtype" │ │ │ │ │ + source: "eqtype", │ │ │ │ │ + target: "ssrbool" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge18", │ │ │ │ │ - source: "finmodule", │ │ │ │ │ - target: "commutator" │ │ │ │ │ + source: "perm", │ │ │ │ │ + target: "morphism" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge19", │ │ │ │ │ - source: "mxrepresentation", │ │ │ │ │ - target: "commutator" │ │ │ │ │ + source: "presentation", │ │ │ │ │ + target: "morphism" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge20", │ │ │ │ │ - source: "gseries", │ │ │ │ │ - target: "commutator" │ │ │ │ │ + source: "path", │ │ │ │ │ + target: "seq" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge21", │ │ │ │ │ - source: "perm", │ │ │ │ │ - target: "binomial" │ │ │ │ │ + source: "choice", │ │ │ │ │ + target: "seq" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge22", │ │ │ │ │ - source: "ssralg", │ │ │ │ │ - target: "binomial" │ │ │ │ │ + source: "div", │ │ │ │ │ + target: "seq" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge23", │ │ │ │ │ - source: "all_ssreflect", │ │ │ │ │ - target: "binomial" │ │ │ │ │ + source: "closed_field", │ │ │ │ │ + target: "ring_quotient" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge24", │ │ │ │ │ - source: "mxpoly", │ │ │ │ │ - target: "mxalgebra" │ │ │ │ │ + source: "all_algebra", │ │ │ │ │ + target: "ring_quotient" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge25", │ │ │ │ │ - source: "vector", │ │ │ │ │ - target: "mxalgebra" │ │ │ │ │ + source: "qfpoly", │ │ │ │ │ + target: "qpoly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge26", │ │ │ │ │ - source: "automorphism", │ │ │ │ │ - target: "perm" │ │ │ │ │ + source: "all_algebra", │ │ │ │ │ + target: "qpoly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge27", │ │ │ │ │ - source: "maximal", │ │ │ │ │ - target: "finmodule" │ │ │ │ │ + source: "extraspecial", │ │ │ │ │ + target: "extremal" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge28", │ │ │ │ │ - source: "all_solvable", │ │ │ │ │ - target: "extraspecial" │ │ │ │ │ + source: "separable", │ │ │ │ │ + target: "fieldext" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge29", │ │ │ │ │ - source: "all", │ │ │ │ │ - target: "all_character" │ │ │ │ │ + source: "extremal", │ │ │ │ │ + target: "maximal" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge30", │ │ │ │ │ - source: "ring_quotient", │ │ │ │ │ - target: "ssralg" │ │ │ │ │ + source: "hall", │ │ │ │ │ + target: "maximal" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge31", │ │ │ │ │ - source: "countalg", │ │ │ │ │ - target: "ssralg" │ │ │ │ │ + source: "mxabelem", │ │ │ │ │ + target: "maximal" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge32", │ │ │ │ │ - source: "all_solvable", │ │ │ │ │ - target: "frobenius" │ │ │ │ │ + source: "qpoly", │ │ │ │ │ + target: "vector" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge33", │ │ │ │ │ - source: "inertia", │ │ │ │ │ - target: "frobenius" │ │ │ │ │ + source: "intdiv", │ │ │ │ │ + target: "vector" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge34", │ │ │ │ │ - source: "vcharacter", │ │ │ │ │ - target: "frobenius" │ │ │ │ │ + source: "falgebra", │ │ │ │ │ + target: "vector" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge35", │ │ │ │ │ - source: "eqtype", │ │ │ │ │ - target: "ssrbool" │ │ │ │ │ + source: "morphism", │ │ │ │ │ + target: "fingroup" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge36", │ │ │ │ │ - source: "cyclic", │ │ │ │ │ - target: "gproduct" │ │ │ │ │ + source: "ssrnum", │ │ │ │ │ + target: "fingroup" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge37", │ │ │ │ │ - source: "gfunctor", │ │ │ │ │ - target: "gproduct" │ │ │ │ │ + source: "algebraics_fundamentals", │ │ │ │ │ + target: "intdiv" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge38", │ │ │ │ │ - source: "all_fingroup", │ │ │ │ │ - target: "gproduct" │ │ │ │ │ + source: "all_algebra", │ │ │ │ │ + target: "intdiv" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge39", │ │ │ │ │ - source: "fraction", │ │ │ │ │ - target: "generic_quotient" │ │ │ │ │ + source: "fingroup", │ │ │ │ │ + target: "finset" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge40", │ │ │ │ │ - source: "ring_quotient", │ │ │ │ │ - target: "generic_quotient" │ │ │ │ │ + source: "binomial", │ │ │ │ │ + target: "finset" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge41", │ │ │ │ │ - source: "fieldext", │ │ │ │ │ - target: "generic_quotient" │ │ │ │ │ + source: "order", │ │ │ │ │ + target: "finset" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge42", │ │ │ │ │ - source: "all_ssreflect", │ │ │ │ │ - target: "generic_quotient" │ │ │ │ │ + source: "action", │ │ │ │ │ + target: "quotient" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge43", │ │ │ │ │ - source: "all_algebra", │ │ │ │ │ - target: "fraction" │ │ │ │ │ + source: "all", │ │ │ │ │ + target: "all_field" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge44", │ │ │ │ │ - source: "all_character", │ │ │ │ │ - target: "mxabelem" │ │ │ │ │ + source: "all_fingroup", │ │ │ │ │ + target: "gproduct" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge45", │ │ │ │ │ - source: "mxrepresentation", │ │ │ │ │ - target: "center" │ │ │ │ │ + source: "gfunctor", │ │ │ │ │ + target: "gproduct" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge46", │ │ │ │ │ - source: "gseries", │ │ │ │ │ - target: "center" │ │ │ │ │ + source: "cyclic", │ │ │ │ │ + target: "gproduct" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge47", │ │ │ │ │ - source: "all_solvable", │ │ │ │ │ - target: "alt" │ │ │ │ │ + source: "all", │ │ │ │ │ + target: "all_fingroup" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge48", │ │ │ │ │ - source: "tuple", │ │ │ │ │ - target: "fintype" │ │ │ │ │ + source: "all_character", │ │ │ │ │ + target: "inertia" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge49", │ │ │ │ │ - source: "generic_quotient", │ │ │ │ │ - target: "fintype" │ │ │ │ │ + source: "primitive_action", │ │ │ │ │ + target: "gseries" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge50", │ │ │ │ │ - source: "fingraph", │ │ │ │ │ - target: "fintype" │ │ │ │ │ + source: "jordanholder", │ │ │ │ │ + target: "gseries" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge51", │ │ │ │ │ - source: "fintype", │ │ │ │ │ - target: "div" │ │ │ │ │ + source: "nilpotent", │ │ │ │ │ + target: "gseries" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge52", │ │ │ │ │ - source: "all", │ │ │ │ │ - target: "all_solvable" │ │ │ │ │ + source: "algC", │ │ │ │ │ + target: "algebraics_fundamentals" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge53", │ │ │ │ │ - source: "all", │ │ │ │ │ - target: "all_field" │ │ │ │ │ + source: "mxrepresentation", │ │ │ │ │ + target: "center" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge54", │ │ │ │ │ - source: "cyclic", │ │ │ │ │ - target: "zmodp" │ │ │ │ │ + source: "gseries", │ │ │ │ │ + target: "center" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge55", │ │ │ │ │ - source: "matrix", │ │ │ │ │ - target: "zmodp" │ │ │ │ │ + source: "seq", │ │ │ │ │ + target: "ssrnat" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge56", │ │ │ │ │ - source: "rat", │ │ │ │ │ - target: "archimedean" │ │ │ │ │ + source: "mxrepresentation", │ │ │ │ │ + target: "commutator" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge57", │ │ │ │ │ - source: "all_algebra", │ │ │ │ │ - target: "polyXY" │ │ │ │ │ + source: "gseries", │ │ │ │ │ + target: "commutator" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge58", │ │ │ │ │ - source: "separable", │ │ │ │ │ - target: "polyXY" │ │ │ │ │ + source: "finmodule", │ │ │ │ │ + target: "commutator" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge59", │ │ │ │ │ - source: "polyXY", │ │ │ │ │ - target: "mxpoly" │ │ │ │ │ + source: "ssrint", │ │ │ │ │ + target: "ssrnum" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge60", │ │ │ │ │ - source: "mxrepresentation", │ │ │ │ │ - target: "mxpoly" │ │ │ │ │ + source: "interval", │ │ │ │ │ + target: "ssrnum" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge61", │ │ │ │ │ - source: "fieldext", │ │ │ │ │ - target: "mxpoly" │ │ │ │ │ + source: "cyclotomic", │ │ │ │ │ + target: "algC" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge62", │ │ │ │ │ - source: "qpoly", │ │ │ │ │ - target: "mxpoly" │ │ │ │ │ + source: "finfun", │ │ │ │ │ + target: "tuple" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge63", │ │ │ │ │ - source: "closed_field", │ │ │ │ │ - target: "mxpoly" │ │ │ │ │ + source: "center", │ │ │ │ │ + target: "gfunctor" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge64", │ │ │ │ │ - source: "ssrfun", │ │ │ │ │ - target: "ssrnotations" │ │ │ │ │ + source: "commutator", │ │ │ │ │ + target: "gfunctor" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge65", │ │ │ │ │ - source: "alt", │ │ │ │ │ - target: "primitive_action" │ │ │ │ │ + source: "pgroup", │ │ │ │ │ + target: "gfunctor" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge66", │ │ │ │ │ - source: "burnside_app", │ │ │ │ │ - target: "primitive_action" │ │ │ │ │ + source: "all_solvable", │ │ │ │ │ + target: "extraspecial" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge67", │ │ │ │ │ - source: "algebraics_fundamentals", │ │ │ │ │ - target: "galois" │ │ │ │ │ + source: "rat", │ │ │ │ │ + target: "archimedean" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge68", │ │ │ │ │ - source: "all_ssreflect", │ │ │ │ │ - target: "fingraph" │ │ │ │ │ + source: "inertia", │ │ │ │ │ + target: "character" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge69", │ │ │ │ │ - source: "all", │ │ │ │ │ - target: "all_algebra" │ │ │ │ │ + source: "integral_char", │ │ │ │ │ + target: "character" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge70", │ │ │ │ │ - source: "all_solvable", │ │ │ │ │ - target: "jordanholder" │ │ │ │ │ + source: "ssrfun", │ │ │ │ │ + target: "ssrnotations" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge71", │ │ │ │ │ - source: "frobenius", │ │ │ │ │ - target: "hall" │ │ │ │ │ + source: "automorphism", │ │ │ │ │ + target: "perm" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge72", │ │ │ │ │ - source: "all_character", │ │ │ │ │ - target: "inertia" │ │ │ │ │ + source: "finfield", │ │ │ │ │ + target: "cyclotomic" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge73", │ │ │ │ │ - source: "all_field", │ │ │ │ │ - target: "qfpoly" │ │ │ │ │ + source: "algnum", │ │ │ │ │ + target: "cyclotomic" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge74", │ │ │ │ │ - source: "algC", │ │ │ │ │ - target: "algebraics_fundamentals" │ │ │ │ │ + source: "all_ssreflect", │ │ │ │ │ + target: "fingraph" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge75", │ │ │ │ │ - source: "pgroup", │ │ │ │ │ - target: "gfunctor" │ │ │ │ │ + source: "burnside_app", │ │ │ │ │ + target: "primitive_action" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge76", │ │ │ │ │ - source: "commutator", │ │ │ │ │ - target: "gfunctor" │ │ │ │ │ + source: "alt", │ │ │ │ │ + target: "primitive_action" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge77", │ │ │ │ │ - source: "center", │ │ │ │ │ - target: "gfunctor" │ │ │ │ │ + source: "frobenius", │ │ │ │ │ + target: "hall" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge78", │ │ │ │ │ - source: "all_solvable", │ │ │ │ │ - target: "burnside_app" │ │ │ │ │ + source: "all", │ │ │ │ │ + target: "all_character" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge79", │ │ │ │ │ - source: "qfpoly", │ │ │ │ │ - target: "finfield" │ │ │ │ │ + source: "fingroup", │ │ │ │ │ + target: "prime" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge80", │ │ │ │ │ - source: "mxabelem", │ │ │ │ │ - target: "mxrepresentation" │ │ │ │ │ + source: "binomial", │ │ │ │ │ + target: "prime" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge81", │ │ │ │ │ - source: "character", │ │ │ │ │ - target: "mxrepresentation" │ │ │ │ │ + source: "order", │ │ │ │ │ + target: "prime" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge82", │ │ │ │ │ - source: "all_algebra", │ │ │ │ │ - target: "ring_quotient" │ │ │ │ │ + source: "matrix", │ │ │ │ │ + target: "zmodp" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge83", │ │ │ │ │ - source: "closed_field", │ │ │ │ │ - target: "ring_quotient" │ │ │ │ │ + source: "cyclic", │ │ │ │ │ + target: "zmodp" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge84", │ │ │ │ │ - source: "binomial", │ │ │ │ │ - target: "prime" │ │ │ │ │ + source: "all_solvable", │ │ │ │ │ + target: "jordanholder" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge85", │ │ │ │ │ - source: "order", │ │ │ │ │ - target: "prime" │ │ │ │ │ + source: "maximal", │ │ │ │ │ + target: "finmodule" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge86", │ │ │ │ │ - source: "fingroup", │ │ │ │ │ - target: "prime" │ │ │ │ │ + source: "all_solvable", │ │ │ │ │ + target: "burnside_app" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge87", │ │ │ │ │ - source: "ssrint", │ │ │ │ │ - target: "ssrnum" │ │ │ │ │ + source: "ssrAC", │ │ │ │ │ + target: "bigop" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge88", │ │ │ │ │ - source: "interval", │ │ │ │ │ - target: "ssrnum" │ │ │ │ │ + source: "finset", │ │ │ │ │ + target: "bigop" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge89", │ │ │ │ │ - source: "all_character", │ │ │ │ │ - target: "vcharacter" │ │ │ │ │ + source: "prime", │ │ │ │ │ + target: "bigop" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge90", │ │ │ │ │ - source: "sylow", │ │ │ │ │ - target: "nilpotent" │ │ │ │ │ + source: "all_algebra", │ │ │ │ │ + target: "fraction" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge91", │ │ │ │ │ - source: "algnum", │ │ │ │ │ - target: "cyclotomic" │ │ │ │ │ + source: "all_solvable", │ │ │ │ │ + target: "alt" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge92", │ │ │ │ │ - source: "finfield", │ │ │ │ │ - target: "cyclotomic" │ │ │ │ │ + source: "algebraics_fundamentals", │ │ │ │ │ + target: "sylow" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge93", │ │ │ │ │ - source: "galois", │ │ │ │ │ - target: "separable" │ │ │ │ │ + source: "alt", │ │ │ │ │ + target: "sylow" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge94", │ │ │ │ │ - source: "separable", │ │ │ │ │ - target: "fieldext" │ │ │ │ │ + source: "abelian", │ │ │ │ │ + target: "sylow" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge95", │ │ │ │ │ - source: "qpoly", │ │ │ │ │ - target: "vector" │ │ │ │ │ + source: "extremal", │ │ │ │ │ + target: "presentation" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge96", │ │ │ │ │ - source: "intdiv", │ │ │ │ │ - target: "vector" │ │ │ │ │ + source: "all_fingroup", │ │ │ │ │ + target: "presentation" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge97", │ │ │ │ │ - source: "falgebra", │ │ │ │ │ - target: "vector" │ │ │ │ │ + source: "center", │ │ │ │ │ + target: "cyclic" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge98", │ │ │ │ │ - source: "cyclic", │ │ │ │ │ - target: "poly" │ │ │ │ │ + source: "finmodule", │ │ │ │ │ + target: "cyclic" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge99", │ │ │ │ │ - source: "ssrnum", │ │ │ │ │ - target: "poly" │ │ │ │ │ + source: "separable", │ │ │ │ │ + target: "cyclic" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge100", │ │ │ │ │ - source: "polydiv", │ │ │ │ │ - target: "poly" │ │ │ │ │ + source: "pgroup", │ │ │ │ │ + target: "cyclic" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge101", │ │ │ │ │ - source: "falgebra", │ │ │ │ │ - target: "poly" │ │ │ │ │ + source: "finalg", │ │ │ │ │ + target: "countalg" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge102", │ │ │ │ │ - source: "character", │ │ │ │ │ - target: "classfun" │ │ │ │ │ + source: "poly", │ │ │ │ │ + target: "countalg" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge103", │ │ │ │ │ - source: "extremal", │ │ │ │ │ - target: "maximal" │ │ │ │ │ + source: "vcharacter", │ │ │ │ │ + target: "integral_char" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge104", │ │ │ │ │ - source: "mxabelem", │ │ │ │ │ - target: "maximal" │ │ │ │ │ + source: "all_character", │ │ │ │ │ + target: "vcharacter" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge105", │ │ │ │ │ - source: "hall", │ │ │ │ │ - target: "maximal" │ │ │ │ │ + source: "ssrbool", │ │ │ │ │ + target: "ssrfun" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge106", │ │ │ │ │ - source: "poly", │ │ │ │ │ - target: "countalg" │ │ │ │ │ + source: "all_field", │ │ │ │ │ + target: "qfpoly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge107", │ │ │ │ │ - source: "finalg", │ │ │ │ │ - target: "countalg" │ │ │ │ │ + source: "qfpoly", │ │ │ │ │ + target: "finfield" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge108", │ │ │ │ │ - source: "ssrbool", │ │ │ │ │ - target: "ssrfun" │ │ │ │ │ + source: "algebraics_fundamentals", │ │ │ │ │ + target: "closed_field" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge109", │ │ │ │ │ - source: "cyclotomic", │ │ │ │ │ - target: "algC" │ │ │ │ │ + source: "vector", │ │ │ │ │ + target: "mxalgebra" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge110", │ │ │ │ │ - source: "all_algebra", │ │ │ │ │ - target: "qpoly" │ │ │ │ │ + source: "mxpoly", │ │ │ │ │ + target: "mxalgebra" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge111", │ │ │ │ │ - source: "qfpoly", │ │ │ │ │ - target: "qpoly" │ │ │ │ │ + source: "algebraics_fundamentals", │ │ │ │ │ + target: "galois" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge112", │ │ │ │ │ - source: "all_algebra", │ │ │ │ │ - target: "intdiv" │ │ │ │ │ + source: "galois", │ │ │ │ │ + target: "separable" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge113", │ │ │ │ │ - source: "algebraics_fundamentals", │ │ │ │ │ - target: "intdiv" │ │ │ │ │ + source: "intdiv", │ │ │ │ │ + target: "polydiv" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge114", │ │ │ │ │ - source: "zmodp", │ │ │ │ │ - target: "finalg" │ │ │ │ │ + source: "fraction", │ │ │ │ │ + target: "polydiv" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge115", │ │ │ │ │ - source: "finfield", │ │ │ │ │ - target: "abelian" │ │ │ │ │ + source: "mxpoly", │ │ │ │ │ + target: "polydiv" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge116", │ │ │ │ │ - source: "maximal", │ │ │ │ │ - target: "abelian" │ │ │ │ │ + source: "inertia", │ │ │ │ │ + target: "frobenius" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge117", │ │ │ │ │ - source: "character", │ │ │ │ │ - target: "abelian" │ │ │ │ │ + source: "vcharacter", │ │ │ │ │ + target: "frobenius" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge118", │ │ │ │ │ - source: "alt", │ │ │ │ │ - target: "sylow" │ │ │ │ │ + source: "all_solvable", │ │ │ │ │ + target: "frobenius" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge119", │ │ │ │ │ - source: "algebraics_fundamentals", │ │ │ │ │ - target: "sylow" │ │ │ │ │ + source: "fintype", │ │ │ │ │ + target: "choice" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge120", │ │ │ │ │ - source: "abelian", │ │ │ │ │ - target: "sylow" │ │ │ │ │ + source: "classfun", │ │ │ │ │ + target: "algnum" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge121", │ │ │ │ │ - source: "seq", │ │ │ │ │ - target: "ssrnat" │ │ │ │ │ + source: "all_field", │ │ │ │ │ + target: "algnum" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge122", │ │ │ │ │ - source: "ssrfun", │ │ │ │ │ - target: "ssreflect" │ │ │ │ │ + source: "fieldext", │ │ │ │ │ + target: "falgebra" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge123", │ │ │ │ │ - source: "prime", │ │ │ │ │ - target: "bigop" │ │ │ │ │ + source: "all_algebra", │ │ │ │ │ + target: "interval" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge124", │ │ │ │ │ - source: "ssrAC", │ │ │ │ │ - target: "bigop" │ │ │ │ │ + source: "sylow", │ │ │ │ │ + target: "nilpotent" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge125", │ │ │ │ │ - source: "finset", │ │ │ │ │ - target: "bigop" │ │ │ │ │ + source: "all", │ │ │ │ │ + target: "all_algebra" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge126", │ │ │ │ │ - source: "presentation", │ │ │ │ │ - target: "morphism" │ │ │ │ │ + source: "bigop", │ │ │ │ │ + target: "finfun" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge127", │ │ │ │ │ - source: "perm", │ │ │ │ │ - target: "morphism" │ │ │ │ │ + source: "ssrnat", │ │ │ │ │ + target: "eqtype" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge128", │ │ │ │ │ - source: "intdiv", │ │ │ │ │ - target: "rat" │ │ │ │ │ + source: "all_ssreflect", │ │ │ │ │ + target: "binomial" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge129", │ │ │ │ │ - source: "fraction", │ │ │ │ │ - target: "ssrAC" │ │ │ │ │ + source: "perm", │ │ │ │ │ + target: "binomial" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge130", │ │ │ │ │ - source: "ssrnum", │ │ │ │ │ - target: "ssrAC" │ │ │ │ │ + source: "ssralg", │ │ │ │ │ + target: "binomial" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge131", │ │ │ │ │ - source: "all_ssreflect", │ │ │ │ │ - target: "ssrAC" │ │ │ │ │ + source: "separable", │ │ │ │ │ + target: "polyXY" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge132", │ │ │ │ │ - source: "fraction", │ │ │ │ │ - target: "polydiv" │ │ │ │ │ + source: "all_algebra", │ │ │ │ │ + target: "polyXY" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge133", │ │ │ │ │ - source: "mxpoly", │ │ │ │ │ - target: "polydiv" │ │ │ │ │ + source: "ssrfun", │ │ │ │ │ + target: "ssreflect" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge134", │ │ │ │ │ - source: "intdiv", │ │ │ │ │ - target: "polydiv" │ │ │ │ │ + source: "quotient", │ │ │ │ │ + target: "automorphism" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge135", │ │ │ │ │ - source: "ssrnum", │ │ │ │ │ - target: "order" │ │ │ │ │ + source: "fintype", │ │ │ │ │ + target: "div" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge136", │ │ │ │ │ - source: "all_ssreflect", │ │ │ │ │ - target: "order" │ │ │ │ │ + source: "ring_quotient", │ │ │ │ │ + target: "ssralg" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge137", │ │ │ │ │ - source: "matrix", │ │ │ │ │ - target: "order" │ │ │ │ │ + source: "countalg", │ │ │ │ │ + target: "ssralg" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge138", │ │ │ │ │ - source: "ssrnum", │ │ │ │ │ - target: "fingroup" │ │ │ │ │ + source: "mxrepresentation", │ │ │ │ │ + target: "mxpoly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge139", │ │ │ │ │ - source: "morphism", │ │ │ │ │ - target: "fingroup" │ │ │ │ │ + source: "qpoly", │ │ │ │ │ + target: "mxpoly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge140", │ │ │ │ │ - source: "quotient", │ │ │ │ │ - target: "automorphism" │ │ │ │ │ + source: "fieldext", │ │ │ │ │ + target: "mxpoly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge141", │ │ │ │ │ - source: "fintype", │ │ │ │ │ - target: "path" │ │ │ │ │ + source: "closed_field", │ │ │ │ │ + target: "mxpoly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge142", │ │ │ │ │ - source: "all", │ │ │ │ │ - target: "all_ssreflect" │ │ │ │ │ + source: "polyXY", │ │ │ │ │ + target: "mxpoly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge143", │ │ │ │ │ - source: "fieldext", │ │ │ │ │ - target: "falgebra" │ │ │ │ │ + source: "finalg", │ │ │ │ │ + target: "action" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge144", │ │ │ │ │ source: "gproduct", │ │ │ │ │ target: "action" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge145", │ │ │ │ │ - source: "finalg", │ │ │ │ │ - target: "action" │ │ │ │ │ + source: "all", │ │ │ │ │ + target: "all_solvable" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge146", │ │ │ │ │ - source: "fintype", │ │ │ │ │ - target: "choice" │ │ │ │ │ + source: "all_ssreflect", │ │ │ │ │ + target: "generic_quotient" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge147", │ │ │ │ │ - source: "inertia", │ │ │ │ │ - target: "character" │ │ │ │ │ + source: "ring_quotient", │ │ │ │ │ + target: "generic_quotient" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge148", │ │ │ │ │ - source: "integral_char", │ │ │ │ │ - target: "character" │ │ │ │ │ + source: "fieldext", │ │ │ │ │ + target: "generic_quotient" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge149", │ │ │ │ │ - source: "bigop", │ │ │ │ │ - target: "finfun" │ │ │ │ │ + source: "fraction", │ │ │ │ │ + target: "generic_quotient" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge150", │ │ │ │ │ - source: "vcharacter", │ │ │ │ │ - target: "integral_char" │ │ │ │ │ + source: "tuple", │ │ │ │ │ + target: "fintype" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge151", │ │ │ │ │ - source: "binomial", │ │ │ │ │ - target: "finset" │ │ │ │ │ + source: "fingraph", │ │ │ │ │ + target: "fintype" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge152", │ │ │ │ │ - source: "order", │ │ │ │ │ - target: "finset" │ │ │ │ │ + source: "generic_quotient", │ │ │ │ │ + target: "fintype" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge153", │ │ │ │ │ - source: "fingroup", │ │ │ │ │ - target: "finset" │ │ │ │ │ + source: "maximal", │ │ │ │ │ + target: "abelian" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge154", │ │ │ │ │ - source: "algebraics_fundamentals", │ │ │ │ │ - target: "closed_field" │ │ │ │ │ + source: "character", │ │ │ │ │ + target: "abelian" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge155", │ │ │ │ │ - source: "extremal", │ │ │ │ │ - target: "matrix" │ │ │ │ │ + source: "finfield", │ │ │ │ │ + target: "abelian" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge156", │ │ │ │ │ - source: "mxalgebra", │ │ │ │ │ - target: "matrix" │ │ │ │ │ + source: "all_ssreflect", │ │ │ │ │ + target: "order" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge157", │ │ │ │ │ - source: "all", │ │ │ │ │ - target: "all_fingroup" │ │ │ │ │ + source: "matrix", │ │ │ │ │ + target: "order" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge158", │ │ │ │ │ - source: "primitive_action", │ │ │ │ │ - target: "gseries" │ │ │ │ │ + source: "ssrnum", │ │ │ │ │ + target: "order" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge159", │ │ │ │ │ - source: "jordanholder", │ │ │ │ │ - target: "gseries" │ │ │ │ │ + source: "all_character", │ │ │ │ │ + target: "mxabelem" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge160", │ │ │ │ │ - source: "nilpotent", │ │ │ │ │ - target: "gseries" │ │ │ │ │ + source: "mxrepresentation", │ │ │ │ │ + target: "pgroup" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge161", │ │ │ │ │ - source: "all_algebra", │ │ │ │ │ - target: "interval" │ │ │ │ │ + source: "sylow", │ │ │ │ │ + target: "pgroup" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge162", │ │ │ │ │ - source: "cluster_field", │ │ │ │ │ - target: "cluster_solvable" │ │ │ │ │ + source: "cluster_all", │ │ │ │ │ + target: "cluster_character" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge163", │ │ │ │ │ - source: "cluster_fingroup", │ │ │ │ │ - target: "cluster_ssreflect" │ │ │ │ │ + source: "cluster_field", │ │ │ │ │ + target: "cluster_solvable" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge164", │ │ │ │ │ source: "cluster_solvable", │ │ │ │ │ target: "cluster_algebra" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge165", │ │ │ │ │ - source: "cluster_algebra", │ │ │ │ │ - target: "cluster_fingroup" │ │ │ │ │ + source: "cluster_fingroup", │ │ │ │ │ + target: "cluster_ssreflect" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge166", │ │ │ │ │ - source: "cluster_all", │ │ │ │ │ - target: "cluster_character" │ │ │ │ │ + source: "cluster_algebra", │ │ │ │ │ + target: "cluster_fingroup" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge167", │ │ │ │ │ source: "cluster_character", │ │ │ │ │ target: "cluster_field" │ │ │ │ │ }