1.1 --- a/test/Tools/isac/Knowledge/gcd_poly.sml	Fri May 31 17:49:34 2013 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/gcd_poly.sml	Fri May 31 17:50:33 2013 +0200
     1.3 @@ -391,7 +391,7 @@
     1.4  "----------- fun gcd_up ---------------------------------";
     1.5  "----------- fun gcd_up ---------------------------------";
     1.6  "----------- fun gcd_up ---------------------------------";
     1.7 -(* output from changeset 
     1.8 +(* output from changeset cf55b1438731
     1.9  try_new_prime_up: a = [~18, ~15, ~20, 12, 20, ~13, 2], b = [8, 28, 22, ~11, ~14, 1, 2], 
    1.10  d = 2, M = 10240, P = 12597, g = [~1, 1, ~1], p = 19 
    1.11  try_new_prime_up 1 -----> [~1, 1, ~1] *)
    1.12 @@ -402,7 +402,7 @@
    1.13  if try_new_prime_up a b d M P g p = [~1, 1, ~1] 
    1.14    then () else error "try_new_prime_up changed";
    1.15  
    1.16 -(* output from changeset 
    1.17 +(* output from changeset cf55b1438731
    1.18  try_new_prime_up: a = [~18, ~15, ~20, 12, 20, ~13, 2], b = [8, 28, 22, ~11, ~14, 1, 2], 
    1.19  d = 2, M = 10240, P = 96577, g = [~4, ~2, 2], p = 23 
    1.20  try_new_prime_up 1 -----> [~4, ~2, 2] *)