wreps_type_C.at Function References¶
normalize¶
normalize:[int] v->[int]
Defined in line number 28.expand¶
expand:[int] v, int r->[int]
Defined in line number 34.normalize¶
normalize:Symbol S->Symbol
Defined in line number 37.rank¶
rank:[int] f->int
Defined in line number 48.rank¶
rank:Symbol S->int
Defined in line number 49.symbol¶
symbol:Orbit P->Symbol
Defined in line number 55.wrep¶
wrep:Symbol S->Wrep
Defined in line number 64.wrep¶
wrep:Orbit P->Wrep
Defined in line number 72.orbit¶
orbit:Symbol S->Orbit
Defined in line number 75.symbol¶
symbol:Wrep sigma->Symbol
Defined in line number 85.orbit¶
orbit:Wrep sigma->Orbit
Defined in line number 92.=¶
=:Wrep a,Wrep b->bool
Defined in line number 95.symbols_equal¶
symbols_equal:Symbol a,Symbol b->bool
Defined in line number 98.dimension¶
dimension:Wrep sigma->int
Defined in line number 100.is_special¶
is_special:Symbol S->bool
Defined in line number 113.is_special¶
is_special:Orbit P->bool
Defined in line number 117.is_special¶
is_special:Wrep sigma->bool
Defined in line number 118.special_star¶
special_star:Symbol S->string
Defined in line number 120.special_star¶
special_star:Orbit P->string
Defined in line number 121.special_star¶
special_star:Wrep sigma->string
Defined in line number 122.symbols¶
symbols:RootDatum rd->[Symbol]
Defined in line number 124.wreps¶
wreps:RootDatum rd->[Wrep]
Defined in line number 125.cut_off_string¶
cut_off_string:[int] v)=(int,[int]->last(#v, (int i)bool
Defined in line number 158.cut_off_last_string¶
cut_off_last_string:[int] v->(int,[int])
Defined in line number 169.extract_strings¶
extract_strings:[int] v->[int]
Defined in line number 176.A_Levi_factor¶
A_Levi_factor:int rank, [int] tau->[int]
Defined in line number 181.AC_Levi_factor¶
AC_Levi_factor:int rank, [int] tau->(int,[int])
Defined in line number 191.is_max¶
is_max:[[int]] taus,[int] tau->bool
Defined in line number 199.max_only¶
max_only:[[int]] taus->[[int]]
Defined in line number 203.Levi_signature¶
Levi_signature:int rank,[[int]] tau_invariants->([[int]],[(int,[int])])
Defined in line number 212.max_first_entry¶
max_first_entry:[[int]] v->int
Defined in line number 229.keep_by_first_entry¶
keep_by_first_entry:[[int]] v,int k->[[int]]
Defined in line number 231.keep_by_first_entry_and_truncate¶
keep_by_first_entry_and_truncate:[[int]] v,int k->[[int]]
Defined in line number 235.max_tagged_entry¶
max_tagged_entry:[(int,[int])] v->int
Defined in line number 243.keep_by_first_entry¶
keep_by_first_entry:[(int,[int])] v,int k->[(int,[int])]
Defined in line number 245.keep_by_first_entry_and_truncate¶
keep_by_first_entry_and_truncate:[(int,[int])] v,int k->[(int,[int])]
Defined in line number 248.wrep¶
wrep:int rank,[[int]] tau_invariants->Wrep
Defined in line number 260.wrep¶
wrep:Block B,[int] cell->Wrep
Defined in line number 288.wreps¶
wreps:Block B,[[int]] cells->[Wrep]
Defined in line number 291.print_wreps_cpt¶
print_wreps_cpt:Block B,[[int]] cells->void
Defined in line number 311.print_wreps¶
print_wreps:Block B,[[int]] cells->void
Defined in line number 315.Orbit¶
[int]
Defined in line number 23.Symbol¶
[[int]]
Defined in line number 24.Wrep¶
([int],[int])
Defined in line number 25.