diff -r 716f399db0a5 -r d4ebe139100d test/Tools/isac/Knowledge/poly-1.sml
--- a/test/Tools/isac/Knowledge/poly-1.sml	Thu Sep 16 12:23:57 2021 +0200
+++ b/test/Tools/isac/Knowledge/poly-1.sml	Thu Sep 16 17:23:54 2021 +0200
@@ -362,7 +362,7 @@
 "~~~~~~~~~~~~~~~ fun monom_degree , args:"; val (l) = (eee1);
 "~~~~~ fun counter , args:"; val (n, x :: xs) = (0, l); (*--------------------------OPEN local\* )
 	    (*if*) (is_nums x) (*else*);
-  val (Const (\<^const_name>\<open>powr\<close>, _) $ Free _ $ t) =
+  val (Const (\<^const_name>\<open>realpow\<close>, _) $ Free _ $ t) =
       (*case*) x (*of*); 
 (*+*)UnparseC.term x = "x \<up> 2";
             (*if*) TermC.is_num t (*then*);
@@ -370,7 +370,7 @@
            counter (t |> HOLogic.dest_number |> snd |> curry op + n, xs);
 "~~~~~ fun counter , args:"; val (n, x :: xs) = (t |> HOLogic.dest_number |> snd |> curry op + n, xs);
 	    (*if*) (is_nums x) (*else*);
-  val (Const (\<^const_name>\<open>powr\<close>, _) $ Free _ $ t) =
+  val (Const (\<^const_name>\<open>realpow\<close>, _) $ Free _ $ t) =
       (*case*) x (*of*); 
 (*+*)UnparseC.term x = "y \<up> 2";
             (*if*) TermC.is_num t (*then*);
@@ -385,7 +385,7 @@
 "~~~~~~~~~~~~~~~ fun monom_degree , args:"; val (l) = (eee2);
 "~~~~~ fun counter , args:"; val (n, x :: xs) = (0, l); (*--------------------------OPEN local\* )
 	    (*if*) (is_nums x) (*else*);
-val (Const (\<^const_name>\<open>powr\<close>, _) $ Free _ $ t) =
+val (Const (\<^const_name>\<open>realpow\<close>, _) $ Free _ $ t) =
       (*case*) x (*of*); 
 (*+*)UnparseC.term x = "x \<up> 3";
             (*if*) TermC.is_num t (*then*);