Résultats exhaustifs des tests de la conjecture pour : 0 < b < 1024 et v0 < 222×b :
Test de la conjecture pour b > 0
Valeur de b : Test pour v0 < 2α avec α :
Tests pour toutes les valeurs de b avec < b <
Structure du tableau donnant les valeurs v inférieures à la valeur minimale du cycle atteint :
b
v0 (valeur minimale du cycle)
v (valeurs à partir de laquelle on peut atteindre ce cycle)
Résultats pour b > 0
Valeurs inférieures au minimum de leur cycle pour b > 0 (cela prendra 30 secondes)
Test de construction de JGL() pour b = -1
On peut faire varier la précision pour voir plus ou moins de multiples des fractions irréductibles :
Test d'approximation par excès de X avec les fractions :
Résultats exhaustifs des tests de la conjecture pour : -1024 < b < 0 et v0 < -222×b :
Test de la conjecture pour b < 0
Valeur de b : Test pour v0 < 2α avec α :
Tests pour toutes les valeurs de b avec < -b <
Structure du tableau donnant les valeurs v inférieures à la valeur minimale du cycle atteint :
b
v0 (valeurs minimale du cycle)
v (valeur à partir de laquelle on peut atteindre ce cycle)
Résultats pour b < 0
Valeurs inférieures au minimum de leur cycle pour b < 0 (cela prendra 30 secondes)
Test du nombre de solutions d'un éventuel cycle filtrées par la frontière en envisageant les différentes permutations circulaires vers la gauche, c'est à dire en prenant Vn comme référence avec V0 la valeur minimale du cycle
Valeur de N :
Valeur de p :
Type de liste de transitions pour un éventuel cycle :
Cas extrême donnant le minimum de solution
Cas aléatoire
Dénombrement de Up(N, v0) pour différents coefficients a des extensions (a*n+1)/2
Test pour la valeur maximale de N : pour une pente de la frontière de
File of tests for the theorems of Syracuse (3n+b and 5n+1) Author : Jacques BALLASI
Exhaustive results of conjecture tests for: 0 < b < 1024 and v0 < 222×b :
Test of the conjecture for b > 0
Value of b: Test for v0 < 2α with α:
Tests for all values of b with < b <
Structure of the table giving values of v less than the minimal value of the reached cycle:
b
v0 (minimal value of the cycle)
v (values from which this cycle can be reached)
Results for b > 0
Values lower than the minimum of their cycle for b > 0 (it will take 30 seconds)
Construction test of JGL() for b = -1
The precision can be adjusted to show more or fewer multiples of the irreducible fractions:
Upper approximation test of X with the fractions:
Exhaustive results of the conjecture tests for: -1024 < b < 0 and v0 < -222×b :
Test of the conjecture for b < 0
Value of b: Test for v0 < 2α with α:
Tests for all values of b with < -b <
Structure of the table giving the values v lower than the minimum value of the reached cycle:
b
v0 (minimum value of the cycle)
v (values from which the cycle can be reached)
Results for b < 0
Values lower than the minimum of their cycle for b < 0 (it will take 30 seconds)
Test of the number of solutions of a potential cycle filtered by the boundary by considering the different circular permutations to the left, that is, taking Vn as reference with V0 the minimal value of the cycle
Value of N:
Value of p:
Type of transition list for a potential cycle:
Extreme case giving the minimum number of solutions
Random case
Enumeration of Up(N, v0) for different coefficients a of the extensions (a*n+1)/2
Test for the maximum value of N: for a boundary slope of