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)