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.


Orbit

[int] Defined in line number 23.


Symbol

[[int]] Defined in line number 24.


Wrep

([int],[int]) Defined in line number 25.