n1-L3-f5-r7-t4-ver2.7GCD.txt p=487 t0=1 g=3 Criterion for t0+1<=t<=f is applied. at j0=0: G(t,j0,r)= T^2+5 T+6 current gcd= T+3 at j0=1: G(t,j0,r)= 5 T^2+6 T+3 current gcd= 1 result=O: deg GCD == 0. code version 2.6GCD start=Fri 20 Oct 2023 14:20:59 end =Fri 20 Oct 2023 14:20:59 elapsed(sec)=0.007412