14 "----------- rewrite in [EqSystem,top_down_substitution,2x2] -----"; |
14 "----------- rewrite in [EqSystem,top_down_substitution,2x2] -----"; |
15 "----------- rewrite in [EqSystem,normalise,4x4] -----------------"; |
15 "----------- rewrite in [EqSystem,normalise,4x4] -----------------"; |
16 "----------- script [EqSystem,top_down_substitution,2x2] Vers.1 --"; |
16 "----------- script [EqSystem,top_down_substitution,2x2] Vers.1 --"; |
17 "----------- refine [linear,system]-------------------------------"; |
17 "----------- refine [linear,system]-------------------------------"; |
18 "----------- refine [2x2,linear,system] search error--------------"; |
18 "----------- refine [2x2,linear,system] search error--------------"; |
19 "----------- me [EqSystem,normalise,2x2] -------------------------"; |
19 (*^^^--- eqsystem-1.sml #####################################################################*) |
20 (*^^^--- eqsystem-1.sml ######### together exceed resources here, but not in Test_Isac.thy ##### |
20 "----------- me [EqSystem,normalise,2x2], refine Subproblem ------------------------------------"; |
21 vvv--- eqsystem-2.sml ######### together exceed resources here, but not in Test_Isac.thy #####*) |
21 (*^^^--- eqsystem-1a.sml ##################################################################### |
|
22 vvv--- eqsystem-2.sml #####################################################################*) |
22 "----------- me [linear,system] ..normalise..top_down_sub..-------"; |
23 "----------- me [linear,system] ..normalise..top_down_sub..-------"; |
23 "----------- all systems from Biegelinie -------------------------"; |
24 "----------- all systems from Biegelinie -------------------------"; |
24 "----------- 4x4 systems from Biegelinie -------------------------"; |
25 "----------- 4x4 systems from Biegelinie -------------------------"; |
25 "-----------------------------------------------------------------"; |
26 "-----------------------------------------------------------------"; |
26 "-----------------------------------------------------------------"; |
27 "-----------------------------------------------------------------"; |