K_types.at Function Index¶
Functions
| Function | Argument(s) -> Results |
|---|---|
| sort_by_height | ParamPol P->[(Split,Param)] |
| branch_irr | Param p, int bound->ParamPol |
| branch_irr | ParamPol P,int bound->ParamPol |
| mult_std | Param p_K,Param p->int |
| mult_irr | Param p_K,Param p->int |
| mult_std | Param p_K, ParamPol P->Split |
| mult_irr | Param p_K, ParamPol P->Split |
| K_signature_irr | Param p,int bound->(ParamPol,ParamPol) |
| signed_mult | Param p_K,Param p->(int,int) |
| print_K_types | ParamPol P->void |
| print_K_types | ParamPol P, KGBElt x_K->void |