1.1 --- a/test/Tools/isac/Knowledge/algein.sml Tue May 19 12:33:35 2020 +0200
1.2 +++ b/test/Tools/isac/Knowledge/algein.sml Wed May 20 12:52:09 2020 +0200
1.3 @@ -37,14 +37,14 @@
1.4 "----------- me 'Berechnung' 'erstNumerisch' ---------------------";
1.5 "----------- me 'Berechnung' 'erstNumerisch' ---------------------";
1.6 val fmz =
1.7 - ["KantenLaenge (k=(10::real))","Querschnitt (q=(1::real))",
1.8 + ["KantenLaenge (k=(10::real))", "Querschnitt (q=(1::real))",
1.9 "KantenUnten [b1 = k - 2*(q::real), b2 = k - 2*(q::real), b3 = k - 2*(q::real), b4 = k - 2*(q::real) ]",
1.10 "KantenSenkrecht [v1 = (k::real), v2 = (k::real), v3 = (k::real), v4 = (k::real)]",
1.11 "KantenOben [t1 = k - 2*(q::real), t2 = k - 2*(q::real), t3 = k - 2*(q::real), t4 = k - 2*(q::real) ]",
1.12 "GesamtLaenge L"];
1.13 val (dI',pI',mI') =
1.14 ("Isac_Knowledge",["numerischSymbolische", "Berechnung"],
1.15 - ["Berechnung","erstNumerisch"]);
1.16 + ["Berechnung", "erstNumerisch"]);
1.17 val p = e_pos'; val c = [];
1.18 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))](*nxt = ("Model_Pr*);
1.19 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Add_Given "KantenLaenge (k = 10)"*);
1.20 @@ -83,13 +83,13 @@
1.21 "----------- auto 'Berechnung' 'erstSymbolisch' ------------------";
1.22 "----------- auto 'Berechnung' 'erstSymbolisch' ------------------";
1.23 CalcTree
1.24 -[(["KantenLaenge (k=(10::real))","Querschnitt (q=(1::real))",
1.25 +[(["KantenLaenge (k=(10::real))", "Querschnitt (q=(1::real))",
1.26 "KantenUnten [b1 = k - 2*(q::real), b2 = k - 2*(q::real), b3 = k - 2*(q::real), b4 = k - 2*(q::real) ]",
1.27 "KantenSenkrecht [v1 = (k::real), v2 = (k::real), v3 = (k::real), v4 = (k::real)]",
1.28 "KantenOben [t1 = k - 2*(q::real), t2 = k - 2*(q::real), t3 = k - 2*(q::real), t4 = k - 2*(q::real) ]",
1.29 "GesamtLaenge L"],
1.30 ("Isac_Knowledge",["numerischSymbolische", "Berechnung"],
1.31 - ["Berechnung","erstSymbolisch"]))];
1.32 + ["Berechnung", "erstSymbolisch"]))];
1.33 Iterator 1;
1.34 moveActiveRoot 1;
1.35 autoCalculate 1 CompleteCalc;