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