JB_syr_Th_v4

Fichier des tests pour la démonstration de la conjecture de Syracuse (3n+1)
Auteur : Jacques BALLASI

Licence CC BY-NC-ND 4.0 : https://creativecommons.org/licenses/by-nc-nd/4.0/

Tests des extensions pour : 3n+b 5n+b

Test de répartition de v₀ avec des listes aléatoires (dans le cas standard) :
nb, nombre de listes :
N, longueur des listes :

Recherche de v₀ minimum pour la liste :
Recherche de v₀ minimum pour une liste aléatoire de longueur maximale :

On peut tester le classement par ordre décroissant des valeurs F_n pour N =

On peut calculer Ceil(n) par bloc avec N = et n =

Test de r_n pour Ceil(N)
Valeur de N :

Test de r_n = R₀ par bloc avec N = et n =

Test de construction de JGL()

Test d'approximation par défaut de X avec les fractions :

Test de construction de JGL_q
Test de construction de JGL_q() pour q =

Test des records

Test du nombre de listes de transitions nb passant par un point critique de JGL_2p(N, v₀) (quand la transition suivante est de "type 1")
N =
Valeurs de p :

uniquement pour p = 0
pour p = 0 à Math.floor(0.05×N)
uniquement pour Math.floor(0.05×N)

Test du nombre de listes de transitions nb passant par un point critique de JGL_2p(N, v₀) (quand la transition suivante est de "type 1") pour différentes valeurs de N
Valeurs de p :

uniquement pour p = 0
uniquement pour Math.floor(0.05×N)

File of tests for the proof of the Syracuse conjecture (3n+1)
Author : Jacques BALLASI

License CC BY-NC-ND 4.0 : https://creativecommons.org/licenses/by-nc-nd/4.0/

Tests of extensions for : 3n+b 5n+b

Test of distribution of v₀ with random lists :
nb, number of lists :
N, length of lists :

Search for minimum v₀ for the list :
Search for minimum v₀ for a random list of maximum length :

We can test the decreasing order sorting of the values F_n for N =

We can compute Ceil(n) by block with N = and n =

Test of r_n for Ceil(N)
Value of N:

Test of r_n = R₀ by block with N = and n =

Construction test of JGL()

Test of floor approximation of X with fractions:

Construction test of JGL_q
Construction test of JGL_q() for q =

Record test

Test of the number nb of transition lists passing through a critical point of JGL_2p(N, v₀) (when the next transition is of "type 1")
N =
Values of p :

only for p = 0
for p = 0 to Math.floor(0.05×N)
only for Math.floor(0.05×N)

Test of the number nb of transition lists passing through a critical point of JGL_2p(N, v₀) (when the next transition is of "type 1") for different values of N
Values of p :

only for p = 0
only for Math.floor(0.05×N)