1.1 --- a/doc-isac/mat-eng-en.tex	Sun Oct 09 07:44:22 2022 +0200
     1.2 +++ b/doc-isac/mat-eng-en.tex	Sun Oct 09 09:01:29 2022 +0200
     1.3 @@ -33,7 +33,7 @@
     1.4  %"----------- eval_sort -------------------------------------------";
     1.5  %"----------- eval_sort -------------------------------------------";
     1.6  %"----------- eval_sort -------------------------------------------";
     1.7 -%val ts = str2term "[c_2 = 0, -1 * (q_0 * L ^^^ 2) / 2 + (L * c + c_2) = 0]";
     1.8 +%val ts = TermC.parse_test @{context} "[c_2 = 0, -1 * (q_0 * L ^^^ 2) / 2 + (L * c + c_2) = 0]";
     1.9  %val ts' = sort (ord_simplify_Integral_ false (assoc_thy"Isac.thy") [])
    1.10  %              (isalist2list ts);
    1.11  %terms2str ts';
    1.12 @@ -41,7 +41,7 @@
    1.13  %if term2str ts'' = "[-1 * (q_0 * L ^^^ 2) / 2 + (L * c + c_2) = 0, c_2 = 0]"
    1.14  %then () else raise error "eqsystem.sml eval_sort 1";
    1.15  %
    1.16 -%val t = str2term "order_system [c_2 = 0,\
    1.17 +%val t = TermC.parse_test @{context} "order_system [c_2 = 0,\
    1.18  %                \-1 * (q_0 * L ^^^ 2) / 2 + (L * c + c_2) = 0]";
    1.19  %val Some (str,_) = eval_order_system "" "EqSystem.order'_system" t "";
    1.20  %if str = "order_system [c_2 = 0, -1 * (q_0 * L ^^^ 2) / 2 + (L * c + c_2) = 0] = [-1 * (q_0 * L ^^^ 2) / 2 + (L * c + c_2) = 0, c_2 = 0]" then ()