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.print_by_K_norm¶
print_by_K_norm:ratvec v->K_norm(v) in (K_Type_Pol P) void Defined in line number 324.print_by_K_norm¶
print_by_K_norm:ratvec v,K_Type_Pol P->void Defined in line number 328.print_by_K_norm¶
print_by_K_norm:K_Type_Pol P->void Defined in line number 330.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.