test/Tools/isac/Knowledge/algein.sml
changeset 59997 46fe5a8c3911
parent 59983 f1fdb213717b
child 60230 0ca0f9363ad3
     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;