K_norm.at Function References¶
K_norm¶
K_norm:ratvec _->(K_Type->int): (K_Type(x,lambda))
Defined in line number 10.K_norm¶
K_norm:ratvec v,K_Type p->int
Defined in line number 15.K_norm¶
K_norm:ratvec v,Param p->int
Defined in line number 16.K_norm¶
K_norm:ratvec v,Split s,K_Type p->int
Defined in line number 18.K_norm¶
K_norm:ratvec v,Split s,Param p->int
Defined in line number 19.K_norm¶
K_norm:K_Type p->int
Defined in line number 25.K_norm¶
K_norm:Param p->int
Defined in line number 26.K_norm¶
K_norm:Split s,K_Type p->int
Defined in line number 27.K_norms¶
K_norms:ratvec v->K_norm(v) in (K_Type_Pol P) [int]
Defined in line number 40.K_norms¶
K_norms:K_Type_Pol P->[int]
Defined in line number 43.K_norm¶
K_norm:ratvec v,K_Type_Pol P->int
Defined in line number 45.K_norm¶
K_norm:K_Type_Pol P->int
Defined in line number 48.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¶
all_K_norms:ratvec v->K_norm(v) in (K_Type_Pol P) [int]
Defined in line number 54.all_K_norms¶
all_K_norms:K_Type_Pol P->[int]
Defined in line number 57.sort_by_K_norm¶
sort_by_K_norm:ratvec v->([K_Type] -> [K_Type])
Defined in line number 60.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¶
print_by_K_norm:ratvec v,K_Type_Pol P->void
Defined in line number 73.print_by_K_norm¶
print_by_K_norm:K_Type_Pol P->void
Defined in line number 75.leading_terms¶
leading_terms:K_Type_Pol P->K_Type_Pol
Defined in line number 78.