make  check-TESTS
make[1] : on entre dans le répertoire « /home/parisse/giac-1.7.0/check »
// Using locale /usr/share/locale/
// en_US.UTF8
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0.04
// Time 0.01
// Time 0.07
// Time 0
// Time 0
// Time 0.03
// Time 0
// Time 0.01
// Time 0
// Time 0.03
// Time 0.01
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0.01
// Time 0
// Time 0.02
// Time 0
// Time 0
// Time 0
// Time 0.03
// Time 0
// Time 0
// Time 0.01
// Time 0.02
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
No checks were made for singular points of antiderivative -1/ln(t) for definite integration in [2,x]
// Time 0
No checks were made for singular points of antiderivative ln(n+1)+2*ln(n+2)-3*ln(n+3)+n*ln(1+2/n/(n+3)) for definite integration in [1,+infinity]
// Time 0.01
No checks were made for singular points of antiderivative (t^2*n^2-t*pi*n^2-2)*n^3/(-n^3)^2*cos(n*t)-(2*t*n-pi*n)*n^3/(-n^3)^2*sin(n*t) for definite integration in [0,pi]
// Time 0.01
No checks were made for singular points of antiderivative exp(t)*(1/(1+n^2)*cos(n*t)+n/(1+n^2)*sin(n*t)) for definite integration in [-pi,pi]
// Time 0.01
No checks were made for singular points of antiderivative exp(-x)*(-1/2*cos(x)+1/2*sin(x)) for definite integration in [0,+infinity]
// Time 0
// Time 0.05
Warning, integration of abs or sign assumes constant sign by intervals (correct if the argument is real):
Check [abs(ln(x))]
Discontinuities at zeroes of ln(x) were not checked
No checks were made for singular points of antiderivative x^2*exp(sign(ln(x))*ln(x))/(sign(ln(x))+2) for definite integration in [2,t]
// Time 0.01
No checks were made for singular points of antiderivative 1/sqrt(2)*exp(-t^2/2)*2/t*sqrt(t*x) for definite integration in [a,b]
// Time 0.01
// Time 0
// Time 0.06
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Total time 0.52
PASS: chk_integrate
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0.01
// Time 0.06
// Total time 0.11
PASS: chk_factor
// Using locale /usr/share/locale/
// fr_FR.UTF-8
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Time 0.01
// Time 0.01
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0.32
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0

Temps mis pour l'évaluation: 3.45
// Time 3.45
// Total time 3.82
PASS: chk_normalize
// Using locale /usr/share/locale/
// fr_FR.UTF-8
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Time 0.01
// Total time 0.01
PASS: chk_partfrac
// Using locale /usr/share/locale/
// fr_FR.UTF-8
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.03
// Time 0
// Time 0.02
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0.02
// Time 0
// Time 0.01
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0

Temps mis pour l'évaluation: 1.31
// Time 1.31
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)
Impossible de déterminer le signe: (56*pi/(sign(x)-1)/2)>(-56*pi/(sign(x)-1)/2)

Temps mis pour l'évaluation: 1.3
// Time 1.3
// Time 0
// Time 0.01
// Total time 2.78
PASS: chk_limit
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Success
// Success
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
Warning, argument is not an equation, solving x^2-1=0
// Time 0
// Time 0
Warning, argument is not an equation, solving x^2-3=0
// Time 0
Warning, argument is not an equation, solving x^3-3*y=0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0.25
// Time 0
// Time 0.02
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
Converting to exact approx symbolic matrix
// Time 0
// Time 0.01
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Total time 0.41
PASS: chk_cas
// Using locale /usr/share/locale/
// en_US.UTF8
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Time 0
// Time 0
medianes
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
mediatrices
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
bissectrices
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
Napoleon theorem
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
Feuerbach theorem
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
teste que le pied de la altitude est sur c de 2 facons, doit renvoyer 1 puis 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
circle incircle de A,B,C, center
// Time 0.01
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0.01
Le prochain resultat doit etre 0
// Time 0
// Time 0.01
theoreme de Simson
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
Variable x should be purged
Variable y should be purged
// Time 0
// Time 0
// Time 0
Morley theorem
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0.01
// Time 0
// Time 0.04
// Time 0.04
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.03
// Total time 0.22
PASS: chk_geo
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Parsing find_equi
// Warning: Ptest,test, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// compiling find_equi
// Parsing find_equi
// Warning: Ptest,test, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// compiling find_equi
// Time 0
q:0
q:1
test equilateral,1,1,1
equilateral,1,1,1,confirme
test equilateral,1,3,13
Warning, the test a==b is performed by checking
that the internal representation of regroup(a-b) is not 0.
Therefore a==b may return false even if a and b are mathematically equal,
if they have different internal representations.
You can explicitly call a simplification function like simplify(a-b)==0 to avoid this.
equilateral,1,3,13,confirme
q:2
q:3
test equilateral,3,13,1
equilateral,3,13,1,confirme
test equilateral,3,17,25
equilateral,3,17,25,confirme
q:4
q:5
test equilateral,5,27,13
equilateral,5,27,13,confirme
test equilateral,5,29,25
equilateral,5,29,25,confirme
q:6
q:7
q:8
q:9
q:10
q:11
q:12
q:13
test equilateral,13,1,3
equilateral,13,1,3,confirme
test equilateral,13,5,27
equilateral,13,5,27,confirme
q:14
q:15
test equilateral,15,15,15
equilateral,15,15,15,confirme
test equilateral,15,17,27
equilateral,15,17,27,confirme
q:16
q:17
test equilateral,17,25,3
equilateral,17,25,3,confirme
test equilateral,17,27,15
equilateral,17,27,15,confirme
q:18
q:19
q:20
q:21
q:22
q:23
q:24
q:25
test equilateral,25,3,17
equilateral,25,3,17,confirme
test equilateral,25,5,29
equilateral,25,5,29,confirme
q:26
q:27
test equilateral,27,13,5
equilateral,27,13,5,confirme
test equilateral,27,15,17
equilateral,27,15,17,confirme
q:28
q:29
test equilateral,29,25,5
equilateral,29,25,5,confirme
test equilateral,29,29,29
equilateral,29,29,29,confirme
q:30
q:31
q:32
q:33
q:34
q:35

