.. _K_norm.at_ref: K_norm.at Function References ======================================================= | .. _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 10. | | .. _k_norm_ratvec_v,k_type_p->int1: K_norm ------------------------------------------------- | ``K_norm:ratvec v,K_Type p->int`` Defined in line number 15. | | .. _k_norm_ratvec_v,param_p->int1: K_norm ------------------------------------------------- | ``K_norm:ratvec v,Param p->int`` Defined in line number 16. | | .. _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 18. | | .. _k_norm_ratvec_v,split_s,param_p->int1: K_norm ------------------------------------------------- | ``K_norm:ratvec v,Split s,Param p->int`` Defined in line number 19. | | .. _k_norm_k_type_p->int1: K_norm ------------------------------------------------- | ``K_norm:K_Type p->int`` Defined in line number 25. | | .. _k_norm_param_p->int1: K_norm ------------------------------------------------- | ``K_norm:Param p->int`` Defined in line number 26. | | .. _k_norm_split_s,k_type_p->int1: K_norm ------------------------------------------------- | ``K_norm:Split s,K_Type p->int`` Defined in line number 27. | | .. _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 40. | | .. _k_norms_k_type_pol_p->[int]1: K_norms ------------------------------------------------- | ``K_norms:K_Type_Pol P->[int]`` Defined in line number 43. | | .. _k_norm_ratvec_v,k_type_pol_p->int1: K_norm ------------------------------------------------- | ``K_norm:ratvec v,K_Type_Pol P->int`` Defined in line number 45. | | .. _k_norm_k_type_pol_p->int1: K_norm ------------------------------------------------- | ``K_norm:K_Type_Pol P->int`` Defined in line number 48. | | .. _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 50. | | .. _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 54. | | .. _all_k_norms_k_type_pol_p->[int]1: all_K_norms ------------------------------------------------- | ``all_K_norms:K_Type_Pol P->[int]`` Defined in line number 57. | | .. _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 60. | | .. _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 69. | | .. _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 73. | | .. _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 75. | | .. _leading_terms_k_type_pol_p->k_type_pol1: leading_terms ------------------------------------------------- | ``leading_terms:K_Type_Pol P->K_Type_Pol`` Defined in line number 78. | |