n10-L3-f4-r13-t3-ver2.7GCD.txt p=1621 t0=1 g=2 Criterion for t0+1<=t<=f is applied. at j0=0: G(t,j0,r)= T^2+6 T+8 current gcd= T+4 at j0=1: G(t,j0,r)= 6 T^2+7 T+5 current gcd= 1 result=O: deg GCD == 0. code version 2.6GCD start=Fri 20 Oct 2023 14:28:19 end =Fri 20 Oct 2023 14:28:19 elapsed(sec)=0.010058