make  check-TESTS
make[1] : on entre dans le répertoire « /home/parisse/giac-1.9.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.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.04
// Time 0
// Time 0.04
// Time 0
// Time 0
// Time 0.02
// Time 0.01
// Time 0
// Time 0
// Time 0.02
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0.02
// Time 0
// Time 0.01
// Time 0.01
// Time 0.01
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
No checks were made for singular points of antiderivative -1/ln(t) for definite integration in [2,x]
// Time 0.01
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.02
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
// Time 0
// Time 0.05
// Time 0.01
// 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.43
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.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.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.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.02
// Time 0.01
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.23
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0

Temps mis pour l'évaluation: 3.27
// Time 3.28
// Total time 3.55
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
// Total time 0
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
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0.01
// Time 0
// Time 0.04
// Time 0
// Time 0.02
// Time 0
// Time 0.02
// Time 0
// Time 0.01
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0.02
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0

Temps mis pour l'évaluation: 1.98
// Time 1.98
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.02
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0

Temps mis pour l'évaluation: 1.42
// Time 1.42
// Time 0
// Time 0.01
// Total time 3.61
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.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.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
// 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.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.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
// 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.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.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.01
// Time 0
// Time 0
// Time 0
// Time 0.19
// 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.01
// 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.01
// Total time 0.39
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.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
mediatrices
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// 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.01
// 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
// 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
Feuerbach theorem
// 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
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.01
// Time 0
// Time 0
circle incircle de A,B,C, center
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0.01
// Time 0
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.02
// 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
// Time 0.01
// Time 0
// Time 0.04
// Time 0.05
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0.02
// Total time 0.24
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.01
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: 2.17
// Time 2.17
// Time 0.01
// Total time 2.19
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.01
// Time 0.05
// Time 0
// Time 0.01
// Time 0.05
// Time 0
// Time 0
// Time 0.04
// Time 0
// Time 0.01
// Time 0
// Time 0.33

Evaluation time: 0.66
// Time 0.66
Simplification assuming t near 0
Simplification assuming t near 0
Simplification assuming t near 0
Simplification assuming t near 0
// Time 0.2
Simplification assuming t near 0
Simplification assuming t near 0
Simplification assuming t near 0
Simplification assuming t near 0
// Time 0.35
// Total time 1.75
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.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
OK c'est un  carre
// Time 0
// Time 0
calcul du det 8x8 antisymetrique formel
// Time 0

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

