.. _K.at_ref: K.at Function References ======================================================= | .. _cocharacter_lattice_k_innerclass_ic->mat1: cocharacter_lattice_K ------------------------------------------------- | ``cocharacter_lattice_K:InnerClass ic->mat`` Defined in line number 31. | | .. _cocharacter_lattice_k_kgbelt_x->mat1: cocharacter_lattice_K ------------------------------------------------- | ``cocharacter_lattice_K:KGBElt x->mat`` Defined in line number 46. | | .. _projection_to_k_matrix_innerclass_ic->mat1: projection_to_K_matrix ------------------------------------------------- | ``projection_to_K_matrix:InnerClass ic->mat`` Defined in line number 54. | | .. _projection_to_k_matrix_kgbelt_x->mat1: projection_to_K_matrix ------------------------------------------------- | ``projection_to_K_matrix:KGBElt x->mat`` Defined in line number 55. | | .. _project_k_innerclass_ic,vec_v->vec1: project_K ------------------------------------------------- | ``project_K:InnerClass ic,vec v->vec`` Defined in line number 61. | | .. _project_k_kgbelt_x,vec_v->vec1: project_K ------------------------------------------------- | ``project_K:KGBElt x,vec v->vec`` Defined in line number 62. | | .. _project_k_innerclass_ic,ratvec_v->vec1: project_K ------------------------------------------------- | ``project_K:InnerClass ic,ratvec v->vec`` Defined in line number 63. | | .. _project_k_kgbelt_x,ratvec_v->vec1: project_K ------------------------------------------------- | ``project_K:KGBElt x,ratvec v->vec`` Defined in line number 65. | | .. _inject_k_innerclass_ic,ratvec_v->vec1: inject_K ------------------------------------------------- | ``inject_K:InnerClass ic,ratvec v->vec`` Defined in line number 75. | | .. _inject_k_kgbelt_x,ratvec_v->vec1: inject_K ------------------------------------------------- | ``inject_K:KGBElt x,ratvec v->vec`` Defined in line number 77. | | .. _coinject_from_k_innerclass_ic,ratvec_v->ratvec1: coinject_from_K ------------------------------------------------- | ``coinject_from_K:InnerClass ic,ratvec v->ratvec`` Defined in line number 91. | | .. _coinject_from_k_kgbelt_x,ratvec_v->ratvec1: coinject_from_K ------------------------------------------------- | ``coinject_from_K:KGBElt x,ratvec v->ratvec`` Defined in line number 93. | | .. _rank_k_innerclass_ic->int1: rank_K ------------------------------------------------- | ``rank_K:InnerClass ic->int`` Defined in line number 96. | | .. _g_k_roots_and_coroots_raw_kgbelt_x->((mat,mat),(mat,mat))1: 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_kgbelt_x->(mat,mat)1: 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_kgbelt_x->(mat,mat)1: G_K_simple_roots_and_coroots ------------------------------------------------- | ``G_K_simple_roots_and_coroots:KGBElt x->(mat,mat)`` Defined in line number 156. | | .. _rank_k_realform_g->int1: rank_K ------------------------------------------------- | ``rank_K:RealForm G->int`` Defined in line number 159. | | .. _k_root_datum_kgbelt_x->rootdatum1: K_root_datum ------------------------------------------------- | ``K_root_datum:KGBElt x->RootDatum`` Defined in line number 162. | | .. _k_0_kgbelt_x->realform1: K_0 ------------------------------------------------- | ``K_0:KGBElt x->RealForm`` Defined in line number 164. | | .. _k_0_realform_g->realform1: K_0 ------------------------------------------------- | ``K_0:RealForm G->RealForm`` Defined in line number 167. | | .. _rho_k_kgbelt_x->ratvec1: rho_K ------------------------------------------------- | ``rho_K:KGBElt x->ratvec`` Defined in line number 170. | | .. _rho_k_realform_g->ratvec1: rho_K ------------------------------------------------- | ``rho_K:RealForm G->ratvec`` Defined in line number 171. | | .. _rho_c_kgbelt_x->ratvec1: rho_c ------------------------------------------------- | ``rho_c:KGBElt x->ratvec`` Defined in line number 173. | | .. _rho_c_realform_g->ratvec1: rho_c ------------------------------------------------- | ``rho_c:RealForm G->ratvec`` Defined in line number 175. | | .. _tworho_c_kgbelt_x->ratvec1: tworho_c ------------------------------------------------- | ``tworho_c:KGBElt x->ratvec`` Defined in line number 177. | | .. _tworho_c_realform_g->ratvec1: tworho_c ------------------------------------------------- | ``tworho_c:RealForm G->ratvec`` Defined in line number 178. | | .. _convert_k_type_realform_g,vec_two_lambda,_vec_torus_bits,_int_cartan->param1: 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_realform_g,(vec_two_lambda,_vec_torus_bits,_int_cartan)->param1: convert_K_type ------------------------------------------------- | ``convert_K_type:RealForm G,(vec two_lambda, vec torus_bits, int cartan)->Param`` Defined in line number 198. | | .. _x_k_type_p->kgbelt1: x ------------------------------------------------- | ``x:K_Type p->KGBElt`` Defined in line number 228. | | .. _lambda_k_type_p->ratvec1: lambda ------------------------------------------------- | ``lambda:K_Type p->ratvec`` Defined in line number 229. | | .. _dlambda_k_type_p->ratvec1: dlambda ------------------------------------------------- | ``dlambda:K_Type p->ratvec`` Defined in line number 236. | | .. _dlambda_param_p->ratvec1: dlambda ------------------------------------------------- | ``dlambda:Param p->ratvec`` Defined in line number 237. | | .. _k_type_param_p->k_type1: K_type ------------------------------------------------- | ``K_type:Param p->K_Type`` Defined in line number 239. | | .. _parameter_k_type_p->param1: parameter ------------------------------------------------- | ``parameter:K_Type p->Param`` Defined in line number 241. | | .. _\=_K_Type_p,K_Type_q->bool1: \= ------------------------------------------------- | ``=:K_Type p,K_Type q->bool`` Defined in line number 245. | | .. _make_no_cminus_k_type_p->k_type1: make_no_Cminus ------------------------------------------------- | ``make_no_Cminus:K_Type p->K_Type`` Defined in line number 247. | | .. _length_khighestweight_(x,mu)->rat1: length ------------------------------------------------- | ``length:KHighestWeight (x,mu)->rat`` Defined in line number 255. | | .. _k_norm_ratvec__->(k_type->int):_(k_type(x,lambda))1: K_norm ------------------------------------------------- | ``K_norm:ratvec _->(K_Type->int): (K_Type(x,lambda))`` Defined in line number 265. | | .. _k_norm_ratvec_v,k_type_p->int1: K_norm ------------------------------------------------- | ``K_norm:ratvec v,K_Type p->int`` Defined in line number 270. | | .. _k_norm_ratvec_v,param_p->int1: K_norm ------------------------------------------------- | ``K_norm:ratvec v,Param p->int`` Defined in line number 271. | | .. _k_norm_ratvec_v,split_s,k_type_p->int1: K_norm ------------------------------------------------- | ``K_norm:ratvec v,Split s,K_Type p->int`` Defined in line number 273. | | .. _k_norm_ratvec_v,split_s,param_p->int1: K_norm ------------------------------------------------- | ``K_norm:ratvec v,Split s,Param p->int`` Defined in line number 274. | | .. _k_norm_k_type_p->int1: K_norm ------------------------------------------------- | ``K_norm:K_Type p->int`` Defined in line number 280. | | .. _k_norm_param_p->int1: K_norm ------------------------------------------------- | ``K_norm:Param p->int`` Defined in line number 281. | | .. _k_norm_split_s,k_type_p->int1: K_norm ------------------------------------------------- | ``K_norm:Split s,K_Type p->int`` Defined in line number 282. | | .. _k_norms_ratvec_v->k_norm(v)_in_(k_type_pol_p)_[int]1: K_norms ------------------------------------------------- | ``K_norms:ratvec v->K_norm(v) in (K_Type_Pol P) [int]`` Defined in line number 295. | | .. _k_norms_k_type_pol_p->[int]1: K_norms ------------------------------------------------- | ``K_norms:K_Type_Pol P->[int]`` Defined in line number 298. | | .. _k_norm_ratvec_v,k_type_pol_p->int1: K_norm ------------------------------------------------- | ``K_norm:ratvec v,K_Type_Pol P->int`` Defined in line number 300. | | .. _k_norm_k_type_pol_p->int1: K_norm ------------------------------------------------- | ``K_norm:K_Type_Pol P->int`` Defined in line number 303. | | .. _leading_terms_ratvec_v->k_norm(v)_in_(k_type_pol_p):_k_type_pol1: 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_ratvec_v->k_norm(v)_in_(k_type_pol_p)_[int]1: 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_k_type_pol_p->[int]1: all_K_norms ------------------------------------------------- | ``all_K_norms:K_Type_Pol P->[int]`` Defined in line number 312. | | .. _sort_by_k_norm_ratvec_v->([k_type]_->_[k_type])1: sort_by_K_norm ------------------------------------------------- | ``sort_by_K_norm:ratvec v->([K_Type] -> [K_Type])`` Defined in line number 315. | | .. _print_by_k_norm_ratvec_v->k_norm(v)_in_(k_type_pol_p)_void1: 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_ratvec_v,k_type_pol_p->void1: print_by_K_norm ------------------------------------------------- | ``print_by_K_norm:ratvec v,K_Type_Pol P->void`` Defined in line number 328. | | .. _print_by_k_norm_k_type_pol_p->void1: print_by_K_norm ------------------------------------------------- | ``print_by_K_norm:K_Type_Pol P->void`` Defined in line number 330. | | .. _leading_terms_k_type_pol_p->k_type_pol1: leading_terms ------------------------------------------------- | ``leading_terms:K_Type_Pol P->K_Type_Pol`` Defined in line number 333. | | .. _K_Type1: K_Type ----------------------------------------- | ``(KGBElt,ratvec)`` Defined in line number 224. | | .. _K_Type_Pol1: K_Type_Pol ----------------------------------------- | ``ParamPol`` Defined in line number 225. | | .. _KHighestWeight1: KHighestWeight ----------------------------------------- | ``(KGBElt,vec)`` Defined in line number 226. | |