Evaluation time: 1.8
// Time 1.8
// Time 0
// Total time 1.8
PASS: chk_morley_demo
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Success
// End defining f
// Success
// End defining m1
// Success
// End defining m2
// Success
// End defining m3
// Success
// End defining m4
// Success
// End defining h1
// Time 0.01
// Time 0.02
// Time 0.01
// Time 0
// Time 0
// Time 0.03
// Time 0
// Time 0
// Time 0.03
// Time 0
// Time 0.01
// Time 0.02
// Time 0
// Time 0.01
// Time 0
// Time 0.3

Evaluation time: 0.52
// Time 0.52
Simplification assuming t near 0
Simplification assuming t near 0
Simplification assuming t near 0
Simplification assuming t near 0
// Time 0.17
Simplification assuming t near 0
Simplification assuming t near 0
Simplification assuming t near 0
Simplification assuming t near 0
// Time 0.29
// Total time 1.42
PASS: chk_xavier
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Warning: a, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining f
// Success
// End defining f
// Success
// End defining f
// Warning: f, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining T
// Warning: a,n, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// Warning: L,a, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
(Comment) scanning line 91
(Comment) scanning line 92
(Comment) scanning line 93
(Comment) scanning line 94
(Comment) scanning line 95
(Comment) scanning line 96
============== restarted ===============
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
OK c'est un  carre
// Time 0
// Time 0
calcul du det 8x8 antisymetrique formel
// Time 0

Evaluation time: 1.72
// Time 1.72
// Time 0.03
OK c'est bien nul

Evaluation time: 1.04
// Time 1.04
// GCD eval dimension 27 3151032 Vector [2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2] 5250 Vector [1,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,1,1,1,1,1,1,1,1,1,1,1]1380 
Find_good_eval 3151849 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 3152896 0
Gb= 3153129 0
Find_good_eval 3153143 [-28,-28,23,-26,-46,-87,88,6,-16,14,69,71,-78,-74,81,-27,-87,81,-88,51,-8,68,48,-46,-59,-69]
Fb= 3219734 %%%{13461,[2]%%%}+%%%{2905,[1]%%%}+%%%{12350,[0]%%%}
Gb= 3239543 %%%{13461,[1]%%%}+%%%{-13554,[0]%%%}
FOUND good eval3239563 [-28,-28,23,-26,-46,-87,88,6,-16,14,69,71,-78,-74,81,-27,-87,81,-88,51,-8,68,48,-46,-59,-69]
// evaled GCD deg 1
Trying q/lgcd(q) as gcd 27 3239600
lgcd(q) ok 27 3246068
Success q/lgcd(q) as gcd 27 3305220

Evaluation time: 0.44
// Time 0.44
OK pour le pfaffien 8x8
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
La jordanisation est bonne
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Total time 3.25
PASS: chk_fhan1
// Using locale /usr/share/locale/
// en_US.UTF8
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Success
// Success
// End defining Cond
// Success
// Success
============== restarted ===============
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.07
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0.04
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Total time 0.14
PASS: chk_fhan2
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Success
// Success
// End defining minval
// Success
// End defining trans
// Warning: k,n,l,B,minval,j,trans, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining Zequiv
// Success
// End defining f
// Success
// End defining transC
// Warning: k,n,l,B,minval,j,transC, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining ZequivC
// Warning: n,Zequiv,d,L,f,T,ZequivC, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining elem
============== restarted ===============
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Total time 0.03
PASS: chk_fhan3
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Warning: a, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// Success
// Success
// Success
// Success
// Success
// Success
// Success
// Success
// End defining T
============== restarted ===============
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
0
0
0
0
0
0
0
0
0
// Time 0.02
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
0
0
0
0
// Time 0.04
// Time 0
// Time 0
// Time 0
// Time 0
0
// Time 0.05
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.02
  ***   Warning: increasing stack size to 2048000.
  *** _ZM_mul_worker: Warning: increasing stack size to 4096000.
// Time 0.22
// Time 0.15
// Time 0.25
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.2
// Time 0.14
// Time 0.13
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0.34
// Time 0.15
// Time 0.21
// Time 0.21
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.31
// Time 0
// Time 0
// Time 0

