n1-L3-f4-r7-t3-ver2.7GCD.txt p=163 t0=1 g=2 Criterion for t0+1<=t<=f is applied. at j0=0: G(t,j0,r)= 6 T^2+5 T+3 current gcd= T+3 at j0=1: G(t,j0,r)= 2 T^2+1 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.008208