genuine.at Function References


is_positive

is_positive:ParamPol P->bool Defined in line number 6.


coeff_normalize

coeff_normalize:ParamPol P->ParamPol Defined in line number 10.


is_positive_or_negative

is_positive_or_negative:ParamPol P->bool Defined in line number 16.


test_positive

test_positive:ParamPol P->(ParamPol,bool) Defined in line number 19.


test_positive_or_negative

test_positive_or_negative:ParamPol P->(ParamPol,bool) Defined in line number 29.


is_genuine

is_genuine:ParamPol P, int height_bound->bool Defined in line number 38.


test_genuine

test_genuine:ParamPol P, int height_bound->(ParamPol,bool) Defined in line number 43.


hermitian_form_irreducible_normalized

hermitian_form_irreducible_normalized:Param p->ParamPol Defined in line number 54.


is_hermitian_form_irreducible_genuine

is_hermitian_form_irreducible_genuine:Param p,int height_bound->bool Defined in line number 58.


test_hermitian_form_irreducible_genuine

test_hermitian_form_irreducible_genuine:Param p,int height_bound->(ParamPol,bool) Defined in line number 61.