atlas Library · Script File

`springer_tables_reductive.at`

Source

atlas-scripts/springer_tables_reductive.at (86 lines)

Definitions

Loads

Loaded by

truncated_induction.at geck_generic.at coherent_characters.at weak_packets.at

Definitions in source order

`springer_table_simple`

L14springer_table_simple(RootDatum rd,string letter,int n) = SpringerTable

`combine`

L29combine (RootDatum rd,[SpringerTable] factors) = SpringerTable

also defined in generics.at, character_tables_reductive.at, class_tables.at

`Springer_table`

L61Springer_table(RootDatum rd) = SpringerTable

`test_d`

L75test_d(SpringerTable st)

also in this file at line 79

`test_di`

L76test_di(SpringerTable st)

`test_dual_map`

L77test_dual_map(SpringerTable st)

`test_dual_map_i`

L78test_dual_map_i(SpringerTable st)

`test_d`

L79test_d(RootDatum G)

also in this file at line 75

`test_springer`

L80test_springer(SpringerTable st)

`test_all` 2 overloads

L81test_all(SpringerTable st)

L86test_all(RootDatum G)

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

springer_tables_reductive.at

Definitions in source order

springer_table_simple

combine

Springer_table

test_d

test_di

test_dual_map

test_dual_map_i

test_d

test_springer

test_all 2 overloads

`springer_tables_reductive.at`

`springer_table_simple`

`combine`

`Springer_table`

`test_d`

`test_di`

`test_dual_map`

`test_dual_map_i`

`test_d`

`test_springer`

`test_all` 2 overloads