Atlas of Lie Groups and Representations

Documentation › atlas Library › Script Files

Script Dependency Graph

About this graph

An arrow A → B means that file A contains the line <B.at. The graph has all 175 script files read when loading all.at. The 32 files at the top are not loaded by any other file; files listed in all.at have a red border. basic.at is at the bottom.

Simplified (308 arrows) leaves out an arrow A → B when A already reaches B through the other files it loads, so it shows the same “loads, directly or indirectly” relation more legibly. All loads shows every one of the 602 < lines.

Hover over a file to highlight the files it loads and is loaded by; click it to read its documentation.

listed in all.at loaded only by other script files highlighted

As SVG files: simplified, all loads.

Generated from atlas-scripts at commit 648506c (2026-10-13).

scripts adams_johnson.at adams_johnson.at hermitian.at hermitian.at adams_johnson.at->hermitian.at L_packet.at L_packet.at adams_johnson.at->L_packet.at affine.at affine.at center.at center.at affine.at->center.at K.at K.at affine.at->K.at lietypes.at lietypes.at affine.at->lietypes.at synthetic.at synthetic.at affine.at->synthetic.at all_finite_order.at all_finite_order.at all_finite_order.at->affine.at W_classes.at W_classes.at all_finite_order.at->W_classes.at aql.at aql.at aql.at->hermitian.at K_highest_weights.at K_highest_weights.at aql.at->K_highest_weights.at arthur_parameters.at arthur_parameters.at disconnected.at disconnected.at arthur_parameters.at->disconnected.at galois.at galois.at arthur_parameters.at->galois.at associated_variety_annihilator.at associated_variety_annihilator.at K_types.at K_types.at associated_variety_annihilator.at->K_types.at special_rep.at special_rep.at associated_variety_annihilator.at->special_rep.at sub_cells.at sub_cells.at associated_variety_annihilator.at->sub_cells.at basic.at basic.at bigMatrices.at bigMatrices.at KL_polynomial_matrices.at KL_polynomial_matrices.at bigMatrices.at->KL_polynomial_matrices.at bracket.at bracket.at nilpotent_orbits.at nilpotent_orbits.at bracket.at->nilpotent_orbits.at structure_constants.at structure_constants.at bracket.at->structure_constants.at bruhat.at bruhat.at tabulate.at tabulate.at bruhat.at->tabulate.at W_orbit.at W_orbit.at bruhat.at->W_orbit.at c_form_branch.at c_form_branch.at hodge_normalize.at hodge_normalize.at c_form_branch.at->hodge_normalize.at cell_graph.at cell_graph.at cell_graph.at->basic.at cells.at cells.at character_table_reps.at character_table_reps.at cells.at->character_table_reps.at springer_tables.at springer_tables.at cells.at->springer_tables.at lattice.at lattice.at center.at->lattice.at certificate.at certificate.at certificate.at->K_types.at character_table_E6.at character_table_E6.at character_tables.at character_tables.at character_table_E6.at->character_tables.at character_table_E7.at character_table_E7.at character_table_E7.at->character_tables.at character_table_E8.at character_table_E8.at character_table_E8.at->character_tables.at e8_gap.at e8_gap.at character_table_E8.at->e8_gap.at character_table_F.at character_table_F.at character_table_F.at->character_tables.at character_table_G.at character_table_G.at character_table_G.at->character_tables.at character_tables_reductive.at character_tables_reductive.at character_table_reps.at->character_tables_reductive.at conjugate.at conjugate.at character_table_reps.at->conjugate.at isomorphism_W.at isomorphism_W.at character_table_reps.at->isomorphism_W.at W_reps.at W_reps.at character_table_reps.at->W_reps.at class_tables.at class_tables.at character_tables.at->class_tables.at character_tables_reductive.at->character_table_E6.at character_tables_reductive.at->character_table_E7.at character_tables_reductive.at->character_table_E8.at character_tables_reductive.at->character_table_F.at character_tables_reductive.at->character_table_G.at classical_character_tables.at classical_character_tables.at character_tables_reductive.at->classical_character_tables.at class_tables.at->lietypes.at class_tables.at->W_classes.at classical_character_tables.at->character_tables.at classical_W_classes_and_reps.at classical_W_classes_and_reps.at classical_character_tables.at->classical_W_classes_and_reps.at classical_W_classes_and_reps.at->W_classes.at coherent.at coherent.at kl.at kl.at coherent.at->kl.at translate.at translate.at coherent.at->translate.at coherent_characters.at coherent_characters.at coherent_characters.at->cells.at coherent_characters.at->K_highest_weights.at springer_tables_reductive.at springer_tables_reductive.at coherent_characters.at->springer_tables_reductive.at coherent_irreducible.at coherent_irreducible.at hodgeParamLaurentPol.at hodgeParamLaurentPol.at coherent_irreducible.at->hodgeParamLaurentPol.at stable.at stable.at coherent_irreducible.at->stable.at combinatorics.at combinatorics.at groups.at groups.at combinatorics.at->groups.at sort.at sort.at combinatorics.at->sort.at complex.at complex.at complex.at->cells.at diagram.at diagram.at conjugate.at->diagram.at Levi_subgroups.at Levi_subgroups.at conjugate.at->Levi_subgroups.at conjugate.at->lietypes.at conjugate.at->W_orbit.at convert_c_form.at convert_c_form.at extended.at extended.at convert_c_form.at->extended.at coordinates.at coordinates.at ratmat.at ratmat.at coordinates.at->ratmat.at cross_W_orbit.at cross_W_orbit.at cross_W_orbit.at->basic.at hash.at hash.at cross_W_orbit.at->hash.at cyclotomic.at cyclotomic.at Gaussian_elim.at Gaussian_elim.at cyclotomic.at->Gaussian_elim.at number_theory.at number_theory.at cyclotomic.at->number_theory.at cyclotomic_field_bracket.at cyclotomic_field_bracket.at cyclotomic_Gaussian_elim.at cyclotomic_Gaussian_elim.at cyclotomicMat.at cyclotomicMat.at cyclotomic_Gaussian_elim.at->cyclotomicMat.at cyclotomic_Lie_algebra.at cyclotomic_Lie_algebra.at cyclotomic_Lie_algebra.at->bracket.at cyclotomic_Lie_algebra.at->cyclotomic_Gaussian_elim.at cyclotomicMat.at->cyclotomic.at cyclotomicMat.at->tabulate.at diagram.at->combinatorics.at generics.at generics.at diagram.at->generics.at dirac_index.at dirac_index.at dirac_index.at->K_highest_weights.at disconnected.at->K_highest_weights.at dual.at dual.at dual.at->extended.at dual.at->KL_polynomial_matrices.at Vogan-dual.at Vogan-dual.at dual.at->Vogan-dual.at E6_sc_q_unipdata.at E6_sc_q_unipdata.at E6_sc_s_unipdata.at E6_sc_s_unipdata.at E7_sc_h_unipdata.at E7_sc_h_unipdata.at E7_sc_q_unipdata.at E7_sc_q_unipdata.at E7_sc_s_unipdata.at E7_sc_s_unipdata.at e8_gap.at->sort.at E8_q_unipdata.at E8_q_unipdata.at E8_s_unipdata.at E8_s_unipdata.at elliptic.at elliptic.at elliptic.at->combinatorics.at exceptional.at exceptional.at nilpotent_posets.at nilpotent_posets.at exceptional.at->nilpotent_posets.at exceptionalNilpotentData.at exceptionalNilpotentData.at exceptionalNilpotentData.at->exceptional.at exp-generating-series.at exp-generating-series.at exp-generating-series.at->combinatorics.at lazy_lists.at lazy_lists.at exp-generating-series.at->lazy_lists.at ext_deform.at ext_deform.at ext_deform.at->extended.at extended_types.at extended_types.at extended.at->extended_types.at representations.at representations.at extended.at->representations.at extended_misc.at extended_misc.at parameters.at parameters.at extended_misc.at->parameters.at extended_types.at->extended_misc.at extParamPol.at extParamPol.at extParamPol.at->bigMatrices.at extParamPol.at->ext_deform.at extParamPol.at->hermitian.at F4_s_unipdata.at F4_s_unipdata.at families.at families.at families.at->character_tables.at finite_dimensional.at finite_dimensional.at Weylgroup.at Weylgroup.at finite_dimensional.at->Weylgroup.at finite_dimensional_signature.at finite_dimensional_signature.at finite_dimensional_signature.at->K_types.at weyl_character_formula.at weyl_character_formula.at finite_dimensional_signature.at->weyl_character_formula.at finite_unipotents.at finite_unipotents.at finite_unipotents.at->nilpotent_orbits.at four.at four.at four.at->coherent_characters.at G2_unitary_dual.at G2_unitary_dual.at G2_unitary_dual.at->coordinates.at G2_unitary_dual.at->hermitian.at K_norm.at K_norm.at G2_unitary_dual.at->K_norm.at generate_groups.at generate_groups.at galois.at->generate_groups.at galois.at->parameters.at Gaussian_elim.at->basic.at geck_generic.at geck_generic.at generic_degrees.at generic_degrees.at geck_generic.at->generic_degrees.at geck_generic.at->K_highest_weights.at geck_generic.at->springer_tables_reductive.at generate_groups.at->basic.at generic_degrees.at->cells.at GK_dimension.at GK_dimension.at tensor_product.at tensor_product.at GK_dimension.at->tensor_product.at good_W_representatives.at good_W_representatives.at good_W_representatives.at->affine.at good_W_representatives.at->conjugate.at good_W_representatives.at->cyclotomic_Gaussian_elim.at parabolics.at parabolics.at good_W_representatives.at->parabolics.at good_W_representatives.at->W_classes.at group_operations.at group_operations.at group_operations.at->lattice.at groups.at->basic.at hermitian.at->convert_c_form.at hodge_deform.at hodge_deform.at hodge_deform.at->hermitian.at hodgeParamPol.at hodgeParamPol.at hodge_deform.at->hodgeParamPol.at hodge_functions.at hodge_functions.at hodge_functions.at->hodge_normalize.at hodge_K_type_formula.at hodge_K_type_formula.at hodge_K_type_formula.at->bigMatrices.at hodge_K_type_formula.at->hodge_functions.at K_type_formula.at K_type_formula.at hodge_K_type_formula.at->K_type_formula.at hodge_K_type_formula.at->tensor_product.at hodge_normalize.at->hodge_deform.at is_normal.at is_normal.at hodge_normalize.at->is_normal.at hodge_tensor.at hodge_tensor.at hodge_tensor.at->hodge_K_type_formula.at hodge_test.at hodge_test.at hodge_test.at->c_form_branch.at hodge_test.at->hodge_K_type_formula.at hodgeParamLaurentPol.at->hodge_K_type_formula.at laurentPolynomial.at laurentPolynomial.at hodgeParamLaurentPol.at->laurentPolynomial.at hodgeParamPol.at->convert_c_form.at hodgeParamPol.at->K_highest_weights.at induction.at induction.at induction.at->coherent.at induction.at->finite_dimensional.at induction.at->synthetic.at W_K.at W_K.at induction.at->W_K.at is_normal.at->K_types.at isomorphism.at isomorphism.at isomorphism.at->groups.at isomorphism.at->lietypes.at isomorphism.at->ratmat.at isomorphism.at->W_orbit.at isomorphism_W.at->character_tables.at isomorphism_W.at->isomorphism.at jantzen.at jantzen.at jantzen.at->dual.at jantzen.at->hodgeParamPol.at jantzen.at->laurentPolynomial.at K.at->Weylgroup.at K_highest_weights.at->representations.at K_Nilpotent.at K_Nilpotent.at K_Nilpotent.at->K_norm.at print_K_types.at print_K_types.at K_Nilpotent.at->print_K_types.at K_norm.at->K_highest_weights.at K_type_formula.at->is_normal.at K_types_plus.at K_types_plus.at K_type_formula.at->K_types_plus.at K_types.at->hermitian.at K_types.at->K_highest_weights.at K_types_plus.at->K_types.at kl.at->basic.at KL_polynomial_matrices.at->extended_misc.at polynomial.at polynomial.at KL_polynomial_matrices.at->polynomial.at L_packet.at->KL_polynomial_matrices.at L_packet.at->Vogan-dual.at lattice.at->ratmat.at laurentPolynomial.at->polynomial.at lazy_lists.at->basic.at Levi_subgroups.at->generics.at Levi_subgroups.at->Weylgroup.at lietypes.at->generics.at lietypes.at->sort.at lusztig_cells.at lusztig_cells.at lusztig_cells.at->geck_generic.at nci_nilrad_roots.at nci_nilrad_roots.at lusztig_cells.at->nci_nilrad_roots.at restricted_roots.at restricted_roots.at lusztig_cells.at->restricted_roots.at matrix.at matrix.at matrix.at->basic.at misc.at misc.at misc.at->basic.at modules.at modules.at modules.at->K_types.at nci_nilrad_roots.at->induction.at new_conjugacy.at new_conjugacy.at new_conjugacy.at->cells.at nilpotent_centralizer.at nilpotent_centralizer.at nilpotent_centralizer.at->galois.at nilpotent_centralizer.at->nilpotent_orbits.at nilpotent_induction.at nilpotent_induction.at nilpotent_induction.at->nilpotent_orbits.at nilpotent_orbit_partitions.at nilpotent_orbit_partitions.at nilpotent_orbit_partitions.at->nilpotent_orbits.at nilpotent_orbits.at->all_finite_order.at nilpotent_orbits.at->induction.at subgroups.at subgroups.at nilpotent_orbits.at->subgroups.at twisted_conjugacy.at twisted_conjugacy.at nilpotent_orbits.at->twisted_conjugacy.at nilpotent_orbits_exceptional.at nilpotent_orbits_exceptional.at nilpotent_orbits_exceptional.at->nilpotent_orbit_partitions.at nilpotent_posets.at->nilpotent_induction.at W_order.at W_order.at nilpotent_posets.at->W_order.at number_theory.at->lazy_lists.at number_theory.at->polynomial.at parabolics.at->Levi_subgroups.at parabolics.at->W_orbit.at tits.at tits.at parameters.at->tits.at polynomial.at->combinatorics.at poset.at poset.at poset.at->sort.at poset.at->tabulate.at print_K_types.at->K_types.at projectors_using_character_tables.at projectors_using_character_tables.at projectors_using_character_tables.at->character_tables.at projectors_using_character_tables.at->W_reps.at ratmat.at->matrix.at representations.at->nilpotent_orbits_exceptional.at restricted_roots.at->matrix.at show_nilpotent_orbits.at show_nilpotent_orbits.at show_nilpotent_orbits.at->arthur_parameters.at show_nilpotent_orbits.at->nilpotent_centralizer.at show_nilpotent_orbits.at->springer_tables.at simple_factors.at simple_factors.at simple_factors.at->combinatorics.at simple_factors.at->group_operations.at simple_factors.at->misc.at sommers.at sommers.at sommers.at->nilpotent_centralizer.at springer_table_D.at springer_table_D.at sommers.at->springer_table_D.at W_reps_type_BC.at W_reps_type_BC.at sommers.at->W_reps_type_BC.at sort.at->basic.at sparse.at sparse.at sparse.at->basic.at special_rep.at->geck_generic.at truncated_induction.at truncated_induction.at special_rep.at->truncated_induction.at speh.at speh.at speh.at->induction.at springer_table_A.at springer_table_A.at springer_table_A.at->classical_character_tables.at springer_table_A.at->springer_tables.at springer_table_BC.at springer_table_BC.at springer_table_BC.at->character_tables_reductive.at springer_table_BC.at->nilpotent_orbit_partitions.at springer_table_BC.at->springer_tables.at springer_table_D.at->character_table_reps.at springer_table_D.at->springer_table_BC.at springer_table_E6.at springer_table_E6.at springer_table_E6.at->character_table_reps.at springer_table_E6.at->springer_tables.at springer_table_E7.at springer_table_E7.at springer_table_E7.at->character_table_reps.at springer_table_E7.at->springer_tables.at springer_table_E8.at springer_table_E8.at springer_table_E8.at->character_table_reps.at springer_table_E8.at->springer_tables.at springer_table_F.at springer_table_F.at springer_table_F.at->character_table_F.at springer_table_F.at->springer_tables.at springer_table_G.at springer_table_G.at springer_table_G.at->character_table_G.at springer_table_G.at->springer_tables.at springer_tables.at->character_tables.at springer_tables.at->nilpotent_orbits.at springer_tables_reductive.at->springer_table_A.at springer_tables_reductive.at->springer_table_D.at springer_tables_reductive.at->springer_table_E6.at springer_tables_reductive.at->springer_table_E7.at springer_tables_reductive.at->springer_table_E8.at springer_tables_reductive.at->springer_table_F.at springer_tables_reductive.at->springer_table_G.at stable.at->dual.at stable.at->modules.at weak_packets.at weak_packets.at stable.at->weak_packets.at structure_constants.at->matrix.at structure_constants.at->misc.at sub_cells.at->cells.at subgroups.at->center.at subgroups.at->conjugate.at subgroups.at->isomorphism.at subgroups.at->parabolics.at subgroups.at->poset.at subgroups.at->W_classes.at synthetic.at->parameters.at tabulate.at->basic.at tensor_product.at->K_norm.at tensor_product.at->K_types.at tensor_product.at->nci_nilrad_roots.at test_braid.at test_braid.at test_braid.at->cells.at test_unitarity.at test_unitarity.at test_unitarity.at->aql.at unitary.at unitary.at test_unitarity.at->unitary.at tits.at->W_orbit.at tits.at->Weylgroup.at tits_centralizer.at tits_centralizer.at tits_centralizer.at->cyclotomic_Lie_algebra.at translate.at->basic.at truncated_induction.at->springer_tables_reductive.at twisted_root_datum.at twisted_root_datum.at twisted_conjugacy.at->twisted_root_datum.at twisted_root_datum.at->affine.at twisted_root_datum.at->conjugate.at Vogan-dual.at->cells.at W_classes.at->cyclotomic.at W_classes.at->elliptic.at W_classes.at->hash.at W_classes.at->Levi_subgroups.at W_classes.at->tabulate.at W_K.at->cross_W_orbit.at W_K.at->K.at W_K.at->parabolics.at W_orbit.at->hash.at W_orbit.at->sort.at W_order.at->good_W_representatives.at W_order.at->poset.at W_reps.at->sparse.at W_reps.at->W_classes.at W_reps.at->W_orbit.at W_reps_type_BC.at->nilpotent_orbit_partitions.at W_reps_type_BC.at->W_reps.at weak_packets.at->E6_sc_q_unipdata.at weak_packets.at->E6_sc_s_unipdata.at weak_packets.at->E7_sc_h_unipdata.at weak_packets.at->E7_sc_q_unipdata.at weak_packets.at->E7_sc_s_unipdata.at weak_packets.at->E8_q_unipdata.at weak_packets.at->E8_s_unipdata.at weak_packets.at->F4_s_unipdata.at weak_packets.at->L_packet.at weak_packets.at->show_nilpotent_orbits.at weak_packets.at->springer_tables_reductive.at weak_packets_precomputed_cell_traces.at weak_packets_precomputed_cell_traces.at weak_packets_precomputed_cell_traces.at->weak_packets.at weyl_character_formula.at->representations.at Weylgroup.at->simple_factors.at weyltosemisimple.at weyltosemisimple.at weyltosemisimple.at->parabolics.at weyltosemisimple.at->tabulate.at weyltosemisimple.at->twisted_root_datum.at
Open full page