D'abord une structure d'ensemble efficace:
EF (7 ,2) veut dire Ensemble efficace 7 2
EF (7 ,2 )= GF2 + {2,3,5,7} et donc EF7 2 = {0,1,2,3,5,7}
Il s'agit vous aurez compris d'un constructeur associant un champ de Galois et un champ composé d'une suite ordonnée de nombres premiers à partir de ceux qui ne sont pas dans le champ de Galois.
ex: EF 11 3 = GF3 + {5,7,11} = {0,1,2,3,5,7,11}
j'écris en plaçant le champ premier en haut et le champ de galois en bas:
CP (champ premier)
GF (Galois field)
car la borne du champ premier limite l'ensemble efficace. En aucun cas le nombre d'éléments du champ de Galois ne peut dépasser le nombre premier le plus grand du champ premier qui est ordonné en ordre croissant.
soit p le plus grand nombre premier de CP, soit q le nombre 'éléments (cardinal) du champ de galois, p doit toujours être supérieur ou égal à q.
P>=q
Il s'agit d'un constructeur qui s'applique partout ou presque dans la "bête" ou the "beast".
Toutes les valeurs complexes sont arrondies aux valeurs que l'on obtient avec le moins d'opérations simples (addition ou soustraction seulement) avec les nombres de l'ensemble efficace et uniquement ceux la.
