> f := 64*s^8*(x-1)^3*(9*x^2-6*s^2*x-28*s*x+s^4-12*s^3+36*s^2)/(9*x^3-6*s^2*x^2-36*s*x^2+s^4*x-4*s^3*x+60*s^2*x+8*s^4-32*s^3)^3/x; 8 3 4 3 2 2 2 64 s (x - 1) (s - 12 s - 6 s x + 36 s - 28 s x + 9 x ) f := ---------------------------------------------------------------------- 4 4 3 2 2 3 2 2 3 3 (s x + 8 s - 4 s x - 6 s x - 32 s + 60 s x - 36 s x + 9 x ) x > tvalue(f); 8 4 3125 s (s - 9) (3 s - 2) ---------------------------------------------- 4 3 2 3 2 4 (s - 4) (s - 9 s + 324 s - 216) (s - 1) > SpecialValues(f); 3 2 {s - 9, s - 4, s - 3/2, s - 2/3, s - 9 s + 324 s - 216, 6 5 4 3 2 s - 18 s - 591 s + 6496 s - 35136 s + 41472 s - 13824} > IsGapFree(f); true