1.1 --- a/test/Tools/isac/Knowledge/eqsystem-1a.sml	Sun Oct 09 09:01:29 2022 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/eqsystem-1a.sml	Wed Oct 19 10:43:04 2022 +0200
     1.3 @@ -2,34 +2,32 @@
     1.4     author: Walther Neuper 050826,
     1.5  *)
     1.6  
     1.7 -"-----------------------------------------------------------------";
     1.8 -"table of contents -----------------------------------------------";
     1.9 -"-----------------------------------------------------------------";
    1.10 -"----------- occur_exactly_in ------------------------------------";
    1.11 -"----------- problems --------------------------------------------";
    1.12 -"----------- rewrite-order ord_simplify_System -------------------";
    1.13 -"----------- rewrite in [EqSystem,normalise,2x2] -----------------";
    1.14 -"----------- rewrite example from 2nd [EqSystem,normalise,2x2] ---";
    1.15 -"----------- rewrite in [EqSystem,top_down_substitution,2x2] -----";
    1.16 -"----------- rewrite in [EqSystem,normalise,4x4] -----------------";
    1.17 -"----------- script [EqSystem,top_down_substitution,2x2] Vers.1 --";
    1.18 -"----------- refine [linear,system]-------------------------------";
    1.19 -"----------- refine [2x2,linear,system] search error--------------";
    1.20 -(*^^^--- eqsystem-1.sml  #####################################################################*)
    1.21 -"----------- me [EqSystem,normalise,2x2], refine Subproblem ------------------------------------";
    1.22 -(*^^^--- eqsystem-1a.sml #####################################################################
    1.23 -  vvv--- eqsystem-2.sml  #####################################################################*)
    1.24 -"----------- me [linear,system] ..normalise..top_down_sub..-------";
    1.25 -"----------- all systems from Biegelinie -------------------------";
    1.26 -"----------- 4x4 systems from Biegelinie -------------------------";
    1.27 -"-----------------------------------------------------------------";
    1.28 -"-----------------------------------------------------------------";
    1.29 -"-----------------------------------------------------------------";
    1.30 +"-----------------------------------------------------------------------------------------------";
    1.31 +"table of contents -----------------------------------------------------------------------------";
    1.32 +"-----------------------------------------------------------------------------------------------";
    1.33 +"----------- occur_exactly_in ---------------------------------------------------equsystem-1.sml";
    1.34 +"----------- problems -----------------------------------------------------------equsystem-1.sml";
    1.35 +"----------- rewrite-order ord_simplify_System ----------------------------------equsystem-1.sml";
    1.36 +"----------- rewrite in [EqSystem,normalise,2x2] --------------------------------equsystem-1.sml";
    1.37 +"----------- rewrite example from 2nd [EqSystem,normalise,2x2] ------------------equsystem-1.sml";
    1.38 +"----------- rewrite in [EqSystem,top_down_substitution,2x2] --------------------equsystem-1.sml";
    1.39 +"----------- rewrite in [EqSystem,normalise,4x4] --------------------------------equsystem-1.sml";
    1.40 +"----------- script [EqSystem,top_down_substitution,2x2] Vers.1 -----------------equsystem-1.sml";
    1.41 +"----------- refine [linear,system]----------------------------------------------equsystem-1.sml";
    1.42 +"----------- refine [2x2,linear,system] search error-----------------------------equsystem-1.sml";
    1.43 +"----------- me [EqSystem,normalise,2x2], refine Subproblem ---------------------equsystem-1.sml";
    1.44 +"----------- me [EqSystem,normalise,2x2], refine Subproblem, step into istate---equsystem-1a.sml";
    1.45 +"----------- me [linear,system] ..normalise..top_down_sub..----------------------equsystem-2.sml";
    1.46 +"----------- all systems from Biegelinie ----------------------------------------equsystem-2.sml";
    1.47 +"----------- 4x4 systems from Biegelinie ----------------------------------------equsystem-2.sml";
    1.48 +"-----------------------------------------------------------------------------------------------";
    1.49 +"-----------------------------------------------------------------------------------------------";
    1.50 +"-----------------------------------------------------------------------------------------------";
    1.51  
    1.52  
    1.53 -"----------- me [EqSystem,normalise,2x2], refine Subproblem ------------------------------------";
    1.54 -"----------- me [EqSystem,normalise,2x2], refine Subproblem ------------------------------------";
    1.55 -"----------- me [EqSystem,normalise,2x2], refine Subproblem ------------------------------------";
    1.56 +"----------- me [EqSystem,normalise,2x2], refine Subproblem, step into istate---equsystem-1a.sml";
    1.57 +"----------- me [EqSystem,normalise,2x2], refine Subproblem, step into istate---equsystem-1a.sml";
    1.58 +"----------- me [EqSystem,normalise,2x2], refine Subproblem, step into istate---equsystem-1a.sml";
    1.59  val fmz = ["equalities [0 = - 1 * q_0 * 0 \<up> 2 / 2 + 0 * c + c_2,\
    1.60  	               \0 = - 1 * q_0 * L \<up> 2 / 2 + L * c + c_2]", 
    1.61  	   "solveForVars [c, c_2]", "solution LL"];