{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.9ESCBiq8/b1/ssreflect_2.2.0-2_arm64.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.9ESCBiq8/b2/ssreflect_2.2.0-2_arm64.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,8 +1,8 @@\n \n 165ccafef85a27db77f60634abffc983 10003364 math optional libcoq-mathcomp-algebra_2.2.0-2_arm64.deb\n 72c7c262a564e2f9997f4b90d30cadbc 4186808 math optional libcoq-mathcomp-character_2.2.0-2_arm64.deb\n 78671c4e28e742ff491f5dbbf692e54e 3250084 math optional libcoq-mathcomp-field_2.2.0-2_arm64.deb\n 85928e014be67fb2655d7cb391279b97 2161664 math optional libcoq-mathcomp-fingroup_2.2.0-2_arm64.deb\n 3e1489b62994c0f75bbd3a879aef4462 4725788 math optional libcoq-mathcomp-solvable_2.2.0-2_arm64.deb\n 280b2aeac2885b86fe1fe5740fe083e2 6078180 math optional libcoq-mathcomp-ssreflect_2.2.0-2_arm64.deb\n- 2dcc8c2c72e82a96e8481d736c696d4c 2861768 math optional libcoq-mathcomp_2.2.0-2_arm64.deb\n+ e02003d85ef963f85f7d029a7f1d25f8 2861748 math optional libcoq-mathcomp_2.2.0-2_arm64.deb\n"}, {"source1": "libcoq-mathcomp_2.2.0-2_arm64.deb", "source2": "libcoq-mathcomp_2.2.0-2_arm64.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 10216 2024-08-03 08:09:08.000000 control.tar.xz\n--rw-r--r-- 0 0 0 2851360 2024-08-03 08:09:08.000000 data.tar.xz\n+-rw-r--r-- 0 0 0 2851340 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": "@@ -1,394 +1,412 @@\n var depends = [\n \n {\n data: {\n- id: \"cluster_solvable\",\n- name: \"solvable\"\n+ id: \"cluster_field\",\n+ name: \"field\"\n }\n }, {\n data: {\n- id: \"cluster_solvable_plus\",\n+ id: \"cluster_field_plus\",\n name: \"+\",\n- parent: \"cluster_solvable\"\n+ parent: \"cluster_field\"\n }\n }, {\n data: {\n- id: \"frobenius\",\n- name: \"frobenius\",\n- parent: \"cluster_solvable\",\n+ id: \"cyclotomic\",\n+ name: \"cyclotomic\",\n+ parent: \"cluster_field\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"extremal\",\n- name: \"extremal\",\n- parent: \"cluster_solvable\",\n+ id: \"algnum\",\n+ name: \"algnum\",\n+ parent: \"cluster_field\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"all_solvable\",\n- name: \"all_solvable\",\n- parent: \"cluster_solvable\",\n+ id: \"closed_field\",\n+ name: \"closed_field\",\n+ parent: \"cluster_field\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"pgroup\",\n- name: \"pgroup\",\n- parent: \"cluster_solvable\",\n+ id: \"qfpoly\",\n+ name: \"qfpoly\",\n+ parent: \"cluster_field\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"extraspecial\",\n- name: \"extraspecial\",\n- parent: \"cluster_solvable\",\n+ id: \"finfield\",\n+ name: \"finfield\",\n+ parent: \"cluster_field\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"jordanholder\",\n- name: \"jordanholder\",\n- parent: \"cluster_solvable\",\n+ id: \"fieldext\",\n+ name: \"fieldext\",\n+ parent: \"cluster_field\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"sylow\",\n- name: \"sylow\",\n- parent: \"cluster_solvable\",\n+ id: \"algC\",\n+ name: \"algC\",\n+ parent: \"cluster_field\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"center\",\n- name: \"center\",\n- parent: \"cluster_solvable\",\n+ id: \"separable\",\n+ name: \"separable\",\n+ parent: \"cluster_field\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"commutator\",\n- name: \"commutator\",\n- parent: \"cluster_solvable\",\n+ id: \"algebraics_fundamentals\",\n+ name: \"algebraics_fundamentals\",\n+ parent: \"cluster_field\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"burnside_app\",\n- name: \"burnside_app\",\n- parent: \"cluster_solvable\",\n+ id: \"galois\",\n+ name: \"galois\",\n+ parent: \"cluster_field\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"alt\",\n- name: \"alt\",\n- parent: \"cluster_solvable\",\n+ id: \"all_field\",\n+ name: \"all_field\",\n+ parent: \"cluster_field\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"gseries\",\n- name: \"gseries\",\n- parent: \"cluster_solvable\",\n+ id: \"falgebra\",\n+ name: \"falgebra\",\n+ parent: \"cluster_field\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"cyclic\",\n- name: \"cyclic\",\n- parent: \"cluster_solvable\",\n- released: \"no\"\n+ id: \"cluster_all\",\n+ name: \"all\"\n }\n }, {\n data: {\n- id: \"nilpotent\",\n- name: \"nilpotent\",\n- parent: \"cluster_solvable\",\n- released: \"no\"\n+ id: \"cluster_all_plus\",\n+ name: \"+\",\n+ parent: \"cluster_all\"\n }\n }, {\n data: {\n- id: \"hall\",\n- name: \"hall\",\n- parent: \"cluster_solvable\",\n+ id: \"all\",\n+ name: \"all\",\n+ parent: \"cluster_all\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"finmodule\",\n- name: \"finmodule\",\n- parent: \"cluster_solvable\",\n- released: \"no\"\n+ id: \"cluster_fingroup\",\n+ name: \"fingroup\"\n }\n }, {\n data: {\n- id: \"abelian\",\n- name: \"abelian\",\n- parent: \"cluster_solvable\",\n- released: \"no\"\n+ id: \"cluster_fingroup_plus\",\n+ name: \"+\",\n+ parent: \"cluster_fingroup\"\n }\n }, {\n data: {\n- id: \"gfunctor\",\n- name: \"gfunctor\",\n- parent: \"cluster_solvable\",\n+ id: \"automorphism\",\n+ name: \"automorphism\",\n+ parent: \"cluster_fingroup\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"primitive_action\",\n- name: \"primitive_action\",\n- parent: \"cluster_solvable\",\n+ id: \"presentation\",\n+ name: \"presentation\",\n+ parent: \"cluster_fingroup\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"maximal\",\n- name: \"maximal\",\n- parent: \"cluster_solvable\",\n+ id: \"quotient\",\n+ name: \"quotient\",\n+ parent: \"cluster_fingroup\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"cluster_character\",\n- name: \"character\"\n+ id: \"morphism\",\n+ name: \"morphism\",\n+ parent: \"cluster_fingroup\",\n+ released: \"no\"\n }\n }, {\n data: {\n- id: \"cluster_character_plus\",\n- name: \"+\",\n- parent: \"cluster_character\"\n+ id: \"perm\",\n+ name: \"perm\",\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: \"action\",\n+ name: \"action\",\n+ parent: \"cluster_fingroup\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"character\",\n- name: \"character\",\n- parent: \"cluster_character\",\n+ id: \"fingroup\",\n+ name: \"fingroup\",\n+ parent: \"cluster_fingroup\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"inertia\",\n- name: \"inertia\",\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: \"vcharacter\",\n- name: \"vcharacter\",\n- parent: \"cluster_character\",\n+ id: \"gproduct\",\n+ name: \"gproduct\",\n+ parent: \"cluster_fingroup\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"all_character\",\n- name: \"all_character\",\n- parent: \"cluster_character\",\n- released: \"no\"\n+ id: \"cluster_solvable\",\n+ name: \"solvable\"\n }\n }, {\n data: {\n- id: \"mxabelem\",\n- name: \"mxabelem\",\n- parent: \"cluster_character\",\n+ id: \"cluster_solvable_plus\",\n+ name: \"+\",\n+ parent: \"cluster_solvable\"\n+ }\n+ }, {\n+ data: {\n+ id: \"commutator\",\n+ name: \"commutator\",\n+ parent: \"cluster_solvable\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"mxrepresentation\",\n- name: \"mxrepresentation\",\n- parent: \"cluster_character\",\n+ id: \"nilpotent\",\n+ name: \"nilpotent\",\n+ parent: \"cluster_solvable\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"classfun\",\n- name: \"classfun\",\n- parent: \"cluster_character\",\n+ id: \"alt\",\n+ name: \"alt\",\n+ parent: \"cluster_solvable\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"cluster_fingroup\",\n- name: \"fingroup\"\n+ id: \"extremal\",\n+ name: \"extremal\",\n+ parent: \"cluster_solvable\",\n+ released: \"no\"\n }\n }, {\n data: {\n- id: \"cluster_fingroup_plus\",\n- name: \"+\",\n- parent: \"cluster_fingroup\"\n+ id: \"maximal\",\n+ name: \"maximal\",\n+ parent: \"cluster_solvable\",\n+ released: \"no\"\n }\n }, {\n data: {\n- id: \"morphism\",\n- name: \"morphism\",\n- parent: \"cluster_fingroup\",\n+ id: \"jordanholder\",\n+ name: \"jordanholder\",\n+ parent: \"cluster_solvable\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"automorphism\",\n- name: \"automorphism\",\n- parent: \"cluster_fingroup\",\n+ id: \"center\",\n+ name: \"center\",\n+ parent: \"cluster_solvable\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"presentation\",\n- name: \"presentation\",\n- parent: \"cluster_fingroup\",\n+ id: \"primitive_action\",\n+ name: \"primitive_action\",\n+ parent: \"cluster_solvable\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"action\",\n- name: \"action\",\n- parent: \"cluster_fingroup\",\n+ id: \"hall\",\n+ name: \"hall\",\n+ parent: \"cluster_solvable\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"fingroup\",\n- name: \"fingroup\",\n- parent: \"cluster_fingroup\",\n+ id: \"cyclic\",\n+ name: \"cyclic\",\n+ parent: \"cluster_solvable\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"gproduct\",\n- name: \"gproduct\",\n- parent: \"cluster_fingroup\",\n+ id: \"finmodule\",\n+ name: \"finmodule\",\n+ parent: \"cluster_solvable\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"perm\",\n- name: \"perm\",\n- parent: \"cluster_fingroup\",\n+ id: \"burnside_app\",\n+ name: \"burnside_app\",\n+ parent: \"cluster_solvable\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"all_fingroup\",\n- name: \"all_fingroup\",\n- parent: \"cluster_fingroup\",\n+ id: \"gseries\",\n+ name: \"gseries\",\n+ parent: \"cluster_solvable\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"quotient\",\n- name: \"quotient\",\n- parent: \"cluster_fingroup\",\n+ id: \"gfunctor\",\n+ name: \"gfunctor\",\n+ parent: \"cluster_solvable\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"cluster_field\",\n- name: \"field\"\n+ id: \"extraspecial\",\n+ name: \"extraspecial\",\n+ parent: \"cluster_solvable\",\n+ released: \"no\"\n }\n }, {\n data: {\n- id: \"cluster_field_plus\",\n- name: \"+\",\n- parent: \"cluster_field\"\n+ id: \"abelian\",\n+ name: \"abelian\",\n+ parent: \"cluster_solvable\",\n+ released: \"no\"\n }\n }, {\n data: {\n- id: \"falgebra\",\n- name: \"falgebra\",\n- parent: \"cluster_field\",\n+ id: \"pgroup\",\n+ name: \"pgroup\",\n+ parent: \"cluster_solvable\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"finfield\",\n- name: \"finfield\",\n- parent: \"cluster_field\",\n+ id: \"all_solvable\",\n+ name: \"all_solvable\",\n+ parent: \"cluster_solvable\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"separable\",\n- name: \"separable\",\n- parent: \"cluster_field\",\n+ id: \"sylow\",\n+ name: \"sylow\",\n+ parent: \"cluster_solvable\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"qfpoly\",\n- name: \"qfpoly\",\n- parent: \"cluster_field\",\n+ id: \"frobenius\",\n+ name: \"frobenius\",\n+ parent: \"cluster_solvable\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"galois\",\n- name: \"galois\",\n- parent: \"cluster_field\",\n+ id: \"cluster_character\",\n+ name: \"character\"\n+ }\n+ }, {\n+ data: {\n+ id: \"cluster_character_plus\",\n+ name: \"+\",\n+ parent: \"cluster_character\"\n+ }\n+ }, {\n+ data: {\n+ id: \"mxabelem\",\n+ name: \"mxabelem\",\n+ parent: \"cluster_character\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"fieldext\",\n- name: \"fieldext\",\n- parent: \"cluster_field\",\n+ id: \"vcharacter\",\n+ name: \"vcharacter\",\n+ parent: \"cluster_character\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"algnum\",\n- name: \"algnum\",\n- parent: \"cluster_field\",\n+ id: \"mxrepresentation\",\n+ name: \"mxrepresentation\",\n+ parent: \"cluster_character\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"all_field\",\n- name: \"all_field\",\n- parent: \"cluster_field\",\n+ id: \"inertia\",\n+ name: \"inertia\",\n+ parent: \"cluster_character\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"algebraics_fundamentals\",\n- name: \"algebraics_fundamentals\",\n- parent: \"cluster_field\",\n+ id: \"character\",\n+ name: \"character\",\n+ parent: \"cluster_character\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"closed_field\",\n- name: \"closed_field\",\n- parent: \"cluster_field\",\n+ id: \"classfun\",\n+ name: \"classfun\",\n+ parent: \"cluster_character\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"algC\",\n- name: \"algC\",\n- parent: \"cluster_field\",\n+ id: \"integral_char\",\n+ name: \"integral_char\",\n+ parent: \"cluster_character\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"cyclotomic\",\n- name: \"cyclotomic\",\n- parent: \"cluster_field\",\n+ id: \"all_character\",\n+ name: \"all_character\",\n+ parent: \"cluster_character\",\n released: \"no\"\n }\n }, {\n data: {\n id: \"cluster_ssreflect\",\n name: \"ssreflect\"\n }\n@@ -396,189 +414,171 @@\n data: {\n id: \"cluster_ssreflect_plus\",\n name: \"+\",\n parent: \"cluster_ssreflect\"\n }\n }, {\n data: {\n- id: \"finset\",\n- name: \"finset\",\n- parent: \"cluster_ssreflect\",\n- released: \"no\"\n- }\n- }, {\n- data: {\n- id: \"ssrfun\",\n- name: \"ssrfun\",\n- parent: \"cluster_ssreflect\",\n- released: \"no\"\n- }\n- }, {\n- data: {\n- id: \"path\",\n- name: \"path\",\n+ id: \"generic_quotient\",\n+ name: \"generic_quotient\",\n parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"ssrbool\",\n- name: \"ssrbool\",\n+ id: \"finset\",\n+ name: \"finset\",\n parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"eqtype\",\n- name: \"eqtype\",\n+ id: \"ssrAC\",\n+ name: \"ssrAC\",\n parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n id: \"binomial\",\n name: \"binomial\",\n parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"prime\",\n- name: \"prime\",\n+ id: \"ssrfun\",\n+ name: \"ssrfun\",\n parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"bigop\",\n- name: \"bigop\",\n+ id: \"ssrbool\",\n+ name: \"ssrbool\",\n parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"choice\",\n- name: \"choice\",\n+ id: \"finfun\",\n+ name: \"finfun\",\n parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n id: \"tuple\",\n name: \"tuple\",\n parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"all_ssreflect\",\n- name: \"all_ssreflect\",\n- parent: \"cluster_ssreflect\",\n- released: \"no\"\n- }\n- }, {\n- data: {\n- id: \"seq\",\n- name: \"seq\",\n+ id: \"path\",\n+ name: \"path\",\n parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"ssrnat\",\n- name: \"ssrnat\",\n+ id: \"eqtype\",\n+ name: \"eqtype\",\n parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"generic_quotient\",\n- name: \"generic_quotient\",\n+ id: \"all_ssreflect\",\n+ name: \"all_ssreflect\",\n parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"ssrmatching\",\n- name: \"ssrmatching\",\n+ id: \"ssreflect\",\n+ name: \"ssreflect\",\n parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n id: \"fintype\",\n name: \"fintype\",\n parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"div\",\n- name: \"div\",\n+ id: \"bigop\",\n+ name: \"bigop\",\n parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"ssrAC\",\n- name: \"ssrAC\",\n+ id: \"seq\",\n+ name: \"seq\",\n parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"ssreflect\",\n- name: \"ssreflect\",\n+ id: \"choice\",\n+ name: \"choice\",\n parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"order\",\n- name: \"order\",\n+ id: \"prime\",\n+ name: \"prime\",\n parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"finfun\",\n- name: \"finfun\",\n+ id: \"ssrnotations\",\n+ name: \"ssrnotations\",\n parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n id: \"fingraph\",\n name: \"fingraph\",\n parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"ssrnotations\",\n- name: \"ssrnotations\",\n+ id: \"ssrnat\",\n+ name: \"ssrnat\",\n parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"cluster_all\",\n- name: \"all\"\n+ id: \"ssrmatching\",\n+ name: \"ssrmatching\",\n+ parent: \"cluster_ssreflect\",\n+ released: \"no\"\n }\n }, {\n data: {\n- id: \"cluster_all_plus\",\n- name: \"+\",\n- parent: \"cluster_all\"\n+ id: \"order\",\n+ name: \"order\",\n+ parent: \"cluster_ssreflect\",\n+ released: \"no\"\n }\n }, {\n data: {\n- id: \"all\",\n- name: \"all\",\n- parent: \"cluster_all\",\n+ id: \"div\",\n+ name: \"div\",\n+ parent: \"cluster_ssreflect\",\n released: \"no\"\n }\n }, {\n data: {\n id: \"cluster_algebra\",\n name: \"algebra\"\n }\n@@ -586,1154 +586,1154 @@\n data: {\n id: \"cluster_algebra_plus\",\n name: \"+\",\n parent: \"cluster_algebra\"\n }\n }, {\n data: {\n- id: \"zmodp\",\n- name: \"zmodp\",\n+ id: \"ring_quotient\",\n+ name: \"ring_quotient\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"all_algebra\",\n- name: \"all_algebra\",\n+ id: \"qpoly\",\n+ name: \"qpoly\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"qpoly\",\n- name: \"qpoly\",\n+ id: \"intdiv\",\n+ name: \"intdiv\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"ring_quotient\",\n- name: \"ring_quotient\",\n+ id: \"polyXY\",\n+ name: \"polyXY\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"intdiv\",\n- name: \"intdiv\",\n+ id: \"polydiv\",\n+ name: \"polydiv\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"polydiv\",\n- name: \"polydiv\",\n+ id: \"finalg\",\n+ name: \"finalg\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"mxalgebra\",\n- name: \"mxalgebra\",\n+ id: \"ssralg\",\n+ name: \"ssralg\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"mxpoly\",\n- name: \"mxpoly\",\n+ id: \"ssrint\",\n+ name: \"ssrint\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"ssrnum\",\n- name: \"ssrnum\",\n+ id: \"poly\",\n+ name: \"poly\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n id: \"archimedean\",\n name: \"archimedean\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"matrix\",\n- name: \"matrix\",\n+ id: \"zmodp\",\n+ name: \"zmodp\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"fraction\",\n- name: \"fraction\",\n+ id: \"mxpoly\",\n+ name: \"mxpoly\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"vector\",\n- name: \"vector\",\n+ id: \"fraction\",\n+ name: \"fraction\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"countalg\",\n- name: \"countalg\",\n+ id: \"vector\",\n+ name: \"vector\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"polyXY\",\n- name: \"polyXY\",\n+ id: \"all_algebra\",\n+ name: \"all_algebra\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"ssralg\",\n- name: \"ssralg\",\n+ id: \"rat\",\n+ name: \"rat\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"ssrint\",\n- name: \"ssrint\",\n+ id: \"matrix\",\n+ name: \"matrix\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"finalg\",\n- name: \"finalg\",\n+ id: \"mxalgebra\",\n+ name: \"mxalgebra\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"poly\",\n- name: \"poly\",\n+ id: \"countalg\",\n+ name: \"countalg\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"rat\",\n- name: \"rat\",\n+ id: \"interval\",\n+ name: \"interval\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n- id: \"interval\",\n- name: \"interval\",\n+ id: \"ssrnum\",\n+ name: \"ssrnum\",\n parent: \"cluster_algebra\",\n released: \"no\"\n }\n }, {\n data: {\n id: \"edge0\",\n- source: \"all\",\n- target: \"all_algebra\"\n+ source: \"closed_field\",\n+ target: \"ring_quotient\"\n }\n }, {\n data: {\n id: \"edge1\",\n- source: \"hall\",\n- target: \"maximal\"\n+ source: \"all_algebra\",\n+ target: \"ring_quotient\"\n }\n }, {\n data: {\n id: \"edge2\",\n- source: \"extremal\",\n- target: \"maximal\"\n+ source: \"all_algebra\",\n+ target: \"fraction\"\n }\n }, {\n data: {\n id: \"edge3\",\n- source: \"mxabelem\",\n- target: \"maximal\"\n+ source: \"algebraics_fundamentals\",\n+ target: \"closed_field\"\n }\n }, {\n data: {\n id: \"edge4\",\n- source: \"all_algebra\",\n- target: \"intdiv\"\n+ source: \"extremal\",\n+ target: \"matrix\"\n }\n }, {\n data: {\n id: \"edge5\",\n- source: \"algebraics_fundamentals\",\n- target: \"intdiv\"\n+ source: \"mxalgebra\",\n+ target: \"matrix\"\n }\n }, {\n data: {\n id: \"edge6\",\n- source: \"ssrnat\",\n- target: \"eqtype\"\n+ source: \"all_field\",\n+ target: \"qfpoly\"\n }\n }, {\n data: {\n id: \"edge7\",\n- source: \"ssralg\",\n- target: \"binomial\"\n+ source: \"sylow\",\n+ target: \"pgroup\"\n }\n }, {\n data: {\n id: \"edge8\",\n- source: \"all_ssreflect\",\n- target: \"binomial\"\n+ source: \"mxrepresentation\",\n+ target: \"pgroup\"\n }\n }, {\n data: {\n id: \"edge9\",\n- source: \"perm\",\n- target: \"binomial\"\n+ source: \"gseries\",\n+ target: \"center\"\n }\n }, {\n data: {\n id: \"edge10\",\n- source: \"all_solvable\",\n- target: \"jordanholder\"\n+ source: \"mxrepresentation\",\n+ target: \"center\"\n }\n }, {\n data: {\n id: \"edge11\",\n- source: \"finalg\",\n- target: \"action\"\n+ source: \"quotient\",\n+ target: \"automorphism\"\n }\n }, {\n data: {\n id: \"edge12\",\n- source: \"gproduct\",\n- target: \"action\"\n+ source: \"extremal\",\n+ target: \"presentation\"\n }\n }, {\n data: {\n id: \"edge13\",\n- source: \"gseries\",\n- target: \"commutator\"\n+ source: \"all_fingroup\",\n+ target: \"presentation\"\n }\n }, {\n data: {\n id: \"edge14\",\n- source: \"finmodule\",\n- target: \"commutator\"\n+ source: \"character\",\n+ target: \"classfun\"\n }\n }, {\n data: {\n id: \"edge15\",\n- source: \"mxrepresentation\",\n- target: \"commutator\"\n+ source: \"ssrAC\",\n+ target: \"bigop\"\n }\n }, {\n data: {\n id: \"edge16\",\n- source: \"cyclotomic\",\n- target: \"algC\"\n+ source: \"prime\",\n+ target: \"bigop\"\n }\n }, {\n data: {\n id: \"edge17\",\n- source: \"rat\",\n- target: \"archimedean\"\n+ source: \"finset\",\n+ target: \"bigop\"\n }\n }, {\n data: {\n id: \"edge18\",\n- source: \"jordanholder\",\n- target: \"gseries\"\n+ source: \"falgebra\",\n+ target: \"vector\"\n }\n }, {\n data: {\n id: \"edge19\",\n- source: \"primitive_action\",\n- target: \"gseries\"\n+ source: \"qpoly\",\n+ target: \"vector\"\n }\n }, {\n data: {\n id: \"edge20\",\n- source: \"nilpotent\",\n- target: \"gseries\"\n+ source: \"intdiv\",\n+ target: \"vector\"\n }\n }, {\n data: {\n id: \"edge21\",\n- source: \"separable\",\n- target: \"fieldext\"\n+ source: \"all\",\n+ target: \"all_algebra\"\n }\n }, {\n data: {\n id: \"edge22\",\n- source: \"algnum\",\n- target: \"cyclotomic\"\n+ source: \"all_character\",\n+ target: \"inertia\"\n }\n }, {\n data: {\n id: \"edge23\",\n- source: \"finfield\",\n- target: \"cyclotomic\"\n+ source: \"all\",\n+ target: \"all_field\"\n }\n }, {\n data: {\n id: \"edge24\",\n- source: \"ssrfun\",\n- target: \"ssrnotations\"\n+ source: \"inertia\",\n+ target: \"character\"\n }\n }, {\n data: {\n id: \"edge25\",\n source: \"integral_char\",\n target: \"character\"\n }\n }, {\n data: {\n id: \"edge26\",\n- source: \"inertia\",\n- target: \"character\"\n+ source: \"all_algebra\",\n+ target: \"polyXY\"\n }\n }, {\n data: {\n id: \"edge27\",\n- source: \"all_algebra\",\n- target: \"qpoly\"\n+ source: \"separable\",\n+ target: \"polyXY\"\n }\n }, {\n data: {\n id: \"edge28\",\n- source: \"qfpoly\",\n- target: \"qpoly\"\n+ source: \"vcharacter\",\n+ target: \"integral_char\"\n }\n }, {\n data: {\n id: \"edge29\",\n- source: \"bigop\",\n- target: \"finfun\"\n+ source: \"finmodule\",\n+ target: \"commutator\"\n }\n }, {\n data: {\n id: \"edge30\",\n- source: \"sylow\",\n- target: \"pgroup\"\n+ source: \"gseries\",\n+ target: \"commutator\"\n }\n }, {\n data: {\n id: \"edge31\",\n source: \"mxrepresentation\",\n- target: \"pgroup\"\n+ target: \"commutator\"\n }\n }, {\n data: {\n id: \"edge32\",\n- source: \"pgroup\",\n- target: \"cyclic\"\n+ source: \"sylow\",\n+ target: \"nilpotent\"\n }\n }, {\n data: {\n id: \"edge33\",\n- source: \"center\",\n- target: \"cyclic\"\n+ source: \"separable\",\n+ target: \"fieldext\"\n }\n }, {\n data: {\n id: \"edge34\",\n- source: \"separable\",\n- target: \"cyclic\"\n+ source: \"automorphism\",\n+ target: \"perm\"\n }\n }, {\n data: {\n id: \"edge35\",\n- source: \"finmodule\",\n- target: \"cyclic\"\n+ source: \"eqtype\",\n+ target: \"ssrbool\"\n }\n }, {\n data: {\n id: \"edge36\",\n- source: \"all_character\",\n- target: \"vcharacter\"\n+ source: \"inertia\",\n+ target: \"frobenius\"\n }\n }, {\n data: {\n id: \"edge37\",\n- source: \"vcharacter\",\n- target: \"integral_char\"\n+ source: \"all_solvable\",\n+ target: \"frobenius\"\n }\n }, {\n data: {\n id: \"edge38\",\n- source: \"intdiv\",\n- target: \"polydiv\"\n+ source: \"vcharacter\",\n+ target: \"frobenius\"\n }\n }, {\n data: {\n id: \"edge39\",\n- source: \"fraction\",\n- target: \"polydiv\"\n+ source: \"fieldext\",\n+ target: \"falgebra\"\n }\n }, {\n data: {\n id: \"edge40\",\n- source: \"mxpoly\",\n- target: \"polydiv\"\n+ source: \"falgebra\",\n+ target: \"poly\"\n }\n }, {\n data: {\n id: \"edge41\",\n- source: \"all\",\n- target: \"all_field\"\n+ source: \"cyclic\",\n+ target: \"poly\"\n }\n }, {\n data: {\n id: \"edge42\",\n- source: \"intdiv\",\n- target: \"rat\"\n+ source: \"ssrnum\",\n+ target: \"poly\"\n }\n }, {\n data: {\n id: \"edge43\",\n- source: \"all\",\n- target: \"all_character\"\n+ source: \"polydiv\",\n+ target: \"poly\"\n }\n }, {\n data: {\n id: \"edge44\",\n- source: \"seq\",\n- target: \"ssrnat\"\n+ source: \"rat\",\n+ target: \"archimedean\"\n }\n }, {\n data: {\n id: \"edge45\",\n- source: \"extremal\",\n- target: \"matrix\"\n+ source: \"generic_quotient\",\n+ target: \"fintype\"\n }\n }, {\n data: {\n id: \"edge46\",\n- source: \"mxalgebra\",\n- target: \"matrix\"\n+ source: \"tuple\",\n+ target: \"fintype\"\n }\n }, {\n data: {\n id: \"edge47\",\n- source: \"algebraics_fundamentals\",\n- target: \"galois\"\n+ source: \"fingraph\",\n+ target: \"fintype\"\n }\n }, {\n data: {\n id: \"edge48\",\n- source: \"all_field\",\n- target: \"algnum\"\n+ source: \"maximal\",\n+ target: \"finmodule\"\n }\n }, {\n data: {\n id: \"edge49\",\n- source: \"classfun\",\n- target: \"algnum\"\n+ source: \"all\",\n+ target: \"all_solvable\"\n }\n }, {\n data: {\n id: \"edge50\",\n- source: \"all\",\n- target: \"all_fingroup\"\n+ source: \"pgroup\",\n+ target: \"gfunctor\"\n }\n }, {\n data: {\n id: \"edge51\",\n- source: \"commutator\",\n+ source: \"center\",\n target: \"gfunctor\"\n }\n }, {\n data: {\n id: \"edge52\",\n- source: \"pgroup\",\n+ source: \"commutator\",\n target: \"gfunctor\"\n }\n }, {\n data: {\n id: \"edge53\",\n- source: \"center\",\n- target: \"gfunctor\"\n+ source: \"gfunctor\",\n+ target: \"gproduct\"\n }\n }, {\n data: {\n id: \"edge54\",\n- source: \"burnside_app\",\n- target: \"primitive_action\"\n+ source: \"cyclic\",\n+ target: \"gproduct\"\n }\n }, {\n data: {\n id: \"edge55\",\n- source: \"alt\",\n- target: \"primitive_action\"\n+ source: \"all_fingroup\",\n+ target: \"gproduct\"\n }\n }, {\n data: {\n id: \"edge56\",\n- source: \"cyclic\",\n- target: \"zmodp\"\n+ source: \"seq\",\n+ target: \"ssrnat\"\n }\n }, {\n data: {\n id: \"edge57\",\n- source: \"matrix\",\n- target: \"zmodp\"\n+ source: \"all\",\n+ target: \"all_character\"\n }\n }, {\n data: {\n id: \"edge58\",\n- source: \"all_character\",\n- target: \"inertia\"\n+ source: \"ring_quotient\",\n+ target: \"generic_quotient\"\n }\n }, {\n data: {\n id: \"edge59\",\n- source: \"quotient\",\n- target: \"automorphism\"\n+ source: \"fraction\",\n+ target: \"generic_quotient\"\n }\n }, {\n data: {\n id: \"edge60\",\n- source: \"all_ssreflect\",\n- target: \"fingraph\"\n+ source: \"fieldext\",\n+ target: \"generic_quotient\"\n }\n }, {\n data: {\n id: \"edge61\",\n- source: \"frobenius\",\n- target: \"hall\"\n+ source: \"all_ssreflect\",\n+ target: \"generic_quotient\"\n }\n }, {\n data: {\n id: \"edge62\",\n- source: \"maximal\",\n- target: \"abelian\"\n+ source: \"fraction\",\n+ target: \"ssrAC\"\n }\n }, {\n data: {\n id: \"edge63\",\n- source: \"character\",\n- target: \"abelian\"\n+ source: \"ssrnum\",\n+ target: \"ssrAC\"\n }\n }, {\n data: {\n id: \"edge64\",\n- source: \"finfield\",\n- target: \"abelian\"\n+ source: \"all_ssreflect\",\n+ target: \"ssrAC\"\n }\n }, {\n data: {\n id: \"edge65\",\n- source: \"finset\",\n- target: \"bigop\"\n+ source: \"ssrfun\",\n+ target: \"ssrnotations\"\n }\n }, {\n data: {\n id: \"edge66\",\n- source: \"prime\",\n- target: \"bigop\"\n+ source: \"pgroup\",\n+ target: \"cyclic\"\n }\n }, {\n data: {\n id: \"edge67\",\n- source: \"ssrAC\",\n- target: \"bigop\"\n+ source: \"center\",\n+ target: \"cyclic\"\n }\n }, {\n data: {\n id: \"edge68\",\n- source: \"countalg\",\n- target: \"ssralg\"\n+ source: \"finmodule\",\n+ target: \"cyclic\"\n }\n }, {\n data: {\n id: \"edge69\",\n- source: \"ring_quotient\",\n- target: \"ssralg\"\n+ source: \"separable\",\n+ target: \"cyclic\"\n }\n }, {\n data: {\n id: \"edge70\",\n- source: \"gseries\",\n- target: \"center\"\n+ source: \"all_character\",\n+ target: \"vcharacter\"\n }\n }, {\n data: {\n id: \"edge71\",\n- source: \"mxrepresentation\",\n- target: \"center\"\n+ source: \"cyclotomic\",\n+ target: \"algC\"\n }\n }, {\n data: {\n id: \"edge72\",\n- source: \"zmodp\",\n- target: \"finalg\"\n+ source: \"morphism\",\n+ target: \"fingroup\"\n }\n }, {\n data: {\n id: \"edge73\",\n- source: \"extraspecial\",\n- target: \"extremal\"\n+ source: \"ssrnum\",\n+ target: \"fingroup\"\n }\n }, {\n data: {\n id: \"edge74\",\n source: \"all_solvable\",\n- target: \"extraspecial\"\n+ target: \"alt\"\n }\n }, {\n data: {\n id: \"edge75\",\n- source: \"interval\",\n- target: \"ssrnum\"\n+ source: \"character\",\n+ target: \"abelian\"\n }\n }, {\n data: {\n id: \"edge76\",\n- source: \"ssrint\",\n- target: \"ssrnum\"\n+ source: \"finfield\",\n+ target: \"abelian\"\n }\n }, {\n data: {\n id: \"edge77\",\n- source: \"all_fingroup\",\n- target: \"presentation\"\n+ source: \"maximal\",\n+ target: \"abelian\"\n }\n }, {\n data: {\n id: \"edge78\",\n- source: \"extremal\",\n- target: \"presentation\"\n+ source: \"alt\",\n+ target: \"primitive_action\"\n }\n }, {\n data: {\n id: \"edge79\",\n- source: \"all_algebra\",\n- target: \"interval\"\n+ source: \"burnside_app\",\n+ target: \"primitive_action\"\n }\n }, {\n data: {\n id: \"edge80\",\n- source: \"all_solvable\",\n- target: \"burnside_app\"\n+ source: \"all_character\",\n+ target: \"mxabelem\"\n }\n }, {\n data: {\n id: \"edge81\",\n- source: \"qfpoly\",\n- target: \"finfield\"\n+ source: \"ssrnat\",\n+ target: \"eqtype\"\n }\n }, {\n data: {\n id: \"edge82\",\n- source: \"galois\",\n- target: \"separable\"\n+ source: \"fintype\",\n+ target: \"choice\"\n }\n }, {\n data: {\n id: \"edge83\",\n- source: \"ssrfun\",\n- target: \"ssreflect\"\n+ source: \"frobenius\",\n+ target: \"hall\"\n }\n }, {\n data: {\n id: \"edge84\",\n- source: \"all_field\",\n- target: \"qfpoly\"\n+ source: \"extraspecial\",\n+ target: \"extremal\"\n }\n }, {\n data: {\n id: \"edge85\",\n- source: \"algC\",\n- target: \"algebraics_fundamentals\"\n+ source: \"action\",\n+ target: \"quotient\"\n }\n }, {\n data: {\n id: \"edge86\",\n- source: \"finalg\",\n- target: \"countalg\"\n+ source: \"all_solvable\",\n+ target: \"extraspecial\"\n }\n }, {\n data: {\n id: \"edge87\",\n- source: \"poly\",\n- target: \"countalg\"\n+ source: \"presentation\",\n+ target: \"morphism\"\n }\n }, {\n data: {\n id: \"edge88\",\n- source: \"sylow\",\n- target: \"nilpotent\"\n+ source: \"perm\",\n+ target: \"morphism\"\n }\n }, {\n data: {\n id: \"edge89\",\n- source: \"algebraics_fundamentals\",\n- target: \"closed_field\"\n+ source: \"nilpotent\",\n+ target: \"gseries\"\n }\n }, {\n data: {\n id: \"edge90\",\n- source: \"cyclic\",\n- target: \"gproduct\"\n+ source: \"primitive_action\",\n+ target: \"gseries\"\n }\n }, {\n data: {\n id: \"edge91\",\n- source: \"all_fingroup\",\n- target: \"gproduct\"\n+ source: \"jordanholder\",\n+ target: \"gseries\"\n }\n }, {\n data: {\n id: \"edge92\",\n- source: \"gfunctor\",\n- target: \"gproduct\"\n+ source: \"fingroup\",\n+ target: \"prime\"\n }\n }, {\n data: {\n id: \"edge93\",\n- source: \"matrix\",\n- target: \"order\"\n+ source: \"binomial\",\n+ target: \"prime\"\n }\n }, {\n data: {\n id: \"edge94\",\n- source: \"ssrnum\",\n- target: \"order\"\n+ source: \"order\",\n+ target: \"prime\"\n }\n }, {\n data: {\n id: \"edge95\",\n- source: \"all_ssreflect\",\n- target: \"order\"\n+ source: \"archimedean\",\n+ target: \"ssrint\"\n }\n }, {\n data: {\n id: \"edge96\",\n- source: \"vcharacter\",\n- target: \"frobenius\"\n+ source: \"qfpoly\",\n+ target: \"finfield\"\n }\n }, {\n data: {\n id: \"edge97\",\n- source: \"inertia\",\n- target: \"frobenius\"\n+ source: \"algC\",\n+ target: \"algebraics_fundamentals\"\n }\n }, {\n data: {\n id: \"edge98\",\n- source: \"all_solvable\",\n- target: \"frobenius\"\n+ source: \"finfield\",\n+ target: \"cyclotomic\"\n }\n }, {\n data: {\n id: \"edge99\",\n- source: \"fieldext\",\n- target: \"falgebra\"\n+ source: \"algnum\",\n+ target: \"cyclotomic\"\n }\n }, {\n data: {\n id: \"edge100\",\n- source: \"presentation\",\n- target: \"morphism\"\n+ source: \"alt\",\n+ target: \"sylow\"\n }\n }, {\n data: {\n id: \"edge101\",\n- source: \"perm\",\n- target: \"morphism\"\n+ source: \"abelian\",\n+ target: \"sylow\"\n }\n }, {\n data: {\n id: \"edge102\",\n- source: \"ssrbool\",\n- target: \"ssrfun\"\n+ source: \"algebraics_fundamentals\",\n+ target: \"sylow\"\n }\n }, {\n data: {\n id: \"edge103\",\n- source: \"fintype\",\n- target: \"path\"\n+ source: \"ssrint\",\n+ target: \"ssrnum\"\n }\n }, {\n data: {\n id: \"edge104\",\n- source: \"all\",\n- target: \"all_solvable\"\n+ source: \"interval\",\n+ target: \"ssrnum\"\n }\n }, {\n data: {\n id: \"edge105\",\n- source: \"maximal\",\n- target: \"finmodule\"\n+ source: \"algebraics_fundamentals\",\n+ target: \"galois\"\n }\n }, {\n data: {\n id: \"edge106\",\n- source: \"abelian\",\n- target: \"sylow\"\n+ source: \"qfpoly\",\n+ target: \"qpoly\"\n }\n }, {\n data: {\n id: \"edge107\",\n- source: \"algebraics_fundamentals\",\n- target: \"sylow\"\n+ source: \"all_algebra\",\n+ target: \"qpoly\"\n }\n }, {\n data: {\n id: \"edge108\",\n- source: \"alt\",\n- target: \"sylow\"\n+ source: \"all_algebra\",\n+ target: \"intdiv\"\n }\n }, {\n data: {\n id: \"edge109\",\n- source: \"binomial\",\n- target: \"finset\"\n+ source: \"algebraics_fundamentals\",\n+ target: \"intdiv\"\n }\n }, {\n data: {\n id: \"edge110\",\n- source: \"order\",\n+ source: \"fingroup\",\n target: \"finset\"\n }\n }, {\n data: {\n id: \"edge111\",\n- source: \"fingroup\",\n+ source: \"binomial\",\n target: \"finset\"\n }\n }, {\n data: {\n id: \"edge112\",\n- source: \"character\",\n- target: \"classfun\"\n+ source: \"order\",\n+ target: \"finset\"\n }\n }, {\n data: {\n id: \"edge113\",\n- source: \"all_character\",\n- target: \"mxabelem\"\n+ source: \"galois\",\n+ target: \"separable\"\n }\n }, {\n data: {\n id: \"edge114\",\n- source: \"all_algebra\",\n- target: \"fraction\"\n+ source: \"mxabelem\",\n+ target: \"maximal\"\n }\n }, {\n data: {\n id: \"edge115\",\n- source: \"vector\",\n- target: \"mxalgebra\"\n+ source: \"hall\",\n+ target: \"maximal\"\n }\n }, {\n data: {\n id: \"edge116\",\n- source: \"mxpoly\",\n- target: \"mxalgebra\"\n+ source: \"extremal\",\n+ target: \"maximal\"\n }\n }, {\n data: {\n id: \"edge117\",\n- source: \"eqtype\",\n- target: \"ssrbool\"\n+ source: \"fraction\",\n+ target: \"polydiv\"\n }\n }, {\n data: {\n id: \"edge118\",\n- source: \"fintype\",\n- target: \"choice\"\n+ source: \"intdiv\",\n+ target: \"polydiv\"\n }\n }, {\n data: {\n id: \"edge119\",\n- source: \"binomial\",\n- target: \"prime\"\n+ source: \"mxpoly\",\n+ target: \"polydiv\"\n }\n }, {\n data: {\n id: \"edge120\",\n- source: \"order\",\n- target: \"prime\"\n+ source: \"zmodp\",\n+ target: \"finalg\"\n }\n }, {\n data: {\n id: \"edge121\",\n- source: \"fingroup\",\n- target: \"prime\"\n+ source: \"classfun\",\n+ target: \"algnum\"\n }\n }, {\n data: {\n id: \"edge122\",\n- source: \"all\",\n- target: \"all_ssreflect\"\n+ source: \"all_field\",\n+ target: \"algnum\"\n }\n }, {\n data: {\n id: \"edge123\",\n- source: \"action\",\n- target: \"quotient\"\n+ source: \"ssrfun\",\n+ target: \"ssreflect\"\n }\n }, {\n data: {\n id: \"edge124\",\n- source: \"archimedean\",\n- target: \"ssrint\"\n+ source: \"gproduct\",\n+ target: \"action\"\n }\n }, {\n data: {\n id: \"edge125\",\n- source: \"path\",\n- target: \"seq\"\n+ source: \"finalg\",\n+ target: \"action\"\n }\n }, {\n data: {\n id: \"edge126\",\n- source: \"choice\",\n- target: \"seq\"\n+ source: \"perm\",\n+ target: \"binomial\"\n }\n }, {\n data: {\n id: \"edge127\",\n- source: \"div\",\n- target: \"seq\"\n+ source: \"ssralg\",\n+ target: \"binomial\"\n }\n }, {\n data: {\n id: \"edge128\",\n- source: \"all_algebra\",\n- target: \"polyXY\"\n+ source: \"all_ssreflect\",\n+ target: \"binomial\"\n }\n }, {\n data: {\n id: \"edge129\",\n- source: \"separable\",\n- target: \"polyXY\"\n+ source: \"poly\",\n+ target: \"countalg\"\n }\n }, {\n data: {\n id: \"edge130\",\n- source: \"all_solvable\",\n- target: \"alt\"\n+ source: \"finalg\",\n+ target: \"countalg\"\n }\n }, {\n data: {\n id: \"edge131\",\n- source: \"ssrnum\",\n- target: \"fingroup\"\n+ source: \"ring_quotient\",\n+ target: \"ssralg\"\n }\n }, {\n data: {\n id: \"edge132\",\n- source: \"morphism\",\n- target: \"fingroup\"\n+ source: \"countalg\",\n+ target: \"ssralg\"\n }\n }, {\n data: {\n id: \"edge133\",\n- source: \"fieldext\",\n- target: \"generic_quotient\"\n+ source: \"bigop\",\n+ target: \"finfun\"\n }\n }, {\n data: {\n id: \"edge134\",\n- source: \"fraction\",\n- target: \"generic_quotient\"\n+ source: \"finfun\",\n+ target: \"tuple\"\n }\n }, {\n data: {\n id: \"edge135\",\n- source: \"all_ssreflect\",\n- target: \"generic_quotient\"\n+ source: \"fintype\",\n+ target: \"path\"\n }\n }, {\n data: {\n id: \"edge136\",\n- source: \"ring_quotient\",\n- target: \"generic_quotient\"\n+ source: \"all_solvable\",\n+ target: \"jordanholder\"\n }\n }, {\n data: {\n id: \"edge137\",\n- source: \"automorphism\",\n- target: \"perm\"\n+ source: \"all\",\n+ target: \"all_ssreflect\"\n }\n }, {\n data: {\n id: \"edge138\",\n- source: \"fintype\",\n- target: \"div\"\n+ source: \"matrix\",\n+ target: \"order\"\n }\n }, {\n data: {\n id: \"edge139\",\n- source: \"fingraph\",\n- target: \"fintype\"\n+ source: \"ssrnum\",\n+ target: \"order\"\n }\n }, {\n data: {\n id: \"edge140\",\n- source: \"generic_quotient\",\n- target: \"fintype\"\n+ source: \"all_ssreflect\",\n+ target: \"order\"\n }\n }, {\n data: {\n id: \"edge141\",\n- source: \"tuple\",\n- target: \"fintype\"\n+ source: \"all_algebra\",\n+ target: \"interval\"\n }\n }, {\n data: {\n id: \"edge142\",\n- source: \"finfun\",\n- target: \"tuple\"\n+ source: \"closed_field\",\n+ target: \"mxpoly\"\n }\n }, {\n data: {\n id: \"edge143\",\n- source: \"ssrnum\",\n- target: \"ssrAC\"\n+ source: \"polyXY\",\n+ target: \"mxpoly\"\n }\n }, {\n data: {\n id: \"edge144\",\n- source: \"fraction\",\n- target: \"ssrAC\"\n+ source: \"fieldext\",\n+ target: \"mxpoly\"\n }\n }, {\n data: {\n id: \"edge145\",\n- source: \"all_ssreflect\",\n- target: \"ssrAC\"\n+ source: \"qpoly\",\n+ target: \"mxpoly\"\n }\n }, {\n data: {\n id: \"edge146\",\n- source: \"intdiv\",\n- target: \"vector\"\n+ source: \"mxrepresentation\",\n+ target: \"mxpoly\"\n }\n }, {\n data: {\n id: \"edge147\",\n- source: \"qpoly\",\n- target: \"vector\"\n+ source: \"fintype\",\n+ target: \"div\"\n }\n }, {\n data: {\n id: \"edge148\",\n- source: \"falgebra\",\n- target: \"vector\"\n+ source: \"all_solvable\",\n+ target: \"burnside_app\"\n }\n }, {\n data: {\n id: \"edge149\",\n- source: \"all_algebra\",\n- target: \"ring_quotient\"\n+ source: \"all\",\n+ target: \"all_fingroup\"\n }\n }, {\n data: {\n id: \"edge150\",\n- source: \"closed_field\",\n- target: \"ring_quotient\"\n+ source: \"matrix\",\n+ target: \"zmodp\"\n }\n }, {\n data: {\n id: \"edge151\",\n source: \"cyclic\",\n- target: \"poly\"\n+ target: \"zmodp\"\n }\n }, {\n data: {\n id: \"edge152\",\n- source: \"polydiv\",\n- target: \"poly\"\n+ source: \"intdiv\",\n+ target: \"rat\"\n }\n }, {\n data: {\n id: \"edge153\",\n- source: \"ssrnum\",\n- target: \"poly\"\n+ source: \"all_ssreflect\",\n+ target: \"fingraph\"\n }\n }, {\n data: {\n id: \"edge154\",\n- source: \"falgebra\",\n- target: \"poly\"\n+ source: \"vector\",\n+ target: \"mxalgebra\"\n }\n }, {\n data: {\n id: \"edge155\",\n- source: \"character\",\n- target: \"mxrepresentation\"\n+ source: \"mxpoly\",\n+ target: \"mxalgebra\"\n }\n }, {\n data: {\n id: \"edge156\",\n- source: \"mxabelem\",\n- target: \"mxrepresentation\"\n+ source: \"choice\",\n+ target: \"seq\"\n }\n }, {\n data: {\n id: \"edge157\",\n- source: \"fieldext\",\n- target: \"mxpoly\"\n+ source: \"path\",\n+ target: \"seq\"\n }\n }, {\n data: {\n id: \"edge158\",\n- source: \"qpoly\",\n- target: \"mxpoly\"\n+ source: \"div\",\n+ target: \"seq\"\n }\n }, {\n data: {\n id: \"edge159\",\n- source: \"closed_field\",\n- target: \"mxpoly\"\n+ source: \"character\",\n+ target: \"mxrepresentation\"\n }\n }, {\n data: {\n id: \"edge160\",\n- source: \"polyXY\",\n- target: \"mxpoly\"\n+ source: \"mxabelem\",\n+ target: \"mxrepresentation\"\n }\n }, {\n data: {\n id: \"edge161\",\n- source: \"mxrepresentation\",\n- target: \"mxpoly\"\n+ source: \"ssrbool\",\n+ target: \"ssrfun\"\n }\n }, {\n data: {\n id: \"edge162\",\n- source: \"cluster_field\",\n- target: \"cluster_solvable\"\n+ source: \"cluster_character\",\n+ target: \"cluster_field\"\n }\n }, {\n data: {\n id: \"edge163\",\n- source: \"cluster_all\",\n- target: \"cluster_character\"\n+ source: \"cluster_algebra\",\n+ target: \"cluster_fingroup\"\n }\n }, {\n data: {\n id: \"edge164\",\n- source: \"cluster_algebra\",\n- target: \"cluster_fingroup\"\n+ source: \"cluster_field\",\n+ target: \"cluster_solvable\"\n }\n }, {\n data: {\n id: \"edge165\",\n- source: \"cluster_character\",\n- target: \"cluster_field\"\n+ source: \"cluster_all\",\n+ target: \"cluster_character\"\n }\n }, {\n data: {\n id: \"edge166\",\n source: \"cluster_fingroup\",\n target: \"cluster_ssreflect\"\n }\n"}]}]}]}]}]}