Evaluation time: 0.98
// Time 0.98
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Total time 3.47
PASS: chk_fhan4
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Warning: j, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining extr
// Warning: a, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// Success
// End defining monpolyfaddeev
// Success
// Warning: P,x,k, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// Warning: x, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining cf
// Warning: a, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
============== restarted ===============
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.04
// Time 0.01
// Time 0
// Time 0
// Time 0.05
// Time 0
// Time 0
// Time 0
// Time 0.06
// Time 0
// Time 0.01
// Time 0.14
// GCD eval dimension 24 418673 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 20 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]20 
Find_good_eval 418912 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 418952 0
Gb= 418965 0
Find_good_eval 418980 [44,48,82,48,55,-65,-20,72,-86,-16,77,-46,-28,-28,23,-26,-46,-87,88,6,-16,14,69]
Fb= 419284 %%%{-48,[1]%%%}+%%%{106,[0]%%%}
Gb= 419539 %%%{-48,[1]%%%}+%%%{106,[0]%%%}
FOUND good eval419548 [44,48,82,48,55,-65,-20,72,-86,-16,77,-46,-28,-28,23,-26,-46,-87,88,6,-16,14,69]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 419569
lgcd(p) ok 24 419608
Success p/lgcd(p) as gcd 24 419622
// GCD eval dimension 24 420313 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 60 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]60 
Find_good_eval 420471 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 420528 0
Gb= 420632 0
Find_good_eval 420648 [71,-78,-74,81,-27,-87,81,-88,51,-8,68,48,-46,-59,-69,84,31,45,-28,99,84,56,-66]
Fb= 421604 %%%{9425,[1]%%%}+%%%{-1684,[0]%%%}
Gb= 422342 %%%{9425,[1]%%%}+%%%{-1684,[0]%%%}
FOUND good eval422352 [71,-78,-74,81,-27,-87,81,-88,51,-8,68,48,-46,-59,-69,84,31,45,-28,99,84,56,-66]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 422378
lgcd(p) ok 24 422492
Success p/lgcd(p) as gcd 24 422513
// GCD eval dimension 24 423476 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 120 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]120 
Find_good_eval 423746 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 423793 0
Gb= 423823 0
Find_good_eval 423834 [92,-31,-63,33,44,93,-37,-20,39,-4,-40,-48,10,-58,31,78,81,-22,10,-26,-97,37,-9]
Fb= 425543 %%%{12176,[1]%%%}+%%%{-12422,[0]%%%}
Gb= 427335 %%%{12176,[1]%%%}+%%%{-12422,[0]%%%}
FOUND good eval427356 [92,-31,-63,33,44,93,-37,-20,39,-4,-40,-48,10,-58,31,78,81,-22,10,-26,-97,37,-9]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 427391
lgcd(p) ok 24 427538
Success p/lgcd(p) as gcd 24 427566
// GCD eval dimension 24 429069 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 120 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]120 
Find_good_eval 429283 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 429346 0
Gb= 429375 0
Find_good_eval 429386 [-54,60,89,77,-85,76,84,-5,64,-56,74,98,18,26,0,3,86,32,53,-39,32,45,79]
Fb= 431067 %%%{-8899,[1]%%%}+%%%{-1640,[0]%%%}
Gb= 432554 %%%{-8899,[1]%%%}+%%%{-1640,[0]%%%}
FOUND good eval432578 [-54,60,89,77,-85,76,84,-5,64,-56,74,98,18,26,0,3,86,32,53,-39,32,45,79]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 432637
lgcd(p) ok 24 432891
Success p/lgcd(p) as gcd 24 432912
// GCD eval dimension 24 433477 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 20 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]20 
Find_good_eval 433738 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 433769 0
Gb= 433781 0
Find_good_eval 433792 [41,43,-31,42,-91,-77,-72,-7,6,-20,-40,81,-64,83,-68,-60,2,92,8,-70,-12,80,-96]
Fb= 434060 %%%{-42,[1]%%%}+%%%{2451,[0]%%%}
Gb= 434312 %%%{-42,[1]%%%}+%%%{2451,[0]%%%}
FOUND good eval434321 [41,43,-31,42,-91,-77,-72,-7,6,-20,-40,81,-64,83,-68,-60,2,92,8,-70,-12,80,-96]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 434341
lgcd(p) ok 24 434371
Success p/lgcd(p) as gcd 24 434383
// GCD eval dimension 24 434880 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 60 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]60 
Find_good_eval 435023 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 435049 0
Gb= 435067 0
Find_good_eval 435076 [-29,-95,-68,60,-66,8,34,-7,-21,-18,-46,11,70,-59,63,-86,67,0,-59,28,-36,-43,55]
Fb= 435985 %%%{6321,[1]%%%}+%%%{13148,[0]%%%}
Gb= 436687 %%%{6321,[1]%%%}+%%%{13148,[0]%%%}
FOUND good eval436697 [-29,-95,-68,60,-66,8,34,-7,-21,-18,-46,11,70,-59,63,-86,67,0,-59,28,-36,-43,55]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 436728
lgcd(p) ok 24 436832
Success p/lgcd(p) as gcd 24 436853
// GCD eval dimension 24 438124 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 120 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]120 
Find_good_eval 438280 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 438331 0
Gb= 438361 0
Find_good_eval 438372 [-12,-71,-13,-93,-85,-18,93,-22,-43,-7,-3,46,85,31,84,-86,82,76,-49,-25,-65,15,-33]
Fb= 440613 %%%{14286,[1]%%%}+%%%{-13734,[0]%%%}
Gb= 442465 %%%{14286,[1]%%%}+%%%{-13734,[0]%%%}
FOUND good eval442497 [-12,-71,-13,-93,-85,-18,93,-22,-43,-7,-3,46,85,31,84,-86,82,76,-49,-25,-65,15,-33]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 442535
lgcd(p) ok 24 442741
Success p/lgcd(p) as gcd 24 442774
// GCD eval dimension 24 444270 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 120 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]120 
Find_good_eval 444450 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 444500 0
Gb= 444530 0
Find_good_eval 444542 [-84,-49,-17,52,-13,-64,24,84,-65,8,-81,22,61,-16,-8,-16,-33,-6,-57,-32,63,73,13]
Fb= 446421 %%%{-13898,[1]%%%}+%%%{-11140,[0]%%%}
Gb= 448726 %%%{-13898,[1]%%%}+%%%{-11140,[0]%%%}
FOUND good eval448745 [-84,-49,-17,52,-13,-64,24,84,-65,8,-81,22,61,-16,-8,-16,-33,-6,-57,-32,63,73,13]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 448776
lgcd(p) ok 24 449068
Success p/lgcd(p) as gcd 24 449091
// GCD eval dimension 24 449683 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 20 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]20 
Find_good_eval 449822 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 449848 0
Gb= 449860 0
Find_good_eval 449870 [-3,-97,-13,89,-63,1,7,11,-47,-77,-14,87,-38,-37,13,-94,17,-70,45,77,-80,-85,75]
Fb= 450130 %%%{-89,[1]%%%}+%%%{-9760,[0]%%%}
Gb= 450384 %%%{-89,[1]%%%}+%%%{-9760,[0]%%%}
FOUND good eval450497 [-3,-97,-13,89,-63,1,7,11,-47,-77,-14,87,-38,-37,13,-94,17,-70,45,77,-80,-85,75]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 450525
lgcd(p) ok 24 450611
Success p/lgcd(p) as gcd 24 450632
// GCD eval dimension 24 451387 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 60 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]60 
Find_good_eval 451546 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 451582 0
Gb= 451601 0
Find_good_eval 451612 [-92,-8,-33,-35,42,62,91,-55,63,26,66,-29,89,69,-50,-56,89,-63,61,-4,-97,-89,55]
Fb= 452626 %%%{-14180,[1]%%%}+%%%{2663,[0]%%%}
Gb= 453532 %%%{-14180,[1]%%%}+%%%{2663,[0]%%%}
FOUND good eval453545 [-92,-8,-33,-35,42,62,91,-55,63,26,66,-29,89,69,-50,-56,89,-63,61,-4,-97,-89,55]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 453575
lgcd(p) ok 24 453703
Success p/lgcd(p) as gcd 24 453725
// GCD eval dimension 24 455133 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 120 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]120 
Find_good_eval 455330 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 455380 0
Gb= 455410 0
Find_good_eval 455421 [30,-21,-65,-82,-62,5,7,87,-69,71,-44,44,-43,85,53,42,-95,-25,59,-68,96,-78,60]
Fb= 457022 %%%{-8336,[1]%%%}+%%%{-2316,[0]%%%}
Gb= 458598 %%%{-8336,[1]%%%}+%%%{-2316,[0]%%%}
FOUND good eval458613 [30,-21,-65,-82,-62,5,7,87,-69,71,-44,44,-43,85,53,42,-95,-25,59,-68,96,-78,60]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 458643
lgcd(p) ok 24 458782
Success p/lgcd(p) as gcd 24 458806
// GCD eval dimension 24 460067 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 120 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]120 
Find_good_eval 460224 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 460290 0
Gb= 460344 0
Find_good_eval 460361 [-22,-84,-1,40,-42,98,79,32,2,-92,39,-20,50,72,91,-18,-31,46,18,29,3,-41,-97]
Fb= 462662 %%%{8943,[1]%%%}+%%%{3549,[0]%%%}
Gb= 465374 %%%{8943,[1]%%%}+%%%{3549,[0]%%%}
FOUND good eval465394 [-22,-84,-1,40,-42,98,79,32,2,-92,39,-20,50,72,91,-18,-31,46,18,29,3,-41,-97]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 465426
lgcd(p) ok 24 465680
Success p/lgcd(p) as gcd 24 465702
// GCD eval dimension 24 466551 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 16 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]16 
Find_good_eval 466692 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 466722 0
Gb= 466735 0
Find_good_eval 466746 [-38,2,-51,-98,69,-52,72,50,45,-24,-63,28,32,-66,-52,62,23,85,72,-2,-3,-88,-42]
Fb= 467171 %%%{98,[1]%%%}+%%%{8523,[0]%%%}
Gb= 467541 %%%{98,[1]%%%}+%%%{8523,[0]%%%}
FOUND good eval467555 [-38,2,-51,-98,69,-52,72,50,45,-24,-63,28,32,-66,-52,62,23,85,72,-2,-3,-88,-42]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 467583
lgcd(p) ok 24 467622
Success p/lgcd(p) as gcd 24 467635
// GCD eval dimension 24 468557 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 48 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]48 
Find_good_eval 468706 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 468744 0
Gb= 468762 0
Find_good_eval 468773 [-96,-55,-34,-9,-29,-86,-35,1,-36,25,99,60,97,-56,8,-38,11,77,3,39,49,-80,-8]
Fb= 469736 %%%{-5977,[1]%%%}+%%%{12640,[0]%%%}
Gb= 470534 %%%{-5977,[1]%%%}+%%%{12640,[0]%%%}
FOUND good eval470570 [-96,-55,-34,-9,-29,-86,-35,1,-36,25,99,60,97,-56,8,-38,11,77,3,39,49,-80,-8]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 470671
lgcd(p) ok 24 470906
Success p/lgcd(p) as gcd 24 470936
// GCD eval dimension 24 472027 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 96 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]96 
Find_good_eval 472244 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 472299 0
Gb= 472325 0
Find_good_eval 472337 [-96,87,35,14,-15,40,39,65,-63,-42,-12,14,51,-33,71,-83,-85,11,52,33,-80,76,14]
Fb= 473980 %%%{3414,[1]%%%}+%%%{-11024,[0]%%%}
Gb= 475582 %%%{3414,[1]%%%}+%%%{-11024,[0]%%%}
FOUND good eval475599 [-96,87,35,14,-15,40,39,65,-63,-42,-12,14,51,-33,71,-83,-85,11,52,33,-80,76,14]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 475630
lgcd(p) ok 24 475953
Success p/lgcd(p) as gcd 24 476011
// GCD eval dimension 24 477225 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 96 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]96 
Find_good_eval 477501 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 477554 0
Gb= 477580 0
Find_good_eval 477593 [-33,-32,-27,-64,-69,46,-38,97,-52,64,89,94,26,-27,20,-27,57,24,19,-14,-32,-82,79]
Fb= 479094 %%%{-7276,[1]%%%}+%%%{-10294,[0]%%%}
Gb= 480664 %%%{-7276,[1]%%%}+%%%{-10294,[0]%%%}
FOUND good eval480692 [-33,-32,-27,-64,-69,46,-38,97,-52,64,89,94,26,-27,20,-27,57,24,19,-14,-32,-82,79]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 480818
lgcd(p) ok 24 481210
Success p/lgcd(p) as gcd 24 481232
// GCD eval dimension 24 481863 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 20 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]20 
Find_good_eval 482018 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 482048 0
Gb= 482063 0
Find_good_eval 482080 [58,81,-88,-45,12,-32,-20,-40,-77,-21,2,-43,22,43,-79,-92,-3,-93,97,18,-21,73,-15]
Fb= 482514 %%%{45,[1]%%%}+%%%{11095,[0]%%%}
Gb= 482882 %%%{45,[1]%%%}+%%%{11095,[0]%%%}
FOUND good eval482895 [58,81,-88,-45,12,-32,-20,-40,-77,-21,2,-43,22,43,-79,-92,-3,-93,97,18,-21,73,-15]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 482922
lgcd(p) ok 24 482973
Success p/lgcd(p) as gcd 24 482993
// GCD eval dimension 24 483656 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 60 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]60 
Find_good_eval 483797 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 483931 0
Gb= 483951 0
Find_good_eval 483961 [-4,-46,-60,79,3,-82,-13,-64,65,-72,77,2,80,44,-33,18,97,71,41,20,-42,71,97]
Fb= 484681 %%%{-78,[1]%%%}+%%%{-10815,[0]%%%}
Gb= 485395 %%%{-78,[1]%%%}+%%%{-10815,[0]%%%}
FOUND good eval485404 [-4,-46,-60,79,3,-82,-13,-64,65,-72,77,2,80,44,-33,18,97,71,41,20,-42,71,97]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 485424
lgcd(p) ok 24 485700
Success p/lgcd(p) as gcd 24 485723
// GCD eval dimension 24 486848 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 120 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]120 
Find_good_eval 487060 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 487107 0
Gb= 487136 0
Find_good_eval 487147 [-65,22,-4,-8,-94,40,-94,51,37,69,48,59,-92,-84,-59,-80,72,21,32,2,-43,-99,-71]
Fb= 488696 %%%{-3999,[1]%%%}+%%%{263,[0]%%%}
Gb= 490446 %%%{-3999,[1]%%%}+%%%{263,[0]%%%}
FOUND good eval490463 [-65,22,-4,-8,-94,40,-94,51,37,69,48,59,-92,-84,-59,-80,72,21,32,2,-43,-99,-71]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 490494
lgcd(p) ok 24 490624
Success p/lgcd(p) as gcd 24 490647
// GCD eval dimension 24 491950 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 120 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]120 
Find_good_eval 492155 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 492209 0
Gb= 492240 0
Find_good_eval 492251 [16,19,34,-59,-77,-5,-94,80,-82,44,18,-19,-38,1,49,-57,-23,-97,68,-33,21,-43,-38]
Fb= 493756 %%%{-12447,[1]%%%}+%%%{8824,[0]%%%}
Gb= 495557 %%%{-12447,[1]%%%}+%%%{8824,[0]%%%}
FOUND good eval495575 [16,19,34,-59,-77,-5,-94,80,-82,44,18,-19,-38,1,49,-57,-23,-97,68,-33,21,-43,-38]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 495611
lgcd(p) ok 24 495921
Success p/lgcd(p) as gcd 24 495945
// GCD eval dimension 24 496644 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 20 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]20 
Find_good_eval 496983 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 497027 0
Gb= 497041 0
Find_good_eval 497053 [-3,-4,-83,-8,-38,29,40,-81,-28,-37,-94,39,18,24,-58,14,-99,-66,65,-98,-18,-81,22]
Fb= 497333 %%%{8,[1]%%%}+%%%{6434,[0]%%%}
Gb= 497743 %%%{8,[1]%%%}+%%%{6434,[0]%%%}
FOUND good eval497759 [-3,-4,-83,-8,-38,29,40,-81,-28,-37,-94,39,18,24,-58,14,-99,-66,65,-98,-18,-81,22]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 497788
lgcd(p) ok 24 497834
Success p/lgcd(p) as gcd 24 497848
// GCD eval dimension 24 498602 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 60 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]60 
Find_good_eval 498747 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 498781 0
Gb= 498800 0
Find_good_eval 498811 [73,9,30,75,38,-39,85,33,-4,-70,15,2,72,-32,97,-71,93,80,-3,-64,-13,-73,-15]
Fb= 499581 %%%{9638,[1]%%%}+%%%{-8268,[0]%%%}
Gb= 500643 %%%{9638,[1]%%%}+%%%{-8268,[0]%%%}
FOUND good eval500660 [73,9,30,75,38,-39,85,33,-4,-70,15,2,72,-32,97,-71,93,80,-3,-64,-13,-73,-15]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 500688
lgcd(p) ok 24 500839
Success p/lgcd(p) as gcd 24 500864
// GCD eval dimension 24 502263 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 120 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]120 
Find_good_eval 502487 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 502569 0
Gb= 502600 0
Find_good_eval 502612 [40,82,-30,57,-86,73,-42,-28,94,84,33,-8,21,-98,-4,36,4,19,92,-77,-22,63,75]
Fb= 504459 %%%{-2640,[1]%%%}+%%%{-11891,[0]%%%}
Gb= 506230 %%%{-2640,[1]%%%}+%%%{-11891,[0]%%%}
FOUND good eval506249 [40,82,-30,57,-86,73,-42,-28,94,84,33,-8,21,-98,-4,36,4,19,92,-77,-22,63,75]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 506280
lgcd(p) ok 24 506529
Success p/lgcd(p) as gcd 24 506555
// GCD eval dimension 24 507898 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] 120 Vector [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]120 
Find_good_eval 508048 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 508096 0
Gb= 508125 0
Find_good_eval 508137 [91,90,38,-42,-11,-20,-27,64,92,60,-6,67,43,-20,14,-38,-55,51,-96,32,64,-90,-85]
Fb= 510006 %%%{-8088,[1]%%%}+%%%{-13268,[0]%%%}
Gb= 511854 %%%{-8088,[1]%%%}+%%%{-13268,[0]%%%}
FOUND good eval511873 [91,90,38,-42,-11,-20,-27,64,92,60,-6,67,43,-20,14,-38,-55,51,-96,32,64,-90,-85]
// evaled GCD deg 1
Trying p/lgcd(p) as gcd 24 511903
lgcd(p) ok 24 512147
Success p/lgcd(p) as gcd 24 512169
// Time 0.1
// Time 0
// Time 0
// Time 0
// Time 0.04
// Time 0.04
// Time 0.18
// Time 0.2
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0.02
// Time 0.01
// Time 0
// Time 0.04
// Time 0.04
// Time 0
// Time 0.01
// Time 0.03
// Total time 1.03
PASS: chk_fhan5
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Warning: x, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining monlagrange
// Success
// Success
// Success
// Success
============== restarted ===============
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.2
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0.21
// Time 0.19
// Time 0.06
// Time 0.25
pcar OK
// Time 0
pcar OK
// Time 0.01
// Time 0.04
// Time 0.06
// Time 0
// Time 0
// Time 0.01
// Time 0.07
// Time 0.07
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Total time 1.19
PASS: chk_fhan6
// Using locale /usr/share/locale/
// en_US.UTF8
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Success
// End defining M
// Success
// End defining f
// Warning: a,b,c, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining egal
// Warning: y,z,x,egal,t, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining pointresiduel
// Warning: pointresiduel, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining plus
// Warning: plus, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining nplus
// Success
// End defining egalomega
// Warning: egalomega,plus, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining factell
// Time 0
// Time 0
// Time 0
// Time 0.02
Near [0,0], 1/epsilon^2*f([0,0]+epsilon*[1,t])=-3*t roots [0.0]
Singular points directions: [cell_i, cell_j, singularity, next solution] [[50,50,0.0,0.0666666666667+0.00148146522433*i],[50,50,0.0,-0.0666666666667+0.0014814977397*i]]
Bad branch, questionnable accuracy
// Time 0.08
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
noneg:noneg
// Time 0
eg:eg
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
1,1,1
1,2,20011
1,3,1
1,4,1
1,5,1
1,6,1
1,7,1
1,8,1
1,9,1
1,10,1
1,11,1
1,12,1
1,13,1
1,14,1
1,15,1
1,16,1
1,17,1
1,18,1
1,19,1
1,20,1
2,1,1
2,2,1
2,3,1
2,4,1
2,5,1
2,6,1
2,7,1
2,8,1
2,9,1
2,10,1
2,11,1
2,12,1
2,13,20011
2,14,1
2,15,1
2,16,1
2,17,1
2,18,1
2,19,20011
2,20,1
3,1,1
3,2,1
3,3,1
3,4,1
3,5,1
3,6,1
3,7,1
3,8,1
3,9,1
3,10,1
3,11,1
3,12,1
3,13,1
3,14,1
3,15,1
3,16,1
3,17,1
3,18,1
3,19,1
3,20,1

