--- /srv/reproducible-results/rbuild-debian/r-b-build.c2I9g9VH/b1/ssreflect_2.1.0-1_amd64.changes +++ /srv/reproducible-results/rbuild-debian/r-b-build.c2I9g9VH/b2/ssreflect_2.1.0-1_amd64.changes ├── Files │ @@ -1,8 +1,8 @@ │ │ c2f2fe91738db728aa9f05e13822fa9e 9031976 math optional libcoq-mathcomp-algebra_2.1.0-1_amd64.deb │ dedbb3e67a1b1ffa8224e7d149a3de1a 3941648 math optional libcoq-mathcomp-character_2.1.0-1_amd64.deb │ b460b0c06620ab2d22e85edb8d9d6d2d 3040620 math optional libcoq-mathcomp-field_2.1.0-1_amd64.deb │ 8ca5aea00c3875509ac8a293de91f47a 2020068 math optional libcoq-mathcomp-fingroup_2.1.0-1_amd64.deb │ 1715d3e682092b08a40a8d63b5c1f4ad 4656860 math optional libcoq-mathcomp-solvable_2.1.0-1_amd64.deb │ a5807412cb2ef94724951dfa435bb87a 5796928 math optional libcoq-mathcomp-ssreflect_2.1.0-1_amd64.deb │ - bee0b0c93909e5e58e0ed1c07afe9d85 2867444 math optional libcoq-mathcomp_2.1.0-1_amd64.deb │ + adb8c4580a34d937a4a824cc195d9c75 2867476 math optional libcoq-mathcomp_2.1.0-1_amd64.deb ├── libcoq-mathcomp_2.1.0-1_amd64.deb │ ├── file list │ │ @@ -1,3 +1,3 @@ │ │ -rw-r--r-- 0 0 0 4 2023-12-21 16:25:16.000000 debian-binary │ │ --rw-r--r-- 0 0 0 10180 2023-12-21 16:25:16.000000 control.tar.xz │ │ --rw-r--r-- 0 0 0 2857072 2023-12-21 16:25:16.000000 data.tar.xz │ │ +-rw-r--r-- 0 0 0 10184 2023-12-21 16:25:16.000000 control.tar.xz │ │ +-rw-r--r-- 0 0 0 2857100 2023-12-21 16:25:16.000000 data.tar.xz │ ├── control.tar.xz │ │ ├── control.tar │ │ │ ├── ./md5sums │ │ │ │ ├── ./md5sums │ │ │ │ │┄ Files differ │ │ ├── xz --list │ │ │ @@ -1,13 +1,13 @@ │ │ │ Streams: 1 │ │ │ Blocks: 1 │ │ │ - Compressed size: 9.9 KiB (10180 B) │ │ │ + Compressed size: 9.9 KiB (10184 B) │ │ │ Uncompressed size: 60.0 KiB (61440 B) │ │ │ Ratio: 0.166 │ │ │ Check: CRC64 │ │ │ Stream Padding: 0 B │ │ │ Streams: │ │ │ Stream Blocks CompOffset UncompOffset CompSize UncompSize Ratio Check Padding │ │ │ - 1 1 0 0 10180 61440 0.166 CRC64 0 │ │ │ + 1 1 0 0 10184 61440 0.166 CRC64 0 │ │ │ Blocks: │ │ │ Stream Block CompOffset UncompOffset TotalSize UncompSize Ratio Check │ │ │ - 1 1 12 0 10144 61440 0.165 CRC64 │ │ │ + 1 1 12 0 10148 61440 0.165 CRC64 │ ├── data.tar.xz │ │ ├── data.tar │ │ │ ├── ./usr/share/doc/libcoq-mathcomp/htmldoc/depend.js │ │ │ │ ├── js-beautify {} │ │ │ │ │ @@ -1,422 +1,429 @@ │ │ │ │ │ var depends = [ │ │ │ │ │ │ │ │ │ │ { │ │ │ │ │ data: { │ │ │ │ │ + id: "cluster_all", │ │ │ │ │ + name: "all" │ │ │ │ │ + } │ │ │ │ │ + }, { │ │ │ │ │ + data: { │ │ │ │ │ + id: "cluster_all_plus", │ │ │ │ │ + name: "+", │ │ │ │ │ + parent: "cluster_all" │ │ │ │ │ + } │ │ │ │ │ + }, { │ │ │ │ │ + data: { │ │ │ │ │ + id: "all", │ │ │ │ │ + name: "all", │ │ │ │ │ + parent: "cluster_all", │ │ │ │ │ + released: "no" │ │ │ │ │ + } │ │ │ │ │ + }, { │ │ │ │ │ + data: { │ │ │ │ │ id: "cluster_ssreflect", │ │ │ │ │ name: "ssreflect" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "cluster_ssreflect_plus", │ │ │ │ │ name: "+", │ │ │ │ │ parent: "cluster_ssreflect" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "bigop", │ │ │ │ │ - name: "bigop", │ │ │ │ │ + id: "eqtype", │ │ │ │ │ + name: "eqtype", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "binomial", │ │ │ │ │ - name: "binomial", │ │ │ │ │ + id: "tuple", │ │ │ │ │ + name: "tuple", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "ssrnat", │ │ │ │ │ - name: "ssrnat", │ │ │ │ │ + id: "bigop", │ │ │ │ │ + name: "bigop", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "eqtype", │ │ │ │ │ - name: "eqtype", │ │ │ │ │ + id: "ssrnotations", │ │ │ │ │ + name: "ssrnotations", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "path", │ │ │ │ │ - name: "path", │ │ │ │ │ + id: "fintype", │ │ │ │ │ + name: "fintype", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "finfun", │ │ │ │ │ - name: "finfun", │ │ │ │ │ + id: "generic_quotient", │ │ │ │ │ + name: "generic_quotient", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "ssrmatching", │ │ │ │ │ name: "ssrmatching", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "finset", │ │ │ │ │ - name: "finset", │ │ │ │ │ - parent: "cluster_ssreflect", │ │ │ │ │ - released: "no" │ │ │ │ │ - } │ │ │ │ │ - }, { │ │ │ │ │ - data: { │ │ │ │ │ - id: "order", │ │ │ │ │ - name: "order", │ │ │ │ │ + id: "div", │ │ │ │ │ + name: "div", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "choice", │ │ │ │ │ name: "choice", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "ssreflect", │ │ │ │ │ - name: "ssreflect", │ │ │ │ │ + id: "ssrAC", │ │ │ │ │ + name: "ssrAC", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "fintype", │ │ │ │ │ - name: "fintype", │ │ │ │ │ + id: "fingraph", │ │ │ │ │ + name: "fingraph", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "fingraph", │ │ │ │ │ - name: "fingraph", │ │ │ │ │ + id: "all_ssreflect", │ │ │ │ │ + name: "all_ssreflect", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "ssrnotations", │ │ │ │ │ - name: "ssrnotations", │ │ │ │ │ + id: "binomial", │ │ │ │ │ + name: "binomial", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "ssrbool", │ │ │ │ │ - name: "ssrbool", │ │ │ │ │ + id: "ssrnat", │ │ │ │ │ + name: "ssrnat", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "generic_quotient", │ │ │ │ │ - name: "generic_quotient", │ │ │ │ │ + id: "prime", │ │ │ │ │ + name: "prime", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "prime", │ │ │ │ │ - name: "prime", │ │ │ │ │ + id: "finset", │ │ │ │ │ + name: "finset", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "all_ssreflect", │ │ │ │ │ - name: "all_ssreflect", │ │ │ │ │ + id: "ssrfun", │ │ │ │ │ + name: "ssrfun", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "seq", │ │ │ │ │ name: "seq", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "ssrAC", │ │ │ │ │ - name: "ssrAC", │ │ │ │ │ + id: "path", │ │ │ │ │ + name: "path", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "div", │ │ │ │ │ - name: "div", │ │ │ │ │ + id: "finfun", │ │ │ │ │ + name: "finfun", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "tuple", │ │ │ │ │ - name: "tuple", │ │ │ │ │ + id: "ssreflect", │ │ │ │ │ + name: "ssreflect", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "ssrfun", │ │ │ │ │ - name: "ssrfun", │ │ │ │ │ + id: "order", │ │ │ │ │ + name: "order", │ │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "cluster_solvable", │ │ │ │ │ - name: "solvable" │ │ │ │ │ + id: "ssrbool", │ │ │ │ │ + name: "ssrbool", │ │ │ │ │ + parent: "cluster_ssreflect", │ │ │ │ │ + released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "cluster_solvable_plus", │ │ │ │ │ - name: "+", │ │ │ │ │ - parent: "cluster_solvable" │ │ │ │ │ + id: "cluster_fingroup", │ │ │ │ │ + name: "fingroup" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "nilpotent", │ │ │ │ │ - name: "nilpotent", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ - released: "no" │ │ │ │ │ + id: "cluster_fingroup_plus", │ │ │ │ │ + name: "+", │ │ │ │ │ + parent: "cluster_fingroup" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "all_solvable", │ │ │ │ │ - name: "all_solvable", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "morphism", │ │ │ │ │ + name: "morphism", │ │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "jordanholder", │ │ │ │ │ - name: "jordanholder", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "gproduct", │ │ │ │ │ + name: "gproduct", │ │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "center", │ │ │ │ │ - name: "center", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "perm", │ │ │ │ │ + name: "perm", │ │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "frobenius", │ │ │ │ │ - name: "frobenius", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "automorphism", │ │ │ │ │ + name: "automorphism", │ │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "burnside_app", │ │ │ │ │ - name: "burnside_app", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "presentation", │ │ │ │ │ + name: "presentation", │ │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "commutator", │ │ │ │ │ - name: "commutator", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "quotient", │ │ │ │ │ + name: "quotient", │ │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "gfunctor", │ │ │ │ │ - name: "gfunctor", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "all_fingroup", │ │ │ │ │ + name: "all_fingroup", │ │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "cyclic", │ │ │ │ │ - name: "cyclic", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "action", │ │ │ │ │ + name: "action", │ │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "extremal", │ │ │ │ │ - name: "extremal", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "fingroup", │ │ │ │ │ + name: "fingroup", │ │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "primitive_action", │ │ │ │ │ - name: "primitive_action", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ - released: "no" │ │ │ │ │ + id: "cluster_algebra", │ │ │ │ │ + name: "algebra" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "sylow", │ │ │ │ │ - name: "sylow", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ - released: "no" │ │ │ │ │ + id: "cluster_algebra_plus", │ │ │ │ │ + name: "+", │ │ │ │ │ + parent: "cluster_algebra" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "hall", │ │ │ │ │ - name: "hall", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "poly", │ │ │ │ │ + name: "poly", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "abelian", │ │ │ │ │ - name: "abelian", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "mxpoly", │ │ │ │ │ + name: "mxpoly", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "extraspecial", │ │ │ │ │ - name: "extraspecial", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "polydiv", │ │ │ │ │ + name: "polydiv", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "pgroup", │ │ │ │ │ - name: "pgroup", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "ring_quotient", │ │ │ │ │ + name: "ring_quotient", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "finmodule", │ │ │ │ │ - name: "finmodule", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "ssralg", │ │ │ │ │ + name: "ssralg", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "gseries", │ │ │ │ │ - name: "gseries", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "fraction", │ │ │ │ │ + name: "fraction", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "maximal", │ │ │ │ │ - name: "maximal", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "interval", │ │ │ │ │ + name: "interval", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "alt", │ │ │ │ │ - name: "alt", │ │ │ │ │ - parent: "cluster_solvable", │ │ │ │ │ + id: "intdiv", │ │ │ │ │ + name: "intdiv", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "cluster_fingroup", │ │ │ │ │ - name: "fingroup" │ │ │ │ │ - } │ │ │ │ │ - }, { │ │ │ │ │ - data: { │ │ │ │ │ - id: "cluster_fingroup_plus", │ │ │ │ │ - name: "+", │ │ │ │ │ - parent: "cluster_fingroup" │ │ │ │ │ + id: "zmodp", │ │ │ │ │ + name: "zmodp", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ + released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "presentation", │ │ │ │ │ - name: "presentation", │ │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ │ + id: "ssrnum", │ │ │ │ │ + name: "ssrnum", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "fingroup", │ │ │ │ │ - name: "fingroup", │ │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ │ + id: "countalg", │ │ │ │ │ + name: "countalg", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "morphism", │ │ │ │ │ - name: "morphism", │ │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ │ + id: "mxalgebra", │ │ │ │ │ + name: "mxalgebra", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "quotient", │ │ │ │ │ - name: "quotient", │ │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ │ + id: "vector", │ │ │ │ │ + name: "vector", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "all_fingroup", │ │ │ │ │ - name: "all_fingroup", │ │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ │ + id: "matrix", │ │ │ │ │ + name: "matrix", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "automorphism", │ │ │ │ │ - name: "automorphism", │ │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ │ + id: "archimedean", │ │ │ │ │ + name: "archimedean", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "action", │ │ │ │ │ - name: "action", │ │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ │ + id: "polyXY", │ │ │ │ │ + name: "polyXY", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "gproduct", │ │ │ │ │ - name: "gproduct", │ │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ │ + id: "qpoly", │ │ │ │ │ + name: "qpoly", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "perm", │ │ │ │ │ - name: "perm", │ │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ │ + id: "all_algebra", │ │ │ │ │ + name: "all_algebra", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "cluster_all", │ │ │ │ │ - name: "all" │ │ │ │ │ + id: "ssrint", │ │ │ │ │ + name: "ssrint", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ + released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "cluster_all_plus", │ │ │ │ │ - name: "+", │ │ │ │ │ - parent: "cluster_all" │ │ │ │ │ + id: "rat", │ │ │ │ │ + name: "rat", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ + released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "all", │ │ │ │ │ - name: "all", │ │ │ │ │ - parent: "cluster_all", │ │ │ │ │ + id: "finalg", │ │ │ │ │ + name: "finalg", │ │ │ │ │ + parent: "cluster_algebra", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "cluster_character", │ │ │ │ │ name: "character" │ │ │ │ │ } │ │ │ │ │ @@ -424,224 +431,217 @@ │ │ │ │ │ data: { │ │ │ │ │ id: "cluster_character_plus", │ │ │ │ │ name: "+", │ │ │ │ │ parent: "cluster_character" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "mxrepresentation", │ │ │ │ │ - name: "mxrepresentation", │ │ │ │ │ + id: "vcharacter", │ │ │ │ │ + name: "vcharacter", │ │ │ │ │ parent: "cluster_character", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "integral_char", │ │ │ │ │ name: "integral_char", │ │ │ │ │ parent: "cluster_character", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "vcharacter", │ │ │ │ │ - name: "vcharacter", │ │ │ │ │ + id: "classfun", │ │ │ │ │ + name: "classfun", │ │ │ │ │ parent: "cluster_character", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "character", │ │ │ │ │ - name: "character", │ │ │ │ │ + id: "inertia", │ │ │ │ │ + name: "inertia", │ │ │ │ │ parent: "cluster_character", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "all_character", │ │ │ │ │ - name: "all_character", │ │ │ │ │ + id: "mxabelem", │ │ │ │ │ + name: "mxabelem", │ │ │ │ │ parent: "cluster_character", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "classfun", │ │ │ │ │ - name: "classfun", │ │ │ │ │ + id: "character", │ │ │ │ │ + name: "character", │ │ │ │ │ parent: "cluster_character", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "mxabelem", │ │ │ │ │ - name: "mxabelem", │ │ │ │ │ + id: "mxrepresentation", │ │ │ │ │ + name: "mxrepresentation", │ │ │ │ │ parent: "cluster_character", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "inertia", │ │ │ │ │ - name: "inertia", │ │ │ │ │ + id: "all_character", │ │ │ │ │ + name: "all_character", │ │ │ │ │ parent: "cluster_character", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "cluster_algebra", │ │ │ │ │ - name: "algebra" │ │ │ │ │ + id: "cluster_solvable", │ │ │ │ │ + name: "solvable" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "cluster_algebra_plus", │ │ │ │ │ + id: "cluster_solvable_plus", │ │ │ │ │ name: "+", │ │ │ │ │ - parent: "cluster_algebra" │ │ │ │ │ - } │ │ │ │ │ - }, { │ │ │ │ │ - data: { │ │ │ │ │ - id: "rat", │ │ │ │ │ - name: "rat", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ - released: "no" │ │ │ │ │ + parent: "cluster_solvable" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "intdiv", │ │ │ │ │ - name: "intdiv", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "jordanholder", │ │ │ │ │ + name: "jordanholder", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "interval", │ │ │ │ │ - name: "interval", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "commutator", │ │ │ │ │ + name: "commutator", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "mxpoly", │ │ │ │ │ - name: "mxpoly", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "all_solvable", │ │ │ │ │ + name: "all_solvable", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "ssrint", │ │ │ │ │ - name: "ssrint", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "alt", │ │ │ │ │ + name: "alt", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "qpoly", │ │ │ │ │ - name: "qpoly", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "frobenius", │ │ │ │ │ + name: "frobenius", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "matrix", │ │ │ │ │ - name: "matrix", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "burnside_app", │ │ │ │ │ + name: "burnside_app", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "finalg", │ │ │ │ │ - name: "finalg", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "sylow", │ │ │ │ │ + name: "sylow", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "mxalgebra", │ │ │ │ │ - name: "mxalgebra", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "finmodule", │ │ │ │ │ + name: "finmodule", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "zmodp", │ │ │ │ │ - name: "zmodp", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "gfunctor", │ │ │ │ │ + name: "gfunctor", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "polyXY", │ │ │ │ │ - name: "polyXY", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "cyclic", │ │ │ │ │ + name: "cyclic", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "all_algebra", │ │ │ │ │ - name: "all_algebra", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "extraspecial", │ │ │ │ │ + name: "extraspecial", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "fraction", │ │ │ │ │ - name: "fraction", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "abelian", │ │ │ │ │ + name: "abelian", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "ssralg", │ │ │ │ │ - name: "ssralg", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "pgroup", │ │ │ │ │ + name: "pgroup", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "ring_quotient", │ │ │ │ │ - name: "ring_quotient", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "maximal", │ │ │ │ │ + name: "maximal", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "vector", │ │ │ │ │ - name: "vector", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "extremal", │ │ │ │ │ + name: "extremal", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "polydiv", │ │ │ │ │ - name: "polydiv", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "gseries", │ │ │ │ │ + name: "gseries", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "ssrnum", │ │ │ │ │ - name: "ssrnum", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "hall", │ │ │ │ │ + name: "hall", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "archimedean", │ │ │ │ │ - name: "archimedean", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "primitive_action", │ │ │ │ │ + name: "primitive_action", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "countalg", │ │ │ │ │ - name: "countalg", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "nilpotent", │ │ │ │ │ + name: "nilpotent", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "poly", │ │ │ │ │ - name: "poly", │ │ │ │ │ - parent: "cluster_algebra", │ │ │ │ │ + id: "center", │ │ │ │ │ + name: "center", │ │ │ │ │ + parent: "cluster_solvable", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "cluster_field", │ │ │ │ │ name: "field" │ │ │ │ │ } │ │ │ │ │ @@ -649,1097 +649,1097 @@ │ │ │ │ │ data: { │ │ │ │ │ id: "cluster_field_plus", │ │ │ │ │ name: "+", │ │ │ │ │ parent: "cluster_field" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "all_field", │ │ │ │ │ - name: "all_field", │ │ │ │ │ + id: "fieldext", │ │ │ │ │ + name: "fieldext", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "separable", │ │ │ │ │ - name: "separable", │ │ │ │ │ + id: "algC", │ │ │ │ │ + name: "algC", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "galois", │ │ │ │ │ - name: "galois", │ │ │ │ │ + id: "separable", │ │ │ │ │ + name: "separable", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "cyclotomic", │ │ │ │ │ - name: "cyclotomic", │ │ │ │ │ + id: "algnum", │ │ │ │ │ + name: "algnum", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "finfield", │ │ │ │ │ - name: "finfield", │ │ │ │ │ + id: "all_field", │ │ │ │ │ + name: "all_field", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "algC", │ │ │ │ │ - name: "algC", │ │ │ │ │ + id: "algebraics_fundamentals", │ │ │ │ │ + name: "algebraics_fundamentals", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "qfpoly", │ │ │ │ │ name: "qfpoly", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "algnum", │ │ │ │ │ - name: "algnum", │ │ │ │ │ + id: "closed_field", │ │ │ │ │ + name: "closed_field", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "closed_field", │ │ │ │ │ - name: "closed_field", │ │ │ │ │ + id: "galois", │ │ │ │ │ + name: "galois", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "algebraics_fundamentals", │ │ │ │ │ - name: "algebraics_fundamentals", │ │ │ │ │ + id: "cyclotomic", │ │ │ │ │ + name: "cyclotomic", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ - id: "fieldext", │ │ │ │ │ - name: "fieldext", │ │ │ │ │ + id: "finfield", │ │ │ │ │ + name: "finfield", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "falgebra", │ │ │ │ │ name: "falgebra", │ │ │ │ │ parent: "cluster_field", │ │ │ │ │ released: "no" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge0", │ │ │ │ │ - source: "frobenius", │ │ │ │ │ - target: "hall" │ │ │ │ │ + source: "presentation", │ │ │ │ │ + target: "morphism" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge1", │ │ │ │ │ - source: "fintype", │ │ │ │ │ - target: "path" │ │ │ │ │ + source: "perm", │ │ │ │ │ + target: "morphism" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge2", │ │ │ │ │ - source: "qfpoly", │ │ │ │ │ - target: "finfield" │ │ │ │ │ + source: "vcharacter", │ │ │ │ │ + target: "integral_char" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge3", │ │ │ │ │ - source: "bigop", │ │ │ │ │ - target: "finfun" │ │ │ │ │ + source: "all", │ │ │ │ │ + target: "all_character" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge4", │ │ │ │ │ - source: "primitive_action", │ │ │ │ │ - target: "gseries" │ │ │ │ │ + source: "finfun", │ │ │ │ │ + target: "tuple" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge5", │ │ │ │ │ - source: "nilpotent", │ │ │ │ │ - target: "gseries" │ │ │ │ │ + source: "closed_field", │ │ │ │ │ + target: "ring_quotient" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge6", │ │ │ │ │ - source: "jordanholder", │ │ │ │ │ - target: "gseries" │ │ │ │ │ + source: "all_algebra", │ │ │ │ │ + target: "ring_quotient" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge7", │ │ │ │ │ - source: "binomial", │ │ │ │ │ - target: "finset" │ │ │ │ │ + source: "ring_quotient", │ │ │ │ │ + target: "ssralg" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge8", │ │ │ │ │ - source: "order", │ │ │ │ │ - target: "finset" │ │ │ │ │ + source: "countalg", │ │ │ │ │ + target: "ssralg" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge9", │ │ │ │ │ - source: "fingroup", │ │ │ │ │ - target: "finset" │ │ │ │ │ + source: "sylow", │ │ │ │ │ + target: "nilpotent" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge10", │ │ │ │ │ - source: "finfun", │ │ │ │ │ - target: "tuple" │ │ │ │ │ + source: "all_solvable", │ │ │ │ │ + target: "extraspecial" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge11", │ │ │ │ │ - source: "algebraics_fundamentals", │ │ │ │ │ - target: "galois" │ │ │ │ │ + source: "fingroup", │ │ │ │ │ + target: "finset" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge12", │ │ │ │ │ - source: "perm", │ │ │ │ │ - target: "morphism" │ │ │ │ │ + source: "binomial", │ │ │ │ │ + target: "finset" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge13", │ │ │ │ │ - source: "presentation", │ │ │ │ │ - target: "morphism" │ │ │ │ │ + source: "order", │ │ │ │ │ + target: "finset" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge14", │ │ │ │ │ - source: "all", │ │ │ │ │ - target: "all_algebra" │ │ │ │ │ + source: "ssrfun", │ │ │ │ │ + target: "ssreflect" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge15", │ │ │ │ │ - source: "separable", │ │ │ │ │ - target: "fieldext" │ │ │ │ │ + source: "all_algebra", │ │ │ │ │ + target: "polyXY" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge16", │ │ │ │ │ - source: "automorphism", │ │ │ │ │ - target: "perm" │ │ │ │ │ + source: "separable", │ │ │ │ │ + target: "polyXY" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge17", │ │ │ │ │ - source: "finset", │ │ │ │ │ - target: "bigop" │ │ │ │ │ + source: "all_algebra", │ │ │ │ │ + target: "qpoly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge18", │ │ │ │ │ - source: "prime", │ │ │ │ │ - target: "bigop" │ │ │ │ │ + source: "qfpoly", │ │ │ │ │ + target: "qpoly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge19", │ │ │ │ │ - source: "ssrAC", │ │ │ │ │ - target: "bigop" │ │ │ │ │ + source: "all_character", │ │ │ │ │ + target: "mxabelem" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge20", │ │ │ │ │ - source: "all", │ │ │ │ │ - target: "all_solvable" │ │ │ │ │ + source: "intdiv", │ │ │ │ │ + target: "rat" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge21", │ │ │ │ │ - source: "perm", │ │ │ │ │ - target: "binomial" │ │ │ │ │ + source: "separable", │ │ │ │ │ + target: "fieldext" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge22", │ │ │ │ │ - source: "all_ssreflect", │ │ │ │ │ - target: "binomial" │ │ │ │ │ + source: "archimedean", │ │ │ │ │ + target: "ssrint" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge23", │ │ │ │ │ - source: "ssralg", │ │ │ │ │ - target: "binomial" │ │ │ │ │ + source: "all", │ │ │ │ │ + target: "all_solvable" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge24", │ │ │ │ │ - source: "binomial", │ │ │ │ │ - target: "prime" │ │ │ │ │ + source: "finset", │ │ │ │ │ + target: "bigop" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge25", │ │ │ │ │ - source: "order", │ │ │ │ │ - target: "prime" │ │ │ │ │ + source: "ssrAC", │ │ │ │ │ + target: "bigop" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge26", │ │ │ │ │ - source: "fingroup", │ │ │ │ │ - target: "prime" │ │ │ │ │ + source: "prime", │ │ │ │ │ + target: "bigop" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge27", │ │ │ │ │ - source: "all_algebra", │ │ │ │ │ - target: "interval" │ │ │ │ │ + source: "morphism", │ │ │ │ │ + target: "fingroup" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge28", │ │ │ │ │ - source: "all_algebra", │ │ │ │ │ - target: "ring_quotient" │ │ │ │ │ + source: "ssrnum", │ │ │ │ │ + target: "fingroup" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge29", │ │ │ │ │ - source: "closed_field", │ │ │ │ │ - target: "ring_quotient" │ │ │ │ │ + source: "cyclic", │ │ │ │ │ + target: "zmodp" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge30", │ │ │ │ │ - source: "cyclotomic", │ │ │ │ │ - target: "algC" │ │ │ │ │ + source: "matrix", │ │ │ │ │ + target: "zmodp" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge31", │ │ │ │ │ - source: "archimedean", │ │ │ │ │ - target: "ssrint" │ │ │ │ │ + source: "maximal", │ │ │ │ │ + target: "finmodule" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge32", │ │ │ │ │ - source: "all_algebra", │ │ │ │ │ - target: "qpoly" │ │ │ │ │ + source: "gseries", │ │ │ │ │ + target: "center" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge33", │ │ │ │ │ - source: "qfpoly", │ │ │ │ │ - target: "qpoly" │ │ │ │ │ + source: "mxrepresentation", │ │ │ │ │ + target: "center" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge34", │ │ │ │ │ - source: "path", │ │ │ │ │ - target: "seq" │ │ │ │ │ + source: "ssralg", │ │ │ │ │ + target: "binomial" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge35", │ │ │ │ │ - source: "choice", │ │ │ │ │ - target: "seq" │ │ │ │ │ + source: "all_ssreflect", │ │ │ │ │ + target: "binomial" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge36", │ │ │ │ │ - source: "div", │ │ │ │ │ - target: "seq" │ │ │ │ │ + source: "perm", │ │ │ │ │ + target: "binomial" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge37", │ │ │ │ │ - source: "fintype", │ │ │ │ │ - target: "choice" │ │ │ │ │ + source: "finfield", │ │ │ │ │ + target: "abelian" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge38", │ │ │ │ │ - source: "ssrfun", │ │ │ │ │ - target: "ssreflect" │ │ │ │ │ + source: "maximal", │ │ │ │ │ + target: "abelian" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge39", │ │ │ │ │ - source: "all_character", │ │ │ │ │ - target: "mxabelem" │ │ │ │ │ + source: "character", │ │ │ │ │ + target: "abelian" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge40", │ │ │ │ │ - source: "all_algebra", │ │ │ │ │ - target: "polyXY" │ │ │ │ │ + source: "sylow", │ │ │ │ │ + target: "pgroup" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge41", │ │ │ │ │ - source: "separable", │ │ │ │ │ - target: "polyXY" │ │ │ │ │ + source: "mxrepresentation", │ │ │ │ │ + target: "pgroup" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge42", │ │ │ │ │ - source: "all_field", │ │ │ │ │ - target: "qfpoly" │ │ │ │ │ + source: "algC", │ │ │ │ │ + target: "algebraics_fundamentals" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge43", │ │ │ │ │ - source: "all_algebra", │ │ │ │ │ - target: "fraction" │ │ │ │ │ + source: "action", │ │ │ │ │ + target: "quotient" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge44", │ │ │ │ │ - source: "fieldext", │ │ │ │ │ - target: "generic_quotient" │ │ │ │ │ + source: "all_character", │ │ │ │ │ + target: "vcharacter" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge45", │ │ │ │ │ - source: "ring_quotient", │ │ │ │ │ - target: "generic_quotient" │ │ │ │ │ + source: "ssrnum", │ │ │ │ │ + target: "poly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge46", │ │ │ │ │ - source: "fraction", │ │ │ │ │ - target: "generic_quotient" │ │ │ │ │ + source: "cyclic", │ │ │ │ │ + target: "poly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge47", │ │ │ │ │ - source: "all_ssreflect", │ │ │ │ │ - target: "generic_quotient" │ │ │ │ │ + source: "falgebra", │ │ │ │ │ + target: "poly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge48", │ │ │ │ │ - source: "alt", │ │ │ │ │ - target: "primitive_action" │ │ │ │ │ + source: "polydiv", │ │ │ │ │ + target: "poly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge49", │ │ │ │ │ - source: "burnside_app", │ │ │ │ │ - target: "primitive_action" │ │ │ │ │ + source: "character", │ │ │ │ │ + target: "classfun" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge50", │ │ │ │ │ - source: "mxrepresentation", │ │ │ │ │ - target: "pgroup" │ │ │ │ │ + source: "finmodule", │ │ │ │ │ + target: "commutator" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge51", │ │ │ │ │ - source: "sylow", │ │ │ │ │ - target: "pgroup" │ │ │ │ │ + source: "gseries", │ │ │ │ │ + target: "commutator" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge52", │ │ │ │ │ - source: "all", │ │ │ │ │ - target: "all_character" │ │ │ │ │ + source: "mxrepresentation", │ │ │ │ │ + target: "commutator" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge53", │ │ │ │ │ - source: "cyclic", │ │ │ │ │ - target: "poly" │ │ │ │ │ + source: "ssrnat", │ │ │ │ │ + target: "eqtype" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge54", │ │ │ │ │ - source: "falgebra", │ │ │ │ │ - target: "poly" │ │ │ │ │ + source: "rat", │ │ │ │ │ + target: "archimedean" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge55", │ │ │ │ │ - source: "polydiv", │ │ │ │ │ - target: "poly" │ │ │ │ │ + source: "all_ssreflect", │ │ │ │ │ + target: "fingraph" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge56", │ │ │ │ │ - source: "ssrnum", │ │ │ │ │ - target: "poly" │ │ │ │ │ + source: "burnside_app", │ │ │ │ │ + target: "primitive_action" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge57", │ │ │ │ │ - source: "sylow", │ │ │ │ │ - target: "nilpotent" │ │ │ │ │ + source: "alt", │ │ │ │ │ + target: "primitive_action" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge58", │ │ │ │ │ - source: "extremal", │ │ │ │ │ - target: "presentation" │ │ │ │ │ + source: "all_solvable", │ │ │ │ │ + target: "jordanholder" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge59", │ │ │ │ │ - source: "all_fingroup", │ │ │ │ │ - target: "presentation" │ │ │ │ │ + source: "algebraics_fundamentals", │ │ │ │ │ + target: "closed_field" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge60", │ │ │ │ │ - source: "intdiv", │ │ │ │ │ - target: "rat" │ │ │ │ │ + source: "all_solvable", │ │ │ │ │ + target: "burnside_app" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge61", │ │ │ │ │ - source: "all_algebra", │ │ │ │ │ - target: "intdiv" │ │ │ │ │ + source: "frobenius", │ │ │ │ │ + target: "hall" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge62", │ │ │ │ │ - source: "algebraics_fundamentals", │ │ │ │ │ - target: "intdiv" │ │ │ │ │ + source: "tuple", │ │ │ │ │ + target: "fintype" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge63", │ │ │ │ │ - source: "fintype", │ │ │ │ │ - target: "div" │ │ │ │ │ + source: "fingraph", │ │ │ │ │ + target: "fintype" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge64", │ │ │ │ │ - source: "all_solvable", │ │ │ │ │ - target: "jordanholder" │ │ │ │ │ + source: "generic_quotient", │ │ │ │ │ + target: "fintype" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge65", │ │ │ │ │ - source: "action", │ │ │ │ │ - target: "quotient" │ │ │ │ │ + source: "ring_quotient", │ │ │ │ │ + target: "generic_quotient" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge66", │ │ │ │ │ - source: "quotient", │ │ │ │ │ - target: "automorphism" │ │ │ │ │ + source: "fieldext", │ │ │ │ │ + target: "generic_quotient" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge67", │ │ │ │ │ - source: "gproduct", │ │ │ │ │ - target: "action" │ │ │ │ │ + source: "fraction", │ │ │ │ │ + target: "generic_quotient" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge68", │ │ │ │ │ - source: "finalg", │ │ │ │ │ - target: "action" │ │ │ │ │ + source: "all_ssreflect", │ │ │ │ │ + target: "generic_quotient" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge69", │ │ │ │ │ - source: "ssrfun", │ │ │ │ │ - target: "ssrnotations" │ │ │ │ │ + source: "ssrint", │ │ │ │ │ + target: "ssrnum" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge70", │ │ │ │ │ - source: "all_ssreflect", │ │ │ │ │ - target: "fingraph" │ │ │ │ │ + source: "interval", │ │ │ │ │ + target: "ssrnum" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge71", │ │ │ │ │ - source: "pgroup", │ │ │ │ │ - target: "gfunctor" │ │ │ │ │ + source: "extraspecial", │ │ │ │ │ + target: "extremal" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge72", │ │ │ │ │ - source: "center", │ │ │ │ │ - target: "gfunctor" │ │ │ │ │ + source: "finmodule", │ │ │ │ │ + target: "cyclic" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge73", │ │ │ │ │ - source: "commutator", │ │ │ │ │ - target: "gfunctor" │ │ │ │ │ + source: "center", │ │ │ │ │ + target: "cyclic" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge74", │ │ │ │ │ - source: "maximal", │ │ │ │ │ - target: "finmodule" │ │ │ │ │ + source: "pgroup", │ │ │ │ │ + target: "cyclic" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge75", │ │ │ │ │ - source: "vector", │ │ │ │ │ - target: "mxalgebra" │ │ │ │ │ + source: "separable", │ │ │ │ │ + target: "cyclic" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge76", │ │ │ │ │ - source: "mxpoly", │ │ │ │ │ - target: "mxalgebra" │ │ │ │ │ + source: "poly", │ │ │ │ │ + target: "countalg" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge77", │ │ │ │ │ - source: "pgroup", │ │ │ │ │ - target: "cyclic" │ │ │ │ │ + source: "finalg", │ │ │ │ │ + target: "countalg" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge78", │ │ │ │ │ - source: "finmodule", │ │ │ │ │ - target: "cyclic" │ │ │ │ │ + source: "fintype", │ │ │ │ │ + target: "choice" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge79", │ │ │ │ │ - source: "separable", │ │ │ │ │ - target: "cyclic" │ │ │ │ │ + source: "eqtype", │ │ │ │ │ + target: "ssrbool" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge80", │ │ │ │ │ - source: "center", │ │ │ │ │ - target: "cyclic" │ │ │ │ │ + source: "cyclotomic", │ │ │ │ │ + target: "algC" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge81", │ │ │ │ │ - source: "extraspecial", │ │ │ │ │ - target: "extremal" │ │ │ │ │ + source: "all", │ │ │ │ │ + target: "all_algebra" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge82", │ │ │ │ │ - source: "fieldext", │ │ │ │ │ - target: "falgebra" │ │ │ │ │ + source: "quotient", │ │ │ │ │ + target: "automorphism" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge83", │ │ │ │ │ - source: "qpoly", │ │ │ │ │ - target: "vector" │ │ │ │ │ + source: "galois", │ │ │ │ │ + target: "separable" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge84", │ │ │ │ │ - source: "intdiv", │ │ │ │ │ - target: "vector" │ │ │ │ │ + source: "center", │ │ │ │ │ + target: "gfunctor" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge85", │ │ │ │ │ - source: "falgebra", │ │ │ │ │ - target: "vector" │ │ │ │ │ + source: "pgroup", │ │ │ │ │ + target: "gfunctor" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge86", │ │ │ │ │ - source: "all_solvable", │ │ │ │ │ - target: "extraspecial" │ │ │ │ │ + source: "commutator", │ │ │ │ │ + target: "gfunctor" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge87", │ │ │ │ │ - source: "mxalgebra", │ │ │ │ │ - target: "matrix" │ │ │ │ │ + source: "extremal", │ │ │ │ │ + target: "presentation" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge88", │ │ │ │ │ - source: "extremal", │ │ │ │ │ - target: "matrix" │ │ │ │ │ + source: "all_fingroup", │ │ │ │ │ + target: "presentation" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge89", │ │ │ │ │ - source: "vcharacter", │ │ │ │ │ - target: "integral_char" │ │ │ │ │ + source: "qfpoly", │ │ │ │ │ + target: "finfield" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge90", │ │ │ │ │ - source: "all", │ │ │ │ │ - target: "all_ssreflect" │ │ │ │ │ + source: "all_field", │ │ │ │ │ + target: "qfpoly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge91", │ │ │ │ │ - source: "gfunctor", │ │ │ │ │ - target: "gproduct" │ │ │ │ │ + source: "all_character", │ │ │ │ │ + target: "inertia" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge92", │ │ │ │ │ - source: "cyclic", │ │ │ │ │ - target: "gproduct" │ │ │ │ │ + source: "algebraics_fundamentals", │ │ │ │ │ + target: "galois" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge93", │ │ │ │ │ - source: "all_fingroup", │ │ │ │ │ - target: "gproduct" │ │ │ │ │ + source: "finfield", │ │ │ │ │ + target: "cyclotomic" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge94", │ │ │ │ │ - source: "all_solvable", │ │ │ │ │ - target: "alt" │ │ │ │ │ + source: "algnum", │ │ │ │ │ + target: "cyclotomic" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge95", │ │ │ │ │ - source: "rat", │ │ │ │ │ - target: "archimedean" │ │ │ │ │ + source: "all", │ │ │ │ │ + target: "all_fingroup" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge96", │ │ │ │ │ - source: "algebraics_fundamentals", │ │ │ │ │ - target: "closed_field" │ │ │ │ │ + source: "extremal", │ │ │ │ │ + target: "matrix" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge97", │ │ │ │ │ - source: "fraction", │ │ │ │ │ - target: "polydiv" │ │ │ │ │ + source: "mxalgebra", │ │ │ │ │ + target: "matrix" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge98", │ │ │ │ │ - source: "intdiv", │ │ │ │ │ - target: "polydiv" │ │ │ │ │ + source: "mxabelem", │ │ │ │ │ + target: "maximal" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge99", │ │ │ │ │ - source: "mxpoly", │ │ │ │ │ - target: "polydiv" │ │ │ │ │ + source: "hall", │ │ │ │ │ + target: "maximal" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge100", │ │ │ │ │ - source: "algC", │ │ │ │ │ - target: "algebraics_fundamentals" │ │ │ │ │ + source: "extremal", │ │ │ │ │ + target: "maximal" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge101", │ │ │ │ │ - source: "cyclic", │ │ │ │ │ - target: "zmodp" │ │ │ │ │ + source: "nilpotent", │ │ │ │ │ + target: "gseries" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge102", │ │ │ │ │ - source: "matrix", │ │ │ │ │ - target: "zmodp" │ │ │ │ │ + source: "primitive_action", │ │ │ │ │ + target: "gseries" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge103", │ │ │ │ │ - source: "galois", │ │ │ │ │ - target: "separable" │ │ │ │ │ + source: "jordanholder", │ │ │ │ │ + target: "gseries" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge104", │ │ │ │ │ - source: "all_solvable", │ │ │ │ │ - target: "frobenius" │ │ │ │ │ + source: "cyclic", │ │ │ │ │ + target: "gproduct" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge105", │ │ │ │ │ - source: "vcharacter", │ │ │ │ │ - target: "frobenius" │ │ │ │ │ + source: "gfunctor", │ │ │ │ │ + target: "gproduct" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge106", │ │ │ │ │ - source: "inertia", │ │ │ │ │ - target: "frobenius" │ │ │ │ │ + source: "all_fingroup", │ │ │ │ │ + target: "gproduct" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge107", │ │ │ │ │ - source: "seq", │ │ │ │ │ - target: "ssrnat" │ │ │ │ │ + source: "fieldext", │ │ │ │ │ + target: "falgebra" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge108", │ │ │ │ │ - source: "ssrnat", │ │ │ │ │ - target: "eqtype" │ │ │ │ │ + source: "abelian", │ │ │ │ │ + target: "sylow" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge109", │ │ │ │ │ - source: "fraction", │ │ │ │ │ - target: "ssrAC" │ │ │ │ │ + source: "algebraics_fundamentals", │ │ │ │ │ + target: "sylow" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge110", │ │ │ │ │ - source: "all_ssreflect", │ │ │ │ │ - target: "ssrAC" │ │ │ │ │ + source: "alt", │ │ │ │ │ + target: "sylow" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge111", │ │ │ │ │ - source: "ssrnum", │ │ │ │ │ - target: "ssrAC" │ │ │ │ │ + source: "all_solvable", │ │ │ │ │ + target: "alt" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge112", │ │ │ │ │ - source: "gseries", │ │ │ │ │ - target: "center" │ │ │ │ │ + source: "ssrnum", │ │ │ │ │ + target: "order" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge113", │ │ │ │ │ - source: "mxrepresentation", │ │ │ │ │ - target: "center" │ │ │ │ │ + source: "matrix", │ │ │ │ │ + target: "order" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge114", │ │ │ │ │ - source: "all_field", │ │ │ │ │ - target: "algnum" │ │ │ │ │ + source: "all_ssreflect", │ │ │ │ │ + target: "order" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge115", │ │ │ │ │ - source: "classfun", │ │ │ │ │ - target: "algnum" │ │ │ │ │ + source: "all_solvable", │ │ │ │ │ + target: "frobenius" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge116", │ │ │ │ │ - source: "all_character", │ │ │ │ │ - target: "vcharacter" │ │ │ │ │ + source: "vcharacter", │ │ │ │ │ + target: "frobenius" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge117", │ │ │ │ │ - source: "finfield", │ │ │ │ │ - target: "abelian" │ │ │ │ │ + source: "inertia", │ │ │ │ │ + target: "frobenius" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge118", │ │ │ │ │ - source: "maximal", │ │ │ │ │ - target: "abelian" │ │ │ │ │ + source: "ssrfun", │ │ │ │ │ + target: "ssrnotations" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge119", │ │ │ │ │ - source: "character", │ │ │ │ │ - target: "abelian" │ │ │ │ │ + source: "all_algebra", │ │ │ │ │ + target: "fraction" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge120", │ │ │ │ │ - source: "interval", │ │ │ │ │ - target: "ssrnum" │ │ │ │ │ + source: "polyXY", │ │ │ │ │ + target: "mxpoly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge121", │ │ │ │ │ - source: "ssrint", │ │ │ │ │ - target: "ssrnum" │ │ │ │ │ + source: "qpoly", │ │ │ │ │ + target: "mxpoly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge122", │ │ │ │ │ - source: "hall", │ │ │ │ │ - target: "maximal" │ │ │ │ │ + source: "fieldext", │ │ │ │ │ + target: "mxpoly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge123", │ │ │ │ │ - source: "mxabelem", │ │ │ │ │ - target: "maximal" │ │ │ │ │ + source: "closed_field", │ │ │ │ │ + target: "mxpoly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge124", │ │ │ │ │ - source: "extremal", │ │ │ │ │ - target: "maximal" │ │ │ │ │ + source: "mxrepresentation", │ │ │ │ │ + target: "mxpoly" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge125", │ │ │ │ │ - source: "all_solvable", │ │ │ │ │ - target: "burnside_app" │ │ │ │ │ + source: "algebraics_fundamentals", │ │ │ │ │ + target: "intdiv" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge126", │ │ │ │ │ - source: "gseries", │ │ │ │ │ - target: "commutator" │ │ │ │ │ + source: "all_algebra", │ │ │ │ │ + target: "intdiv" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge127", │ │ │ │ │ - source: "finmodule", │ │ │ │ │ - target: "commutator" │ │ │ │ │ + source: "all", │ │ │ │ │ + target: "all_ssreflect" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge128", │ │ │ │ │ - source: "mxrepresentation", │ │ │ │ │ - target: "commutator" │ │ │ │ │ + source: "integral_char", │ │ │ │ │ + target: "character" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge129", │ │ │ │ │ - source: "all", │ │ │ │ │ - target: "all_field" │ │ │ │ │ + source: "inertia", │ │ │ │ │ + target: "character" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge130", │ │ │ │ │ - source: "mxabelem", │ │ │ │ │ - target: "mxrepresentation" │ │ │ │ │ + source: "ssrbool", │ │ │ │ │ + target: "ssrfun" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge131", │ │ │ │ │ - source: "character", │ │ │ │ │ - target: "mxrepresentation" │ │ │ │ │ + source: "all_algebra", │ │ │ │ │ + target: "interval" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge132", │ │ │ │ │ - source: "ring_quotient", │ │ │ │ │ - target: "ssralg" │ │ │ │ │ + source: "fintype", │ │ │ │ │ + target: "div" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge133", │ │ │ │ │ - source: "countalg", │ │ │ │ │ - target: "ssralg" │ │ │ │ │ + source: "fintype", │ │ │ │ │ + target: "path" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge134", │ │ │ │ │ - source: "tuple", │ │ │ │ │ - target: "fintype" │ │ │ │ │ + source: "ssrnum", │ │ │ │ │ + target: "ssrAC" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge135", │ │ │ │ │ - source: "generic_quotient", │ │ │ │ │ - target: "fintype" │ │ │ │ │ + source: "fraction", │ │ │ │ │ + target: "ssrAC" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge136", │ │ │ │ │ - source: "fingraph", │ │ │ │ │ - target: "fintype" │ │ │ │ │ + source: "all_ssreflect", │ │ │ │ │ + target: "ssrAC" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge137", │ │ │ │ │ - source: "integral_char", │ │ │ │ │ - target: "character" │ │ │ │ │ + source: "automorphism", │ │ │ │ │ + target: "perm" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge138", │ │ │ │ │ - source: "inertia", │ │ │ │ │ - target: "character" │ │ │ │ │ + source: "gproduct", │ │ │ │ │ + target: "action" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge139", │ │ │ │ │ - source: "all_character", │ │ │ │ │ - target: "inertia" │ │ │ │ │ + source: "finalg", │ │ │ │ │ + target: "action" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge140", │ │ │ │ │ - source: "finfield", │ │ │ │ │ - target: "cyclotomic" │ │ │ │ │ + source: "qpoly", │ │ │ │ │ + target: "vector" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge141", │ │ │ │ │ - source: "algnum", │ │ │ │ │ - target: "cyclotomic" │ │ │ │ │ + source: "falgebra", │ │ │ │ │ + target: "vector" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge142", │ │ │ │ │ - source: "eqtype", │ │ │ │ │ - target: "ssrbool" │ │ │ │ │ + source: "intdiv", │ │ │ │ │ + target: "vector" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge143", │ │ │ │ │ - source: "alt", │ │ │ │ │ - target: "sylow" │ │ │ │ │ + source: "seq", │ │ │ │ │ + target: "ssrnat" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge144", │ │ │ │ │ - source: "algebraics_fundamentals", │ │ │ │ │ - target: "sylow" │ │ │ │ │ + source: "zmodp", │ │ │ │ │ + target: "finalg" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge145", │ │ │ │ │ - source: "abelian", │ │ │ │ │ - target: "sylow" │ │ │ │ │ + source: "all", │ │ │ │ │ + target: "all_field" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge146", │ │ │ │ │ - source: "poly", │ │ │ │ │ - target: "countalg" │ │ │ │ │ + source: "fingroup", │ │ │ │ │ + target: "prime" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge147", │ │ │ │ │ - source: "finalg", │ │ │ │ │ - target: "countalg" │ │ │ │ │ + source: "binomial", │ │ │ │ │ + target: "prime" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge148", │ │ │ │ │ - source: "all", │ │ │ │ │ - target: "all_fingroup" │ │ │ │ │ + source: "order", │ │ │ │ │ + target: "prime" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge149", │ │ │ │ │ - source: "matrix", │ │ │ │ │ - target: "order" │ │ │ │ │ + source: "fraction", │ │ │ │ │ + target: "polydiv" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge150", │ │ │ │ │ - source: "all_ssreflect", │ │ │ │ │ - target: "order" │ │ │ │ │ + source: "mxpoly", │ │ │ │ │ + target: "polydiv" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge151", │ │ │ │ │ - source: "ssrnum", │ │ │ │ │ - target: "order" │ │ │ │ │ + source: "intdiv", │ │ │ │ │ + target: "polydiv" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge152", │ │ │ │ │ - source: "morphism", │ │ │ │ │ - target: "fingroup" │ │ │ │ │ + source: "choice", │ │ │ │ │ + target: "seq" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge153", │ │ │ │ │ - source: "ssrnum", │ │ │ │ │ - target: "fingroup" │ │ │ │ │ + source: "div", │ │ │ │ │ + target: "seq" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge154", │ │ │ │ │ - source: "fieldext", │ │ │ │ │ - target: "mxpoly" │ │ │ │ │ + source: "path", │ │ │ │ │ + target: "seq" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge155", │ │ │ │ │ - source: "qpoly", │ │ │ │ │ - target: "mxpoly" │ │ │ │ │ + source: "bigop", │ │ │ │ │ + target: "finfun" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge156", │ │ │ │ │ - source: "polyXY", │ │ │ │ │ - target: "mxpoly" │ │ │ │ │ + source: "mxpoly", │ │ │ │ │ + target: "mxalgebra" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge157", │ │ │ │ │ - source: "closed_field", │ │ │ │ │ - target: "mxpoly" │ │ │ │ │ + source: "vector", │ │ │ │ │ + target: "mxalgebra" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge158", │ │ │ │ │ - source: "mxrepresentation", │ │ │ │ │ - target: "mxpoly" │ │ │ │ │ + source: "mxabelem", │ │ │ │ │ + target: "mxrepresentation" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge159", │ │ │ │ │ source: "character", │ │ │ │ │ - target: "classfun" │ │ │ │ │ + target: "mxrepresentation" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge160", │ │ │ │ │ - source: "zmodp", │ │ │ │ │ - target: "finalg" │ │ │ │ │ + source: "classfun", │ │ │ │ │ + target: "algnum" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge161", │ │ │ │ │ - source: "ssrbool", │ │ │ │ │ - target: "ssrfun" │ │ │ │ │ + source: "all_field", │ │ │ │ │ + target: "algnum" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge162", │ │ │ │ │ source: "cluster_fingroup", │ │ │ │ │ target: "cluster_ssreflect" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge163", │ │ │ │ │ - source: "cluster_field", │ │ │ │ │ - target: "cluster_solvable" │ │ │ │ │ + source: "cluster_algebra", │ │ │ │ │ + target: "cluster_fingroup" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge164", │ │ │ │ │ - source: "cluster_algebra", │ │ │ │ │ - target: "cluster_fingroup" │ │ │ │ │ + source: "cluster_solvable", │ │ │ │ │ + target: "cluster_algebra" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge165", │ │ │ │ │ source: "cluster_all", │ │ │ │ │ target: "cluster_character" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge166", │ │ │ │ │ - source: "cluster_solvable", │ │ │ │ │ - target: "cluster_algebra" │ │ │ │ │ + source: "cluster_field", │ │ │ │ │ + target: "cluster_solvable" │ │ │ │ │ } │ │ │ │ │ }, { │ │ │ │ │ data: { │ │ │ │ │ id: "edge167", │ │ │ │ │ source: "cluster_character", │ │ │ │ │ target: "cluster_field" │ │ │ │ │ } │ │ ├── xz --list │ │ │ @@ -1,16 +1,16 @@ │ │ │ Streams: 1 │ │ │ Blocks: 4 │ │ │ - Compressed size: 2790.1 KiB (2857072 B) │ │ │ + Compressed size: 2790.1 KiB (2857100 B) │ │ │ Uncompressed size: 95.4 MiB (100055040 B) │ │ │ Ratio: 0.029 │ │ │ Check: CRC64 │ │ │ Stream Padding: 0 B │ │ │ Streams: │ │ │ Stream Blocks CompOffset UncompOffset CompSize UncompSize Ratio Check Padding │ │ │ - 1 4 0 0 2857072 100055040 0.029 CRC64 0 │ │ │ + 1 4 0 0 2857100 100055040 0.029 CRC64 0 │ │ │ Blocks: │ │ │ Stream Block CompOffset UncompOffset TotalSize UncompSize Ratio Check │ │ │ - 1 1 12 0 858104 25165824 0.034 CRC64 │ │ │ - 1 2 858116 25165824 595636 25165824 0.024 CRC64 │ │ │ - 1 3 1453752 50331648 820624 25165824 0.033 CRC64 │ │ │ - 1 4 2274376 75497472 582648 24557568 0.024 CRC64 │ │ │ + 1 1 12 0 858132 25165824 0.034 CRC64 │ │ │ + 1 2 858144 25165824 595636 25165824 0.024 CRC64 │ │ │ + 1 3 1453780 50331648 820624 25165824 0.033 CRC64 │ │ │ + 1 4 2274404 75497472 582648 24557568 0.024 CRC64