K.at Function References


cocharacter_lattice_K

cocharacter_lattice_K:InnerClass ic->mat Defined in line number 31.


cocharacter_lattice_K

cocharacter_lattice_K:KGBElt x->mat Defined in line number 46.


projection_to_K_matrix

projection_to_K_matrix:InnerClass ic->mat Defined in line number 54.


projection_to_K_matrix

projection_to_K_matrix:KGBElt x->mat Defined in line number 55.


project_K

project_K:InnerClass ic,vec v->vec Defined in line number 61.


project_K

project_K:KGBElt x,vec v->vec Defined in line number 62.


project_K

project_K:InnerClass ic,ratvec v->vec Defined in line number 63.


project_K

project_K:KGBElt x,ratvec v->vec Defined in line number 65.


inject_K

inject_K:InnerClass ic,ratvec v->vec Defined in line number 75.


inject_K

inject_K:KGBElt x,ratvec v->vec Defined in line number 77.


coinject_from_K

coinject_from_K:InnerClass ic,ratvec v->ratvec Defined in line number 91.


coinject_from_K

coinject_from_K:KGBElt x,ratvec v->ratvec Defined in line number 93.


rank_K

rank_K:InnerClass ic->int Defined in line number 96.


G_K_roots_and_coroots_raw

G_K_roots_and_coroots_raw:KGBElt x->((mat,mat),(mat,mat)) Defined in line number 114.


G_K_roots_and_coroots

G_K_roots_and_coroots:KGBElt x->(mat,mat) Defined in line number 151.


G_K_simple_roots_and_coroots

G_K_simple_roots_and_coroots:KGBElt x->(mat,mat) Defined in line number 156.


rank_K

rank_K:RealForm G->int Defined in line number 159.


K_root_datum

K_root_datum:KGBElt x->RootDatum Defined in line number 162.


K_0

K_0:KGBElt x->RealForm Defined in line number 164.


K_0

K_0:RealForm G->RealForm Defined in line number 167.


rho_K

rho_K:KGBElt x->ratvec Defined in line number 170.


rho_K

rho_K:RealForm G->ratvec Defined in line number 171.


rho_c

rho_c:KGBElt x->ratvec Defined in line number 173.


rho_c

rho_c:RealForm G->ratvec Defined in line number 175.


tworho_c

tworho_c:KGBElt x->ratvec Defined in line number 177.


tworho_c

tworho_c:RealForm G->ratvec Defined in line number 178.


convert_K_type

convert_K_type:RealForm G,vec two_lambda, vec torus_bits, int cartan->Param Defined in line number 191.


convert_K_type

convert_K_type:RealForm G,(vec two_lambda, vec torus_bits, int cartan)->Param Defined in line number 198.


x

x:K_Type p->KGBElt Defined in line number 228.


lambda

lambda:K_Type p->ratvec Defined in line number 229.


dlambda

dlambda:K_Type p->ratvec Defined in line number 236.


dlambda

dlambda:Param p->ratvec Defined in line number 237.


K_type

K_type:Param p->K_Type Defined in line number 239.


parameter

parameter:K_Type p->Param Defined in line number 241.


=

=:K_Type p,K_Type q->bool Defined in line number 245.


make_no_Cminus

make_no_Cminus:K_Type p->K_Type Defined in line number 247.


length

length:KHighestWeight (x,mu)->rat Defined in line number 255.


K_norm

K_norm:ratvec _->(K_Type->int): (K_Type(x,lambda)) Defined in line number 265.


K_norm

K_norm:ratvec v,K_Type p->int Defined in line number 270.


K_norm

K_norm:ratvec v,Param p->int Defined in line number 271.


K_norm

K_norm:ratvec v,Split s,K_Type p->int Defined in line number 273.


K_norm

K_norm:ratvec v,Split s,Param p->int Defined in line number 274.


K_norm

K_norm:K_Type p->int Defined in line number 280.


K_norm

K_norm:Param p->int Defined in line number 281.


K_norm

K_norm:Split s,K_Type p->int Defined in line number 282.


K_norms

K_norms:ratvec v->K_norm(v) in (K_Type_Pol P) [int] Defined in line number 295.


K_norms

K_norms:K_Type_Pol P->[int] Defined in line number 298.


K_norm

K_norm:ratvec v,K_Type_Pol P->int Defined in line number 300.


K_norm

K_norm:K_Type_Pol P->int Defined in line number 303.


leading_terms

leading_terms:ratvec v->K_norm(v) in (K_Type_Pol P): K_Type_Pol Defined in line number 305.


all_K_norms

all_K_norms:ratvec v->K_norm(v) in (K_Type_Pol P) [int] Defined in line number 309.


all_K_norms

all_K_norms:K_Type_Pol P->[int] Defined in line number 312.


sort_by_K_norm

sort_by_K_norm:ratvec v->([K_Type] -> [K_Type]) Defined in line number 315.


leading_terms

leading_terms:K_Type_Pol P->K_Type_Pol Defined in line number 333.


K_Type

(KGBElt,ratvec) Defined in line number 224.


K_Type_Pol

ParamPol Defined in line number 225.


KHighestWeight

(KGBElt,vec) Defined in line number 226.