1.1 --- a/test/Tools/isac/Knowledge/polyminus.sml	Thu Aug 22 10:27:02 2019 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyminus.sml	Thu Aug 22 11:26:14 2019 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(* tests on PolyMinus
     1.5 +(* title:  Knowledge/polyminus.sml
     1.6     author: Walther Neuper
     1.7     WN071207,
     1.8     (c) due to copyright terms
     1.9 @@ -352,8 +352,8 @@
    1.10  "----------- pbl polynom probe -----------------------------------";
    1.11  reset_states ();
    1.12  CalcTree [(["Pruefe ((5::int)*e + 6*f - 8*g - 9 - 7*e - 4*f + 10*g + 12 =\
    1.13 -	    \3 - 2 * e + 2 * f + 2 * g)",
    1.14 -	    "mitWert [e = 1, f = 2, g = 3]",
    1.15 +	    \3 - 2 * e + 2 * f + 2 * (g::int))",
    1.16 +	    "mitWert [e = (1::int), f = (2::int), g = (3::int)]",
    1.17  	    "Geprueft b"],
    1.18  	   ("PolyMinus",["polynom","probe"],
    1.19  	    ["probe","fuer_polynom"]))];
    1.20 @@ -388,8 +388,8 @@
    1.21  
    1.22  "======= probe p.34 -----";
    1.23  reset_states ();
    1.24 -CalcTree [(["Pruefe (2*u - 5 - (3 - 4*u) + (8*u + 9) = 1 + 14 * u)",
    1.25 -	    "mitWert [u = 2]",
    1.26 +CalcTree [(["Pruefe (2*u - 5 - (3 - 4*u) + (8*u + 9) = 1 + 14 * (u::int))",
    1.27 +	    "mitWert [u = (2::int)]",
    1.28  	    "Geprueft b"],
    1.29  	   ("PolyMinus",["polynom","probe"],
    1.30  	    ["probe","fuer_polynom"]))];