Evaluation time: 0.7
// Time 0.7
// Time 0.01
// Time 0
1,1,1
1,2,1234577
1,3,1
1,4,1
1,5,1
1,6,1
1,7,1
1,8,1
1,9,1
1,10,1
1,11,1
1,12,1
1,13,1
1,14,1
1,15,1
1,16,1
1,17,1
1,18,1
1,19,1
1,20,1
2,1,1
2,2,1
2,3,1
2,4,1
2,5,1234577
2,6,1
2,7,1
2,8,1
2,9,1
2,10,1
2,11,1
2,12,1
2,13,1
2,14,1
2,15,1
2,16,1
2,17,1
2,18,1
2,19,1
2,20,1
3,1,1
3,2,1
3,3,1
3,4,1
3,5,1
3,6,1
3,7,1
3,8,1
3,9,1
3,10,1
3,11,1
3,12,1
3,13,1
3,14,1
3,15,1
3,16,1
3,17,1
3,18,1
3,19,1
3,20,1

Evaluation time: 1.94
// Time 1.94
// Total time 2.76
PASS: chk_fhan8
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Warning: t, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining P
// Warning: a,l, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining f
// Success
// End defining puis
============== restarted ===============
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0.01
// Time 0
// Time 0.02
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.06
// Time 0
// Time 0
// Time 0
// Total time 0.15
PASS: chk_fhan0
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
============== restarted ===============
// Time 0
// Time 0
// Time 0
// Time 0.23
// Time 0.28
// Time 0.11
// Time 0
// Time 0
// Time 0.25
// Time 0
// Time 0
// Time 0.01
  ***   Warning: increasing stack size to 2048000.
  ***   Warning: increasing stack size to 4096000.
  ***   Warning: increasing stack size to 8192000.

