1.1 --- a/src/smltest/IsacKnowledge/eqsystem.sml	Thu Sep 07 16:46:30 2006 +0200
     1.2 +++ b/src/smltest/IsacKnowledge/eqsystem.sml	Fri Sep 08 09:02:48 2006 +0200
     1.3 @@ -25,6 +25,7 @@
     1.4  "----------- refine [2x2,linear,system] search error--------------";
     1.5  "----------- me [EqSystem,normalize,2x2] -------------------------";
     1.6  "----------- me [linear,system] ..normalize..top_down_sub..-------";
     1.7 +"----------- all systems from Biegelinie -------------------------";
     1.8  "-----------------------------------------------------------------";
     1.9  "-----------------------------------------------------------------";
    1.10  "-----------------------------------------------------------------";
    1.11 @@ -953,6 +954,27 @@
    1.12    | _ => raise error "eqsystem.sml me [EqSys...2x2] finished End_Proof'" b;
    1.13  
    1.14  
    1.15 +"----------- all systems from Biegelinie -------------------------";
    1.16 +"----------- all systems from Biegelinie -------------------------";
    1.17 +"----------- all systems from Biegelinie -------------------------";
    1.18 +"----- Bsp 7.27";
    1.19 +states:=[];
    1.20 +CalcTree [(["Traegerlaenge L","Streckenlast q_0","Biegelinie y",
    1.21 +	     "Randbedingungen [y 0 = 0, y L = 0, M_b 0 = 0, M_b L = 0]",
    1.22 +	     "FunktionsVariable x"],
    1.23 +	    ("Biegelinie.thy", ["Biegelinien"],
    1.24 +		     ["IntegrierenUndKonstanteBestimmen2"]))];
    1.25 +moveActiveRoot 1;
    1.26 +trace_script := true;
    1.27 +trace_script := false;
    1.28 +(*
    1.29 +autoCalculate 1 CompleteCalc; 
    1.30 +*)
    1.31 +
    1.32 +
    1.33 +
    1.34 +
    1.35 +
    1.36  (*
    1.37  use"../smltest/IsacKnowledge/eqsystem.sml";
    1.38  use"eqsystem.sml";