Une nouvelle version du portail de gestion des comptes externes sera mise en production lundi 09 août. Elle permettra d'allonger la validité d'un compte externe jusqu'à 3 ans. Pour plus de détails sur cette version consulter : https://doc-si.inria.fr/x/FCeS

Commit cfc507a7 by MASSON Simon

critere pour le polynome de definition

parent b2750818
 ... ... @@ -505,7 +505,7 @@ class CocksPinchVariantResult(object): """ def __init__(self,k,D,T,i,ht=Integer(0),hy=Integer(0),pre=False,l=1, allowed_cofactor = 1, allowed_size_cofactor = 5, max_trialdiv=10**6, max_B1=10**4, new_semantics=False): def __init__(self,k,D,T,i,ht=Integer(0),hy=Integer(0),max_poly_coeff=None,pre=False,l=1, allowed_cofactor = 1, allowed_size_cofactor = 5, max_trialdiv=10**6, max_B1=10**4, new_semantics=False): kl = k * l fD = -fundamental_discriminant(-D) ... ... @@ -515,6 +515,7 @@ class CocksPinchVariantResult(object): self.T = Integer(T) self.i = i self.r = cyclotomic_polynomial(kl)(T) self.max_poly_coeff = max_poly_coeff self.allowed_size_cofactor = allowed_size_cofactor self.allowed_cofactor = allowed_cofactor self.max_trialdiv = max_trialdiv ... ... @@ -1034,6 +1035,7 @@ class CocksPinchVariantSearch(object): output_file="", T_choice="", hty_choice="", max_poly_coeff=None, l=1, required_cofactor=1, allowed_cofactor = 1, ... ... @@ -1057,6 +1059,7 @@ class CocksPinchVariantSearch(object): - `random`: abide by the other parameters, except that we do random picks. - `hamming=X`: restrict to Hamming weight equal to `X` (int, positive) - `2-naf=X`: restrict to 2-NAF weight equal to `X` (int, positive) - `max_poly_coeff` (int): maximum value of alpha such that x^k - alpha is irreducible - `verbose` (boolean): verbose mode - `output_file` (string): filename where to write the parameters - `hty_choice` (string): strategy to select hy in y = y0 + hy*r and ht in t = t0 + ht*r; ... ... @@ -1081,6 +1084,7 @@ class CocksPinchVariantSearch(object): self.T_choice = T_choice self.hty_choice = hty_choice self.l = l self.max_poly_coeff = max_poly_coeff self.required_cofactor = Integer(required_cofactor) self.allowed_cofactor = Integer(allowed_cofactor) self.allowed_size_cofactor = Integer(allowed_size_cofactor) ... ... @@ -1927,6 +1931,18 @@ class CocksPinchVariantSearch(object): fail['p milrab'] += 1 continue if max_poly_coeff != None : boo = False for alpha in range(1, max_poly_coeff): if (x**k - alpha).is_irreducible() : boo = True break if (x**k + alpha).is_irreducible() : boo = True break if not(boo) : fail['large poly'] += 1 E = CocksPinchVariantResult(k,fD,T,i,ht=ht,hy=hy,l=self.l) if not self.check_automatic_factors(E): ... ...
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!