Evaluation time: 1.68
// Time 1.68
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
ca fait bien p-1
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0.02
// Time 0
// Time 0.27
// Time 0.2
// Time 0.21
// Time 0
// Time 0.15
// Time 0.16
// Time 0.13
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Total time 3.74
13c13
< 1,
---
> matrix[[2,7,1],[3,2,1],[389,2,1],[733,2,1],[156904374622257604823879982847602392900751802349981470895277241,2,matrix[[2,13,1],[3,3,1],[5,2,1],[7,2,1],[56467,2,1],[6553084925887974620811527,2,matrix[[2,5,1],[19,2,1],[71,2,1],[126823,2,1]]]]]],
FAIL: chk_fhan11
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Success
// End defining orbites
// Warning: X, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining phi
// Warning: P, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining puiss
// Warning: P,x, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining puiss
// Warning: puiss,q, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining testcarre
// Warning: puiss,q, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining inve
// Success
// End defining ordre
============== restarted ===============
// Time 0.01
// Time 0
// Time 0
Assigning variables a and K
Now e.g. a^200+1 will build an element of K
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.05
Assigning variables b and L
Now e.g. b^200+1 will build an element of L
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
1,2
2,4
2,8
4,16
8,32
16,64
32,128
64,256
// Time 0.01
(X-1)*(X+1),2
(X-1)*(X+1)*(X^2+1),4
(X-1)*(X+1)*(X^2+1)*(X^4+1),8
(X-1)*(X+1)*(X^2+1)*(X^4+1)*(X^8+1),16
(X-1)*(X+1)*(X^2+1)*(X^4+1)*(X^8+1)*(X^16+1),32
(X-1)*(X+1)*(X^2+1)*(X^4+1)*(X^8+1)*(X^16+1)*(X^32+1),64
(X-1)*(X+1)*(X^2+1)*(X^4+1)*(X^8+1)*(X^16+1)*(X^32+1)*(X^64+1),128
(X-1)*(X+1)*(X^2+1)*(X^4+1)*(X^8+1)*(X^16+1)*(X^32+1)*(X^64+1)*(X^128+1),256
// Time 0
// Time 0
1*X+1
1*X^2+1
(1*X^2+1*X-1)*(1*X^2-1*X-1)
(1*X^4+1*X^2-1)*(1*X^4-1*X^2-1)
(1*X^8+1*X^4-1)*(1*X^8-1*X^4-1)
(1*X^16+1*X^8-1)*(1*X^16-1*X^8-1)
(1*X^32+1*X^16-1)*(1*X^32-1*X^16-1)
(1*X^64+1*X^32-1)*(1*X^64-1*X^32-1)
// Time 0.04
i_i_:64
// Time 0
// Time 0.01
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
ca marche
// Time 0
// Total time 0.19
PASS: chk_fhan12
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Warning: x, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining facto1
// Warning: x, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining facto2
============== restarted ===============
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0.01
// Time 0
// Time 0.01
// Total time 0.05
PASS: chk_fhan13
// Using locale /usr/share/locale/
// en_US.UTF8
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Warning: x, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining randP
// Warning: x,l, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining berl
// Warning: A,B,rep,p,N,r,LX,Q,P,x,Powmod, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining unfacteur
// Warning: unfacteur,t,tt, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining facteurpseudoirred
// Warning: A, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining borne
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
facteurs multiples,2
facteurs multiples,3
facteurs multiples,11
facteurs multiples,13
facteurs multiples,19
facteurs multiples,23
// Time 0.07
// Time 0
// Time 0
// Time 0.02
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
f est irred
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0.03
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0.01
x^2+9*x+17,est un diviseur dans Z
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0.01
// Time 0
// Time 0
// Total time 0.2
PASS: chk_fhan14
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Warning: v, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining paff
// Warning: a, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
============== restarted ===============
// Time 0.01
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0.01
Ellipsis of center (-50/7,17/2)
// Time 0.02
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Total time 0.09
PASS: chk_fhan15
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Success
// Warning: q,x, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// Warning: S3h,x, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// Warning: S4h,x, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
============== restarted ===============
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
Near [0,2], 1/epsilon^2*f([0,2]+epsilon*[1,t])=1 roots []
Near [0,2], 1/epsilon^2*f([0,2]+epsilon*[1,t])=1 roots []
Near [0,2], 1/epsilon^2*f([0,2]+epsilon*[1,t])=1 roots []
Singular points directions: [cell_i, cell_j, singularity, next solution] [[50,70,2.0*i,-0.00112947877252+2.03333333333*i],[50,70,2.0*i,0.00112947877252+2.03333333333*i],[50,70,2.0*i,-0.00109243590672+1.96666666667*i],[50,70,2.0*i,0.00109243590672+1.96666666667*i],[50,70,2.0*i,-0.00112947877252+2.03333333333*i],[50,70,2.0*i,0.00112947877252+2.03333333333*i],[50,70,2.0*i,-0.00109243590672+1.96666666667*i],[50,70,2.0*i,0.00109243590672+1.96666666667*i],[50,70,2.0*i,-0.00112947877252+2.03333333333*i],[50,70,2.0*i,0.00112947877252+2.03333333333*i],[50,70,2.0*i,-0.00109243590672+1.96666666667*i],[50,70,2.0*i,0.00109243590672+1.96666666667*i]]
Warning! Could not loop or reach boundaries 
Warning! Could not loop or reach boundaries 
Warning! Could not loop or reach boundaries 
Warning! Could not loop or reach boundaries 
Warning! Could not loop or reach boundaries 
Warning! Could not loop or reach boundaries 
Warning! Could not loop or reach boundaries 
// Time 0.1
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Groebner basis computation time 0.006249 Memory 59.62M
Warning! Could not loop or reach boundaries 25*y^2*2.68992345258e-17+10*y^2*1.55399613571e-14+59*y^2*8.97759372102e-12+20*y^2*5.18644719686e-09+43*y^2*2.99626329301e-06+10*y^2*0.00173097177707+9*y^2-80*y*2.68992345258e-17-136*y*1.55399613571e-14+56*y*8.97759372102e-12+240*y*5.18644719686e-09+104*y*2.99626329301e-06+1.72155100965e-15+2.98367258056e-12+1.72369799443e-09+3.31932620599e-07
// Time 0.32
// Time 0
// Time 0
// Time 0
Hyperbola of center (0,0)
// Time 0.01
// Time 0.1
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
Warning, argument is not an equation, solving -14699.0*t^6+25716.0*t^5+1779.0*t^4-15116.0*t^3-624.0*t^2+2496.0*t+448.0=0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.07
// Time 0
// Time 0
schur row 5 -2.79096e-08
// Time 0.01
// Time 0
// Time 0
// Time 0
Warning, argument is not an equation, solving x^3-2.0*x^2-20.0*x+48.0=0
// Time 0
// Time 0
Warning, argument is not an equation, solving x^3-2*x^2-20*x+48=0
// Time 0.01
// Time 0
Warning, argument is not an equation, solving 6*sqrt(13)+18+y^2=0
Warning, argument is not an equation, solving -6*sqrt(13)+18+y^2=0
Warning, argument is not an equation, solving y^2=0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
Ellipsoid of center [0,0,0]
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Groebner basis computation time 0.000544 Memory 63.064M

