K_types.at Function References¶

sort_by_height¶

sort_by_height:ParamPol P->[(Split,Param)] Defined in line number 7.

branch_irr:Param p, int bound->ParamPol Defined in line number 14.

branch_irr:ParamPol P,int bound->ParamPol Defined in line number 17.

mult_std:Param p_K,Param p->int Defined in line number 94.

mult_irr:Param p_K,Param p->int Defined in line number 98.

mult_std:Param p_K, ParamPol P->Split Defined in line number 101.

mult_irr:Param p_K, ParamPol P->Split Defined in line number 103.

K_signature_irr:Param p,int bound->(ParamPol,ParamPol) Defined in line number 106.

signed_mult:Param p_K,Param p->(int,int) Defined in line number 126.

print_K_types:ParamPol P->void Defined in line number 133.

print_K_types:ParamPol P, KGBElt x_K->void Defined in line number 141.