K.at Function Index¶
Functions
Function | Argument(s) -> Results |
---|---|
cocharacter_lattice_K | InnerClass ic->mat |
cocharacter_lattice_K | KGBElt x->mat |
projection_to_K_matrix | InnerClass ic->mat |
projection_to_K_matrix | KGBElt x->mat |
project_K | InnerClass ic,vec v->vec |
project_K | KGBElt x,vec v->vec |
project_K | InnerClass ic,ratvec v->vec |
project_K | KGBElt x,ratvec v->vec |
inject_K | InnerClass ic,ratvec v->vec |
inject_K | KGBElt x,ratvec v->vec |
coinject_from_K | InnerClass ic,ratvec v->ratvec |
coinject_from_K | KGBElt x,ratvec v->ratvec |
rank_K | InnerClass ic->int |
G_K_roots_and_coroots_raw | KGBElt x->((mat,mat),(mat,mat)) |
G_K_roots_and_coroots | KGBElt x->(mat,mat) |
G_K_simple_roots_and_coroots | KGBElt x->(mat,mat) |
rank_K | RealForm G->int |
K_root_datum | KGBElt x->RootDatum |
K_0 | KGBElt x->RealForm |
K_0 | RealForm G->RealForm |
rho_K | KGBElt x->ratvec |
rho_K | RealForm G->ratvec |
rho_c | KGBElt x->ratvec |
rho_c | RealForm G->ratvec |
tworho_c | KGBElt x->ratvec |
tworho_c | RealForm G->ratvec |
convert_K_type | RealForm G,vec two_lambda, vec torus_bits, int cartan->Param |
convert_K_type | RealForm G,(vec two_lambda, vec torus_bits, int cartan)->Param |
x | K_Type p->KGBElt |
lambda | K_Type p->ratvec |
dlambda | K_Type p->ratvec |
dlambda | Param p->ratvec |
K_type | Param p->K_Type |
parameter | K_Type p->Param |
= | K_Type p,K_Type q->bool |
make_no_Cminus | K_Type p->K_Type |
length | KHighestWeight (x,mu)->rat |
K_norm | ratvec _->(K_Type->int): (K_Type(x,lambda)) |
K_norm | ratvec v,K_Type p->int |
K_norm | ratvec v,Param p->int |
K_norm | ratvec v,Split s,K_Type p->int |
K_norm | ratvec v,Split s,Param p->int |
K_norm | K_Type p->int |
K_norm | Param p->int |
K_norm | Split s,K_Type p->int |
K_norms | ratvec v->K_norm(v) in (K_Type_Pol P) [int] |
K_norms | K_Type_Pol P->[int] |
K_norm | ratvec v,K_Type_Pol P->int |
K_norm | K_Type_Pol P->int |
leading_terms | ratvec v->K_norm(v) in (K_Type_Pol P): K_Type_Pol |
all_K_norms | ratvec v->K_norm(v) in (K_Type_Pol P) [int] |
all_K_norms | K_Type_Pol P->[int] |
sort_by_K_norm | ratvec v->([K_Type] -> [K_Type]) |
print_by_K_norm | ratvec v->K_norm(v) in (K_Type_Pol P) void |
print_by_K_norm | ratvec v,K_Type_Pol P->void |
print_by_K_norm | K_Type_Pol P->void |
leading_terms | K_Type_Pol P->K_Type_Pol |
Data Types
Data Type Name | Definition |
---|---|
K_Type | (KGBElt,ratvec) |
K_Type_Pol | ParamPol |
KHighestWeight | (KGBElt,vec) |