Evaluation time: 0.53
// Time 0.53
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Groebner basis computation time 0.000114 Memory 63.14M
Singular points directions: [cell_i, cell_j, singularity, next solution] []
// Time 0.08
// Total time 1.32
PASS: chk_fhan16
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Warning: x,y,z, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining rl
// Warning: rl, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining ql
============== restarted ===============
// Time 0
// Time 0.01
// Time 0
// Time 0
// Groebner basis computation time 0.000457 Memory 54.944M
Warning! Could not loop or reach boundaries 
Warning! Could not loop or reach boundaries 
Warning! Could not loop or reach boundaries 
// Time 0.14
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
c'est bon, le point trouve est bien sur la cubique
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Groebner basis computation time 0.000687 Memory 56.916M
Pas de chance, il faut prendre un autre P
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
c'est bon
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0.01
// Time 0.01
// Time 0.22
// Time 0.02
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0.01
Warning, argument is not an equation, solving (-4*a^6*u+10*a^6*v+57*a^6-18*a^5*u-13*a^5*v+13*a^5-4*a^4*u-15*a^4*v+92*a^4-10*a^3*u+67*a^3*v-458*a^3-66*a^2*u+91*a^2*v+523*a^2-62*a*u+36*a*v-885*a-16*u+4*v+298)/(a^6-2*a^5+9*a^4-16*a^3+24*a^2-32*a+16)=0
// Time 0
// Time 0.01
// Time 0.01
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0.01
// Time 0
// Time 0
c'est bien de degre 27
// Time 0
// Total time 0.52
PASS: chk_fhan17
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Warning: A,x,P, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
============== restarted ===============
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Groebner basis computation time 0.000433 Memory 55.876M
Warning! Could not loop or reach boundaries 
Warning! Could not loop or reach boundaries undef
Warning! Could not loop or reach boundaries 
Warning! Could not loop or reach boundaries 
Warning! Could not loop or reach boundaries 
Warning! Could not loop or reach boundaries 
Warning! Could not loop or reach boundaries 
// Time 0.36
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
Warning, argument is not an equation, solving -44*t^4-81*t^3-84*t^2-29*t-2+(16*t^4+15*t^3+41*t^2+23*t+2)*x=0
// Time 0
// Time 0
// Time 0
// Time 0
Warning, argument is not an equation, solving 77*t^3+73*t^2+6*t+(16*t^4+15*t^3+41*t^2+23*t+2)*y=0
// Time 0
// Time 0.26
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Total time 0.65
PASS: chk_fhan19
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
============== restarted ===============
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
Warning: non-square matrix!
// Time 0
// Time 0
Warning: non-square matrix!
// Time 0
// Time 0
// Time 0
Hyperbola of center (1201/284,-523/568)
// Time 0.03
// Groebner basis computation time 0.000348 Memory 58.488M
Singular points directions: [cell_i, cell_j, singularity, next solution] []
// Time 0.16
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.02
// Time 0
// Time 0
// Time 0
// Time 0.03
// Time 0
// Time 0
// Time 0
// Time 0
// Groebner basis computation time 0.000808 Memory 59.784M
// Time 0
// Time 0.03
// Time 0
// Time 0
// Time 0
Line A-5*B+1=0
Line A-3*B-6=0
Line A-2*B-3=0
Line A-2*B+2=0
Line A-B+1=0
// Time 0.01
// Total time 0.3
PASS: chk_fhan20
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Warning: x,g, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// Warning: x,tmp, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining ST
// Warning: PU, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// Warning: x,j, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining MU
// Warning: x,MU,U, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining scalU
// Warning: scalU, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// Warning: scalU,GS, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// Warning: x, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining recip
============== restarted ===============
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0.01
// Time 0.02
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.05
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
ca doit etre nul,0
ca doit etre nul,0
ca doit etre nul,0
ca doit etre nul,0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0.04
// Time 0.07
// Time 0
// Time 0.01
// Time 0
// Total time 0.24
PASS: chk_fhan21
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Success
// End defining puis
// Warning: x,p, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining periode
============== restarted ===============
// Time 0
// Time 0
// Time 0

