K_norm.at Function IndexΒΆ
Functions
| Function | Argument(s) -> Results |
|---|---|
| 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 |