K_types.at Function References¶
sort_by_height¶
sort_by_height:ParamPol P->[(Split,Param)]
Defined in line number 7.branch_irr¶
branch_irr:Param p, int bound->ParamPol
Defined in line number 14.branch_irr¶
branch_irr:ParamPol P,int bound->ParamPol
Defined in line number 17.mult_std¶
mult_std:Param p_K,Param p->int
Defined in line number 94.mult_irr¶
mult_irr:Param p_K,Param p->int
Defined in line number 98.mult_std¶
mult_std:Param p_K, ParamPol P->Split
Defined in line number 101.mult_irr¶
mult_irr:Param p_K, ParamPol P->Split
Defined in line number 103.K_signature_irr¶
K_signature_irr:Param p,int bound->(ParamPol,ParamPol)
Defined in line number 106.signed_mult¶
signed_mult:Param p_K,Param p->(int,int)
Defined in line number 126.print_K_types¶
print_K_types:ParamPol P->void
Defined in line number 133.print_K_types¶
print_K_types:ParamPol P, KGBElt x_K->void
Defined in line number 141.