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 |