1.1 --- a/test/Tools/isac/Knowledge/gcd_poly_ml.sml	Tue Jun 01 15:41:23 2021 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/gcd_poly_ml.sml	Sat Jul 03 16:21:07 2021 +0200
     1.3 @@ -1,8 +1,6 @@
     1.4 -(* Title: test/../rational2
     1.5 +(* Title: test/Knowledge/gec_poly_ml.sml
     1.6     Author: Diana Meindl
     1.7     Copyright (c) Diana Meindl 2011
     1.8 -12345678901234567890123456789012345678901234567890123456789012345678901234567890
     1.9 -        10        20        30        40        50        60        70        80
    1.10  *)
    1.11  
    1.12  (*fun nth _ []      = error "nth _ []" (*Isabelle2002, still saved the hours of update*)
    1.13 @@ -493,7 +491,7 @@
    1.14  "----------- fun add_monoms -----------------------------";
    1.15  "----------- fun add_monoms -----------------------------";
    1.16  "----------- fun add_monoms -----------------------------";
    1.17 -if add_monoms [(~3,[0,0]),(4,[0,0]),(3,[1,1]),(~3,[1,1]),(2,[1,2]),(~3,[1,2])] = 
    1.18 +if add_monoms [(~3,[0,0]), (4,[0,0]), (3,[1,1]), (~3,[1,1]), (2,[1,2]), (~3,[1,2])] = 
    1.19    [(1, [0, 0]), (~1, [1, 2])] 
    1.20  then () else error ("add_monoms [(~3,[0,0]),(4,[0,0]),(3,[1,1]),(~3,[1,1]),(2,[1,2]),(~3,[1,2])] " ^
    1.21    "= [(1, [0, 0]), (~1, [1, 2])] changed")