K_types.at Function References


sort_by_height

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


branch_std

branch_std:Param p, int bound->ParamPol Defined in line number 10.


branch_std

branch_std:ParamPol P,int bound->ParamPol Defined in line number 19.


branch_irr

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


branch_irr

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


mult_std

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


mult_irr

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


K_signature_irr

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


signed_mult

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