1 (* Title: Knowledge/eqsystem-1a.sml |
1 (* Title: Knowledge/eqsystem-1a.sml |
2 author: Walther Neuper 050826, |
2 author: Walther Neuper 050826, |
3 *) |
3 *) |
4 |
4 |
5 "-----------------------------------------------------------------"; |
5 "-----------------------------------------------------------------------------------------------"; |
6 "table of contents -----------------------------------------------"; |
6 "table of contents -----------------------------------------------------------------------------"; |
7 "-----------------------------------------------------------------"; |
7 "-----------------------------------------------------------------------------------------------"; |
8 "----------- occur_exactly_in ------------------------------------"; |
8 "----------- occur_exactly_in ---------------------------------------------------equsystem-1.sml"; |
9 "----------- problems --------------------------------------------"; |
9 "----------- problems -----------------------------------------------------------equsystem-1.sml"; |
10 "----------- rewrite-order ord_simplify_System -------------------"; |
10 "----------- rewrite-order ord_simplify_System ----------------------------------equsystem-1.sml"; |
11 "----------- rewrite in [EqSystem,normalise,2x2] -----------------"; |
11 "----------- rewrite in [EqSystem,normalise,2x2] --------------------------------equsystem-1.sml"; |
12 "----------- rewrite example from 2nd [EqSystem,normalise,2x2] ---"; |
12 "----------- rewrite example from 2nd [EqSystem,normalise,2x2] ------------------equsystem-1.sml"; |
13 "----------- rewrite in [EqSystem,top_down_substitution,2x2] -----"; |
13 "----------- rewrite in [EqSystem,top_down_substitution,2x2] --------------------equsystem-1.sml"; |
14 "----------- rewrite in [EqSystem,normalise,4x4] -----------------"; |
14 "----------- rewrite in [EqSystem,normalise,4x4] --------------------------------equsystem-1.sml"; |
15 "----------- script [EqSystem,top_down_substitution,2x2] Vers.1 --"; |
15 "----------- script [EqSystem,top_down_substitution,2x2] Vers.1 -----------------equsystem-1.sml"; |
16 "----------- refine [linear,system]-------------------------------"; |
16 "----------- refine [linear,system]----------------------------------------------equsystem-1.sml"; |
17 "----------- refine [2x2,linear,system] search error--------------"; |
17 "----------- refine [2x2,linear,system] search error-----------------------------equsystem-1.sml"; |
18 (*^^^--- eqsystem-1.sml #####################################################################*) |
18 "----------- me [EqSystem,normalise,2x2], refine Subproblem ---------------------equsystem-1.sml"; |
19 "----------- me [EqSystem,normalise,2x2], refine Subproblem ------------------------------------"; |
19 "----------- me [EqSystem,normalise,2x2], refine Subproblem, step into istate---equsystem-1a.sml"; |
20 (*^^^--- eqsystem-1a.sml ##################################################################### |
20 "----------- me [linear,system] ..normalise..top_down_sub..----------------------equsystem-2.sml"; |
21 vvv--- eqsystem-2.sml #####################################################################*) |
21 "----------- all systems from Biegelinie ----------------------------------------equsystem-2.sml"; |
22 "----------- me [linear,system] ..normalise..top_down_sub..-------"; |
22 "----------- 4x4 systems from Biegelinie ----------------------------------------equsystem-2.sml"; |
23 "----------- all systems from Biegelinie -------------------------"; |
23 "-----------------------------------------------------------------------------------------------"; |
24 "----------- 4x4 systems from Biegelinie -------------------------"; |
24 "-----------------------------------------------------------------------------------------------"; |
25 "-----------------------------------------------------------------"; |
25 "-----------------------------------------------------------------------------------------------"; |
26 "-----------------------------------------------------------------"; |
26 |
27 "-----------------------------------------------------------------"; |
27 |
28 |
28 "----------- me [EqSystem,normalise,2x2], refine Subproblem, step into istate---equsystem-1a.sml"; |
29 |
29 "----------- me [EqSystem,normalise,2x2], refine Subproblem, step into istate---equsystem-1a.sml"; |
30 "----------- me [EqSystem,normalise,2x2], refine Subproblem ------------------------------------"; |
30 "----------- me [EqSystem,normalise,2x2], refine Subproblem, step into istate---equsystem-1a.sml"; |
31 "----------- me [EqSystem,normalise,2x2], refine Subproblem ------------------------------------"; |
|
32 "----------- me [EqSystem,normalise,2x2], refine Subproblem ------------------------------------"; |
|
33 val fmz = ["equalities [0 = - 1 * q_0 * 0 \<up> 2 / 2 + 0 * c + c_2,\ |
31 val fmz = ["equalities [0 = - 1 * q_0 * 0 \<up> 2 / 2 + 0 * c + c_2,\ |
34 \0 = - 1 * q_0 * L \<up> 2 / 2 + L * c + c_2]", |
32 \0 = - 1 * q_0 * L \<up> 2 / 2 + L * c + c_2]", |
35 "solveForVars [c, c_2]", "solution LL"]; |
33 "solveForVars [c, c_2]", "solution LL"]; |
36 val (dI',pI',mI') = |
34 val (dI',pI',mI') = |
37 ("Biegelinie",["normalise", "2x2", "LINEAR", "system"], |
35 ("Biegelinie",["normalise", "2x2", "LINEAR", "system"], |