.. _K.at_index: K.at Function Index ======================================================= | Functions .. list-table:: :widths: 10 20 :header-rows: 1 * - Function - Argument(s) -> Results * - :ref:`cocharacter_lattice_k_innerclass_ic->mat1` - ``InnerClass ic->mat`` * - :ref:`cocharacter_lattice_k_kgbelt_x->mat1` - ``KGBElt x->mat`` * - :ref:`projection_to_k_matrix_innerclass_ic->mat1` - ``InnerClass ic->mat`` * - :ref:`projection_to_k_matrix_kgbelt_x->mat1` - ``KGBElt x->mat`` * - :ref:`project_k_innerclass_ic,vec_v->vec1` - ``InnerClass ic,vec v->vec`` * - :ref:`project_k_kgbelt_x,vec_v->vec1` - ``KGBElt x,vec v->vec`` * - :ref:`project_k_innerclass_ic,ratvec_v->vec1` - ``InnerClass ic,ratvec v->vec`` * - :ref:`project_k_kgbelt_x,ratvec_v->vec1` - ``KGBElt x,ratvec v->vec`` * - :ref:`inject_k_innerclass_ic,ratvec_v->vec1` - ``InnerClass ic,ratvec v->vec`` * - :ref:`inject_k_kgbelt_x,ratvec_v->vec1` - ``KGBElt x,ratvec v->vec`` * - :ref:`coinject_from_k_innerclass_ic,ratvec_v->ratvec1` - ``InnerClass ic,ratvec v->ratvec`` * - :ref:`coinject_from_k_kgbelt_x,ratvec_v->ratvec1` - ``KGBElt x,ratvec v->ratvec`` * - :ref:`rank_k_innerclass_ic->int1` - ``InnerClass ic->int`` * - :ref:`g_k_roots_and_coroots_raw_kgbelt_x->((mat,mat),(mat,mat))1` - ``KGBElt x->((mat,mat),(mat,mat))`` * - :ref:`g_k_roots_and_coroots_kgbelt_x->(mat,mat)1` - ``KGBElt x->(mat,mat)`` * - :ref:`g_k_simple_roots_and_coroots_kgbelt_x->(mat,mat)1` - ``KGBElt x->(mat,mat)`` * - :ref:`rank_k_realform_g->int1` - ``RealForm G->int`` * - :ref:`k_root_datum_kgbelt_x->rootdatum1` - ``KGBElt x->RootDatum`` * - :ref:`k_0_kgbelt_x->realform1` - ``KGBElt x->RealForm`` * - :ref:`k_0_realform_g->realform1` - ``RealForm G->RealForm`` * - :ref:`rho_k_kgbelt_x->ratvec1` - ``KGBElt x->ratvec`` * - :ref:`rho_k_realform_g->ratvec1` - ``RealForm G->ratvec`` * - :ref:`rho_c_kgbelt_x->ratvec1` - ``KGBElt x->ratvec`` * - :ref:`rho_c_realform_g->ratvec1` - ``RealForm G->ratvec`` * - :ref:`tworho_c_kgbelt_x->ratvec1` - ``KGBElt x->ratvec`` * - :ref:`tworho_c_realform_g->ratvec1` - ``RealForm G->ratvec`` * - :ref:`convert_k_type_realform_g,vec_two_lambda,_vec_torus_bits,_int_cartan->param1` - ``RealForm G,vec two_lambda, vec torus_bits, int cartan->Param`` * - :ref:`convert_k_type_realform_g,(vec_two_lambda,_vec_torus_bits,_int_cartan)->param1` - ``RealForm G,(vec two_lambda, vec torus_bits, int cartan)->Param`` * - :ref:`x_k_type_p->kgbelt1` - ``K_Type p->KGBElt`` * - :ref:`lambda_k_type_p->ratvec1` - ``K_Type p->ratvec`` * - :ref:`dlambda_k_type_p->ratvec1` - ``K_Type p->ratvec`` * - :ref:`dlambda_param_p->ratvec1` - ``Param p->ratvec`` * - :ref:`k_type_param_p->k_type1` - ``Param p->K_Type`` * - :ref:`parameter_k_type_p->param1` - ``K_Type p->Param`` * - :ref:`\=_K_Type_p,K_Type_q->bool1` - ``K_Type p,K_Type q->bool`` * - :ref:`make_no_cminus_k_type_p->k_type1` - ``K_Type p->K_Type`` * - :ref:`length_khighestweight_(x,mu)->rat1` - ``KHighestWeight (x,mu)->rat`` * - :ref:`k_norm_ratvec__->(k_type->int):_(k_type(x,lambda))1` - ``ratvec _->(K_Type->int): (K_Type(x,lambda))`` * - :ref:`k_norm_ratvec_v,k_type_p->int1` - ``ratvec v,K_Type p->int`` * - :ref:`k_norm_ratvec_v,param_p->int1` - ``ratvec v,Param p->int`` * - :ref:`k_norm_ratvec_v,split_s,k_type_p->int1` - ``ratvec v,Split s,K_Type p->int`` * - :ref:`k_norm_ratvec_v,split_s,param_p->int1` - ``ratvec v,Split s,Param p->int`` * - :ref:`k_norm_k_type_p->int1` - ``K_Type p->int`` * - :ref:`k_norm_param_p->int1` - ``Param p->int`` * - :ref:`k_norm_split_s,k_type_p->int1` - ``Split s,K_Type p->int`` * - :ref:`k_norms_ratvec_v->k_norm(v)_in_(k_type_pol_p)_[int]1` - ``ratvec v->K_norm(v) in (K_Type_Pol P) [int]`` * - :ref:`k_norms_k_type_pol_p->[int]1` - ``K_Type_Pol P->[int]`` * - :ref:`k_norm_ratvec_v,k_type_pol_p->int1` - ``ratvec v,K_Type_Pol P->int`` * - :ref:`k_norm_k_type_pol_p->int1` - ``K_Type_Pol P->int`` * - :ref:`leading_terms_ratvec_v->k_norm(v)_in_(k_type_pol_p):_k_type_pol1` - ``ratvec v->K_norm(v) in (K_Type_Pol P): K_Type_Pol`` * - :ref:`all_k_norms_ratvec_v->k_norm(v)_in_(k_type_pol_p)_[int]1` - ``ratvec v->K_norm(v) in (K_Type_Pol P) [int]`` * - :ref:`all_k_norms_k_type_pol_p->[int]1` - ``K_Type_Pol P->[int]`` * - :ref:`sort_by_k_norm_ratvec_v->([k_type]_->_[k_type])1` - ``ratvec v->([K_Type] -> [K_Type])`` * - :ref:`print_by_k_norm_ratvec_v->k_norm(v)_in_(k_type_pol_p)_void1` - ``ratvec v->K_norm(v) in (K_Type_Pol P) void`` * - :ref:`print_by_k_norm_ratvec_v,k_type_pol_p->void1` - ``ratvec v,K_Type_Pol P->void`` * - :ref:`print_by_k_norm_k_type_pol_p->void1` - ``K_Type_Pol P->void`` * - :ref:`leading_terms_k_type_pol_p->k_type_pol1` - ``K_Type_Pol P->K_Type_Pol`` Data Types .. list-table:: :widths: 10 20 :header-rows: 1 * - Data Type Name - Definition * - :ref:`K_Type1` - ``(KGBElt,ratvec)`` * - :ref:`K_Type_Pol1` - ``ParamPol`` * - :ref:`KHighestWeight1` - ``(KGBElt,vec)``