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)]",