Evaluation time: 15.59
// Time 15.59
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.02
// Time 0
// Total time 15.66
PASS: chk_fhan9
// Using locale /usr/share/locale/
// C
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Warning: S, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining f
// Warning: S, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining f
// Warning: S, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining f
// Warning: S,f, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining h
// Warning: H,rep,w,k,r, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining jeu
// Success
// End defining f
// Warning: H,HE, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining syst
// Warning: syst, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining sol
// Warning: S, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining f
// Warning: sol,S,f,a,b,c,l, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining question
// Warning: j, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining prodlist
// Success
// Warning: prodlist,powerlist,aa,a, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining powerlist
// Warning: j, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining powerlist2
// Warning: S, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining f
// Warning: sol,S,powerlist2,L,f,A,l, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining questionbis
// Success
// End defining f
// Success
// End defining distham
// Warning: distham,v, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// Warning: distham,C, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// Warning: distham,C, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
============== restarted ===============
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
menti a la question:,2
// Time 0
// Time 0
votre nombre est:,13
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
erreur
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
est il dans,[8,9,10,11,12,13,14,15]
est il dans,[4,5,6,7,12,13,14,15]
est il dans,[2,3,6,7,10,11,14,15]
est il dans,[1,3,5,7,9,11,13,15]
est il dans,[1,2,4,7,9,10,12,15]
est il dans,[1,2,5,6,8,11,12,15]
est il dans,[1,3,4,6,8,10,13,15]
// Time 0
// Time 0
// Time 0
powerlist: recursive definition
// Time 0
// Time 0
BON
// Time 0
// Time 0
est il dans,[8,9,10,11,12,13,14,15]
est il dans,[4,5,6,7,12,13,14,15]
est il dans,[2,3,6,7,10,11,14,15]
est il dans,[1,3,5,7,9,11,13,15]
est il dans,[1,2,4,7,9,10,12,15]
est il dans,[1,2,5,6,8,11,12,15]
est il dans,[1,3,4,6,8,10,13,15]
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
Warning, the test a==b is performed by checking
that the internal representation of regroup(a-b) is not 0.
Therefore a==b may return false even if a and b are mathematically equal,
if they have different internal representations.
You can explicitly call a simplification function like simplify(a-b)==0 to avoid this.
// Time 0
// Time 0
// Time 0
// Time 0.03
// Time 0.03
// Time 0.01
// Total time 0.1
PASS: chk_fhan18
// Using locale /usr/share/locale/
// en_US.UTF8
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Warning: x,f, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining g
// Success
// End defining f
// Warning: f, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining df
// Warning: J, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining f
// Warning: p, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining f
// Warning: x,m,p,dp,u,s,t,d,invdp, declared as global variable(s). If symbolic variables are required, declare them as local and run purge
// End defining Dunford
============== restarted ===============
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
0.0857864376269
0.00245310429357
2.12390141741e-06
1.5916157281e-12
0.0
0.0
0.0
0.0
0.0
0.0
0.0
0.0
0.0
0.0
// Time 0.01
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0.02
// Time 0
// Time 0
// Time 0
// Time 0.12
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
Warning, the test a==b is performed by checking
that the internal representation of regroup(a-b) is not 0.
Therefore a==b may return false even if a and b are mathematically equal,
if they have different internal representations.
You can explicitly call a simplification function like simplify(a-b)==0 to avoid this.
// Time 0.02
// Time 0
// Time 0
// Time 0.02
// Time 0
// Total time 0.22
PASS: chk_fhan7
====================
1 of 30 tests failed
====================
make[1]: *** [Makefile:349: check-TESTS] Error 1
make[1] : on quitte le répertoire « /home/parisse/giac-1.7.0/check »
make: *** [Makefile:472: check-am] Error 2