Evaluation time: 1.17
// Time 1.17
// GCD eval dimension 27 4083662 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 4084072 [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= 4084945 0
Gb= 4085163 0
Find_good_eval 4085175 [-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= 4158394 %%%{13461,[2]%%%}+%%%{2905,[1]%%%}+%%%{12350,[0]%%%}
Gb= 4181259 %%%{13461,[1]%%%}+%%%{-13554,[0]%%%}
FOUND good eval4181279 [-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 4181318
lgcd(q) ok 27 4188830
Success q/lgcd(q) as gcd 27 4261275

Evaluation time: 0.67
// Time 0.67
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.01
// 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
// 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
// Time 0
// Total time 4.23
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.01
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.12
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0.04
// 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
// Total time 0.21
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
// 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
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// 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
// 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
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
// Time 0.02
// Time 0
// Time 0
// Time 0
// Time 0
0
0
0
0
0
0
0
0
0
// Time 0.07
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
0
0
0
0
// Time 0.11
// Time 0
// Time 0
// Time 0
// Time 0
0
// Time 0.08
// 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.01
// Time 0
// Time 0.02
  ***   Warning: increasing stack size to 2048000.
  *** _ZM_mul_worker: Warning: increasing stack size to 4096000.
// Time 0.14
// Time 0.19
// Time 0.15
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0.13
// Time 0.19
// Time 0.17
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0

Evaluation time: 0.48
// Time 0.48
// Time 0.16
// Time 0.21
// Time 0.12
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0.33
// Time 0
// Time 0
// Time 0

Evaluation time: 1.02
// Time 1.02
// Time 0
// 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
// Total time 3.66
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.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.07
// Time 0
// Time 0
// Time 0
// Time 0.05
// Time 0
// Time 0
// Time 0
// Time 0.06
// Time 0
// Time 0
// Time 0.16
// GCD eval dimension 24 500095 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 500262 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 500298 0
Gb= 500354 0
Find_good_eval 500369 [44,48,82,48,55,-65,-20,72,-86,-16,77,-46,-28,-28,23,-26,-46,-87,88,6,-16,14,69]
Fb= 500682 %%%{-48,[1]%%%}+%%%{106,[0]%%%}
Gb= 500930 %%%{-48,[1]%%%}+%%%{106,[0]%%%}
FOUND good eval500939 [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 500961
lgcd(p) ok 24 500999
Success p/lgcd(p) as gcd 24 501013
// GCD eval dimension 24 501594 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 501738 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 501766 0
Gb= 501785 0
Find_good_eval 501794 [71,-78,-74,81,-27,-87,81,-88,51,-8,68,48,-46,-59,-69,84,31,45,-28,99,84,56,-66]
Fb= 502667 %%%{9425,[1]%%%}+%%%{-1684,[0]%%%}
Gb= 503408 %%%{9425,[1]%%%}+%%%{-1684,[0]%%%}
FOUND good eval503418 [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 503442
lgcd(p) ok 24 503623
Success p/lgcd(p) as gcd 24 503659
// GCD eval dimension 24 505380 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 505530 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 505608 0
Gb= 505640 0
Find_good_eval 505654 [92,-31,-63,33,44,93,-37,-20,39,-4,-40,-48,10,-58,31,78,81,-22,10,-26,-97,37,-9]
Fb= 507385 %%%{12176,[1]%%%}+%%%{-12422,[0]%%%}
Gb= 508798 %%%{12176,[1]%%%}+%%%{-12422,[0]%%%}
FOUND good eval508809 [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 508837
lgcd(p) ok 24 508969
Success p/lgcd(p) as gcd 24 508995
// GCD eval dimension 24 510224 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 510373 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 510412 0
Gb= 510441 0
Find_good_eval 510452 [-54,60,89,77,-85,76,84,-5,64,-56,74,98,18,26,0,3,86,32,53,-39,32,45,79]
Fb= 511613 %%%{-8899,[1]%%%}+%%%{-1640,[0]%%%}
Gb= 513220 %%%{-8899,[1]%%%}+%%%{-1640,[0]%%%}
FOUND good eval513244 [-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 513280
lgcd(p) ok 24 513567
Success p/lgcd(p) as gcd 24 513589
// GCD eval dimension 24 514272 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 514434 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 514525 0
Gb= 514539 0
Find_good_eval 514552 [41,43,-31,42,-91,-77,-72,-7,6,-20,-40,81,-64,83,-68,-60,2,92,8,-70,-12,80,-96]
Fb= 515247 %%%{-42,[1]%%%}+%%%{2451,[0]%%%}
Gb= 516224 %%%{-42,[1]%%%}+%%%{2451,[0]%%%}
FOUND good eval516265 [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 516341
lgcd(p) ok 24 516417
Success p/lgcd(p) as gcd 24 516446
// GCD eval dimension 24 518761 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 518904 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 518942 0
Gb= 518962 0
Find_good_eval 518973 [-29,-95,-68,60,-66,8,34,-7,-21,-18,-46,11,70,-59,63,-86,67,0,-59,28,-36,-43,55]
Fb= 519695 %%%{6321,[1]%%%}+%%%{13148,[0]%%%}
Gb= 520660 %%%{6321,[1]%%%}+%%%{13148,[0]%%%}
FOUND good eval520677 [-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 520710
lgcd(p) ok 24 520853
Success p/lgcd(p) as gcd 24 520879
// GCD eval dimension 24 522179 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 522335 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 522386 0
Gb= 522418 0
Find_good_eval 522430 [-12,-71,-13,-93,-85,-18,93,-22,-43,-7,-3,46,85,31,84,-86,82,76,-49,-25,-65,15,-33]
Fb= 523904 %%%{14286,[1]%%%}+%%%{-13734,[0]%%%}
Gb= 525243 %%%{14286,[1]%%%}+%%%{-13734,[0]%%%}
FOUND good eval525252 [-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 525273
lgcd(p) ok 24 525388
Success p/lgcd(p) as gcd 24 525411
// GCD eval dimension 24 526903 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 527057 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 527102 0
Gb= 527132 0
Find_good_eval 527143 [-84,-49,-17,52,-13,-64,24,84,-65,8,-81,22,61,-16,-8,-16,-33,-6,-57,-32,63,73,13]
Fb= 528780 %%%{-13898,[1]%%%}+%%%{-11140,[0]%%%}
Gb= 531940 %%%{-13898,[1]%%%}+%%%{-11140,[0]%%%}
FOUND good eval531980 [-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 532040
lgcd(p) ok 24 532494
Success p/lgcd(p) as gcd 24 532572
// GCD eval dimension 24 533468 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 533625 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 533656 0
Gb= 533670 0
Find_good_eval 533681 [-3,-97,-13,89,-63,1,7,11,-47,-77,-14,87,-38,-37,13,-94,17,-70,45,77,-80,-85,75]
Fb= 533984 %%%{-89,[1]%%%}+%%%{-9760,[0]%%%}
Gb= 534264 %%%{-89,[1]%%%}+%%%{-9760,[0]%%%}
FOUND good eval534274 [-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 534296
lgcd(p) ok 24 534329
Success p/lgcd(p) as gcd 24 534342
// GCD eval dimension 24 534868 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 535004 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 535030 0
Gb= 535048 0
Find_good_eval 535056 [-92,-8,-33,-35,42,62,91,-55,63,26,66,-29,89,69,-50,-56,89,-63,61,-4,-97,-89,55]
Fb= 535746 %%%{-14180,[1]%%%}+%%%{2663,[0]%%%}
Gb= 536607 %%%{-14180,[1]%%%}+%%%{2663,[0]%%%}
FOUND good eval536621 [-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 536644
lgcd(p) ok 24 536748
Success p/lgcd(p) as gcd 24 536768
// GCD eval dimension 24 538216 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 538384 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 538445 0
Gb= 538477 0
Find_good_eval 538489 [30,-21,-65,-82,-62,5,7,87,-69,71,-44,44,-43,85,53,42,-95,-25,59,-68,96,-78,60]
Fb= 539859 %%%{-8336,[1]%%%}+%%%{-2316,[0]%%%}
Gb= 541493 %%%{-8336,[1]%%%}+%%%{-2316,[0]%%%}
FOUND good eval541525 [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 541555
lgcd(p) ok 24 541695
Success p/lgcd(p) as gcd 24 541720
// GCD eval dimension 24 542908 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 543056 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 543094 0
Gb= 543123 0
Find_good_eval 543133 [-22,-84,-1,40,-42,98,79,32,2,-92,39,-20,50,72,91,-18,-31,46,18,29,3,-41,-97]
Fb= 544793 %%%{8943,[1]%%%}+%%%{3549,[0]%%%}
Gb= 546726 %%%{8943,[1]%%%}+%%%{3549,[0]%%%}
FOUND good eval546765 [-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 546803
lgcd(p) ok 24 547086
Success p/lgcd(p) as gcd 24 547113
// GCD eval dimension 24 548093 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 548322 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 548387 0
Gb= 548433 0
Find_good_eval 548467 [-38,2,-51,-98,69,-52,72,50,45,-24,-63,28,32,-66,-52,62,23,85,72,-2,-3,-88,-42]
Fb= 549867 %%%{98,[1]%%%}+%%%{8523,[0]%%%}
Gb= 550521 %%%{98,[1]%%%}+%%%{8523,[0]%%%}
FOUND good eval550563 [-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 550802
lgcd(p) ok 24 550903
Success p/lgcd(p) as gcd 24 550927
// GCD eval dimension 24 552839 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 553007 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 553053 0
Gb= 553122 0
Find_good_eval 553135 [-96,-55,-34,-9,-29,-86,-35,1,-36,25,99,60,97,-56,8,-38,11,77,3,39,49,-80,-8]
Fb= 553827 %%%{-5977,[1]%%%}+%%%{12640,[0]%%%}
Gb= 554451 %%%{-5977,[1]%%%}+%%%{12640,[0]%%%}
FOUND good eval554459 [-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 554480
lgcd(p) ok 24 554571
Success p/lgcd(p) as gcd 24 554597
// GCD eval dimension 24 555627 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 555818 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 555863 0
Gb= 555890 0
Find_good_eval 555901 [-96,87,35,14,-15,40,39,65,-63,-42,-12,14,51,-33,71,-83,-85,11,52,33,-80,76,14]
Fb= 557143 %%%{3414,[1]%%%}+%%%{-11024,[0]%%%}
Gb= 558319 %%%{3414,[1]%%%}+%%%{-11024,[0]%%%}
FOUND good eval558329 [-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 558352
lgcd(p) ok 24 558500
Success p/lgcd(p) as gcd 24 558523
// GCD eval dimension 24 559549 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 559693 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 559730 0
Gb= 559756 0
Find_good_eval 559767 [-33,-32,-27,-64,-69,46,-38,97,-52,64,89,94,26,-27,20,-27,57,24,19,-14,-32,-82,79]
Fb= 561252 %%%{-7276,[1]%%%}+%%%{-10294,[0]%%%}
Gb= 562460 %%%{-7276,[1]%%%}+%%%{-10294,[0]%%%}
FOUND good eval562472 [-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 562503
lgcd(p) ok 24 562934
Success p/lgcd(p) as gcd 24 562976
// GCD eval dimension 24 564299 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 564491 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 564540 0
Gb= 564556 0
Find_good_eval 564568 [58,81,-88,-45,12,-32,-20,-40,-77,-21,2,-43,22,43,-79,-92,-3,-93,97,18,-21,73,-15]
Fb= 565112 %%%{45,[1]%%%}+%%%{11095,[0]%%%}
Gb= 565385 %%%{45,[1]%%%}+%%%{11095,[0]%%%}
FOUND good eval565445 [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 565488
lgcd(p) ok 24 565574
Success p/lgcd(p) as gcd 24 565593
// GCD eval dimension 24 566754 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 566940 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 566984 0
Gb= 567010 0
Find_good_eval 567023 [-4,-46,-60,79,3,-82,-13,-64,65,-72,77,2,80,44,-33,18,97,71,41,20,-42,71,97]
Fb= 568014 %%%{-78,[1]%%%}+%%%{-10815,[0]%%%}
Gb= 569006 %%%{-78,[1]%%%}+%%%{-10815,[0]%%%}
FOUND good eval569023 [-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 569052
lgcd(p) ok 24 569273
Success p/lgcd(p) as gcd 24 569311
// GCD eval dimension 24 570437 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 570654 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 570705 0
Gb= 570737 0
Find_good_eval 570749 [-65,22,-4,-8,-94,40,-94,51,37,69,48,59,-92,-84,-59,-80,72,21,32,2,-43,-99,-71]
Fb= 572336 %%%{-3999,[1]%%%}+%%%{263,[0]%%%}
Gb= 573745 %%%{-3999,[1]%%%}+%%%{263,[0]%%%}
FOUND good eval573755 [-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 573781
lgcd(p) ok 24 573902
Success p/lgcd(p) as gcd 24 573924
// GCD eval dimension 24 575061 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 575209 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 575247 0
Gb= 575276 0
Find_good_eval 575286 [16,19,34,-59,-77,-5,-94,80,-82,44,18,-19,-38,1,49,-57,-23,-97,68,-33,21,-43,-38]
Fb= 577065 %%%{-12447,[1]%%%}+%%%{8824,[0]%%%}
Gb= 578429 %%%{-12447,[1]%%%}+%%%{8824,[0]%%%}
FOUND good eval578439 [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 578469
lgcd(p) ok 24 579028
Success p/lgcd(p) as gcd 24 579104
// GCD eval dimension 24 580169 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 580323 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 580363 0
Gb= 580379 0
Find_good_eval 580390 [-3,-4,-83,-8,-38,29,40,-81,-28,-37,-94,39,18,24,-58,14,-99,-66,65,-98,-18,-81,22]
Fb= 580706 %%%{8,[1]%%%}+%%%{6434,[0]%%%}
Gb= 581219 %%%{8,[1]%%%}+%%%{6434,[0]%%%}
FOUND good eval581256 [-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 581323
lgcd(p) ok 24 581393
Success p/lgcd(p) as gcd 24 581434
// GCD eval dimension 24 583737 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 584053 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 584174 0
Gb= 584201 0
Find_good_eval 584219 [73,9,30,75,38,-39,85,33,-4,-70,15,2,72,-32,97,-71,93,80,-3,-64,-13,-73,-15]
Fb= 585264 %%%{9638,[1]%%%}+%%%{-8268,[0]%%%}
Gb= 586114 %%%{9638,[1]%%%}+%%%{-8268,[0]%%%}
FOUND good eval586131 [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 586163
lgcd(p) ok 24 586295
Success p/lgcd(p) as gcd 24 586322
// GCD eval dimension 24 587986 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 588135 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 588185 0
Gb= 588258 0
Find_good_eval 588271 [40,82,-30,57,-86,73,-42,-28,94,84,33,-8,21,-98,-4,36,4,19,92,-77,-22,63,75]
Fb= 589652 %%%{-2640,[1]%%%}+%%%{-11891,[0]%%%}
Gb= 591027 %%%{-2640,[1]%%%}+%%%{-11891,[0]%%%}
FOUND good eval591037 [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 591059
lgcd(p) ok 24 591178
Success p/lgcd(p) as gcd 24 591203
// GCD eval dimension 24 592326 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 592486 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Fb= 592526 0
Gb= 592554 0
Find_good_eval 592564 [91,90,38,-42,-11,-20,-27,64,92,60,-6,67,43,-20,14,-38,-55,51,-96,32,64,-90,-85]
Fb= 594106 %%%{-8088,[1]%%%}+%%%{-13268,[0]%%%}
Gb= 596240 %%%{-8088,[1]%%%}+%%%{-13268,[0]%%%}
FOUND good eval596262 [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 596363
lgcd(p) ok 24 596864
Success p/lgcd(p) as gcd 24 596894
// Time 0.1
// Time 0.01
// Time 0
// Time 0
// Time 0.05
// Time 0.05
// Time 0.24
// Time 0.14
// 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.01
// Time 0
// Time 0.01
// Time 0.02
// Time 0
// Time 0.05
// Time 0.06
// Time 0
// Time 0.01
// Time 0.05
// Total time 1.16
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.22
// Time 0
// Time 0
// Time 0.01
// Time 0.01
// Time 0.37
// Time 0.25
// Time 0.08
// Time 0.4
pcar OK
// Time 0
pcar OK
// Time 0.01
// Time 0.04
// Time 0.08
// Time 0
// Time 0
// Time 0
// Time 0.06
// Time 0.08
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// 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 1.62
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.01
// Time 0
// Time 0
// Time 0.01
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.01
// 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.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// 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.94
// Time 0.94
// Time 0
// 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: 2.51
// Time 2.51
// Total time 3.58
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
// 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
// Time 0
// Time 0.01
// Time 0
// Time 0.02
// 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.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.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.06
// Time 0
// Time 0
// Time 0
// Total time 0.18
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.26
// Time 0.13
// Time 0.13
// Time 0
// Time 0
// Time 0.28
// 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.81
// Time 1.81
// 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
ca fait bien p-1
// 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.02
// Time 0
// Time 0
// Time 0.02
// Time 0
// Time 0.25
// Time 0.25
// Time 0.21
// Time 0
// Time 0.22
// Time 0.12
// Time 0.13
// Time 0
// Time 0
// 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.86
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.04
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.03
i_i_:64
// Time 0
// Time 0.02
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.02
// 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
// 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
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
ca marche
// Time 0
// Total time 0.17
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.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.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.02
// Time 0
// Time 0.01
// Total time 0.06
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.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
facteurs multiples,2
facteurs multiples,3
facteurs multiples,11
facteurs multiples,13
facteurs multiples,19
facteurs multiples,23
// Time 0.06
// Time 0
// Time 0
// Time 0.02
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
f est irred
// Time 0.01
// 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.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
// Time 0
// Time 0.01
// Time 0
// Time 0
// Total time 0.13
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
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// 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
Ellipsis of center (-50/7,17/2)
// 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
// 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.01
// Time 0
// Time 0
// Total time 0.05
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.01
// Time 0
// 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.06
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Groebner basis computation time 0.00455 Memory 58.624M
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.22
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.06
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// 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.06
// 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
// 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
// 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.000469 Memory 60.824M
// Time 0.3
// 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
// Groebner basis computation time 9.5e-05 Memory 60.936M
Singular points directions: [cell_i, cell_j, singularity, next solution] []
// Time 0.06
// Total time 0.82
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
// Time 0
// Time 0
// Groebner basis computation time 0.000178 Memory 57.284M
Warning! Could not loop or reach boundaries 
Warning! Could not loop or reach boundaries 
Warning! Could not loop or reach boundaries 
// Time 0.11
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
c'est bon, le point trouve est bien sur la cubique
// Time 0.01
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0
// Groebner basis computation time 0.000762 Memory 59.172M
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
// 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.16
// Time 0.01
// Time 0
// Time 0.01
// Time 0
// 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.01
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0.01
c'est bien de degre 27
// Time 0
// Total time 0.39
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
// Groebner basis computation time 0.000546 Memory 56.148M
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.31
// Time 0
// Time 0
// Time 0
// Time 0.01
// 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.21
// 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
// Total time 0.55
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
// Time 0
// 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
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.02
// Groebner basis computation time 0.000247 Memory 58.332M
Singular points directions: [cell_i, cell_j, singularity, next solution] []
// Time 0.1
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0.02
// Time 0
// Time 0
// Time 0
// Time 0
// Groebner basis computation time 0.000635 Memory 59.724M
// Time 0
// Time 0.01
// Time 0.01
// 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
// Total time 0.18
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
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0.02
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.03
// Time 0
// Time 0
// Time 0.01
// 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
// Time 0
// Time 0.04
// Time 0.08
// Time 0
// Time 0
// Time 0.01
// Total time 0.2
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.05
// Time 15.05
// 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
// 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.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.02
// Time 0
// Total time 15.12
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.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
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.01
// Time 0
// Time 0
// Time 0
// 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
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
// 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
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.01
// Time 0.02
// Time 0.02
// Total time 0.09
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.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
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
// Time 0
// Time 0
// Time 0
// Time 0
// Time 0.01
// Time 0
// Time 0.01
// Time 0
// Time 0
// Time 0
// Time 0.07
// 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
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.01
// Time 0
// Time 0
// Time 0.02
// Time 0
// Total time 0.16
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.9.0/check »
make: *** [Makefile:472: check-am] Error 2
