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)