test/Tools/isac/Knowledge/algein.sml
changeset 60571 19a172de0bb5
parent 60567 bb3140a02f3d
child 60586 007ef64dbb08
     1.1 --- a/test/Tools/isac/Knowledge/algein.sml	Wed Oct 19 15:39:15 2022 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/algein.sml	Thu Oct 20 10:23:38 2022 +0200
     1.3 @@ -43,7 +43,7 @@
     1.4    ("Isac_Knowledge",["numerischSymbolische", "Berechnung"],
     1.5     ["Berechnung", "erstNumerisch"]);
     1.6  val p = e_pos'; val c = [];
     1.7 -val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))](*nxt = ("Model_Pr*);
     1.8 +val (p,_,f,nxt,_,pt) = Test_Code.init_calc @{context} [(fmz, (dI',pI',mI'))](*nxt = ("Model_Pr*);
     1.9  val (p,_,f,nxt,_,pt) = me nxt p c pt(*Add_Given "KantenLaenge (k = 10)"*);
    1.10  val (p,_,f,nxt,_,pt) = me nxt p c pt(*Add_Given "Querschnitt (q = 1)"*);
    1.11  val (p,_,f,nxt,_,pt) = me nxt p c pt(*Add_Given "KantenUnten [b1 = k - 2*q]"*);
    1.12 @@ -79,7 +79,7 @@
    1.13  "----------- auto 'Berechnung' 'erstSymbolisch' ------------------";
    1.14  "----------- auto 'Berechnung' 'erstSymbolisch' ------------------";
    1.15  "----------- auto 'Berechnung' 'erstSymbolisch' ------------------";
    1.16 -CalcTree
    1.17 +CalcTree @{context}
    1.18  [(["KantenLaenge (k=(10::real))", "Querschnitt (q=(1::real))",
    1.19       "KantenUnten [b1 = k - 2*(q::real), b2 = k - 2*(q::real), b3 = k - 2*(q::real), b4 = k - 2*(q::real) ]", 
    1.20       "KantenSenkrecht [v1 = (k::real), v2 = (k::real), v3 = (k::real), v4 = (k::real)]",