62 "KantenUnten [b1 = k - 2*q, b2 = k - 2*q, b3 = k - 2*q, b4 = k - 2*q ]", |
62 "KantenUnten [b1 = k - 2*q, b2 = k - 2*q, b3 = k - 2*q, b4 = k - 2*q ]", |
63 "KantenSenkrecht [v1 = k, v2 = k, v3 = k, v4 = k]", |
63 "KantenSenkrecht [v1 = k, v2 = k, v3 = k, v4 = k]", |
64 "KantenOben [t1 = k - 2*q, t2 = k - 2*q, t3 = k - 2*q, t4 = k - 2*q ]", |
64 "KantenOben [t1 = k - 2*q, t2 = k - 2*q, t3 = k - 2*q, t4 = k - 2*q ]", |
65 "GesamtLaenge L"]; |
65 "GesamtLaenge L"]; |
66 val (dI',pI',mI') = |
66 val (dI',pI',mI') = |
67 ("Isac.thy",["numerischSymbolische", "Berechnung"], |
67 ("Isac",["numerischSymbolische", "Berechnung"], |
68 ["Berechnung","erstNumerisch"]); |
68 ["Berechnung","erstNumerisch"]); |
69 val p = e_pos'; val c = []; |
69 val p = e_pos'; val c = []; |
70 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))](*nxt = ("Model_Pr*); |
70 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))](*nxt = ("Model_Pr*); |
71 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Add_Given "KantenLaenge (k = 10)"*); |
71 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Add_Given "KantenLaenge (k = 10)"*); |
72 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Add_Given "Querschnitt (q = 1)"*); |
72 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Add_Given "Querschnitt (q = 1)"*); |
75 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Add_Given "KantenSenkrecht [v1 = k]"*); |
75 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Add_Given "KantenSenkrecht [v1 = k]"*); |
76 val (p,_,f,nxt,_,pt) = me nxt p c pt(*..KantenSenkrecht [v2 = k, v3 = k, v4]*); |
76 val (p,_,f,nxt,_,pt) = me nxt p c pt(*..KantenSenkrecht [v2 = k, v3 = k, v4]*); |
77 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Add_Given "KantenOben [b1 = k - 2 *q])*); |
77 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Add_Given "KantenOben [b1 = k - 2 *q])*); |
78 val (p,_,f,nxt,_,pt) = me nxt p c pt(*..KantenOben [b2 = k - 2 * q, b3 =, b4*); |
78 val (p,_,f,nxt,_,pt) = me nxt p c pt(*..KantenOben [b2 = k - 2 * q, b3 =, b4*); |
79 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Add_Find "GesamtLaenge L"*); |
79 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Add_Find "GesamtLaenge L"*); |
80 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Specify_Theory "AlgEin.thy"*); |
80 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Specify_Theory "AlgEin"*); |
81 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Specify_Problem ["numerischSymbolis,Be*); |
81 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Specify_Problem ["numerischSymbolis,Be*); |
82 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Specify_Method ["Berechnung", "erstSym*); |
82 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Specify_Method ["Berechnung", "erstSym*); |
83 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Apply_Method*); |
83 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Apply_Method*); |
84 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Substitute["Oben = boollist2sum [b1 =*); |
84 val (p,_,f,nxt,_,pt) = me nxt p c pt(*Substitute["Oben = boollist2sum [b1 =*); |
85 f2str f; |
85 f2str f; |
106 [(["KantenLaenge (k=10)","Querschnitt (q=1)", |
106 [(["KantenLaenge (k=10)","Querschnitt (q=1)", |
107 "KantenUnten [b1 = k - 2*q, b2 = k - 2*q, b3 = k - 2*q, b4 = k - 2*q ]", |
107 "KantenUnten [b1 = k - 2*q, b2 = k - 2*q, b3 = k - 2*q, b4 = k - 2*q ]", |
108 "KantenSenkrecht [v1 = k, v2 = k, v3 = k, v4 = k]", |
108 "KantenSenkrecht [v1 = k, v2 = k, v3 = k, v4 = k]", |
109 "KantenOben [t1 = k - 2*q, t2 = k - 2*q, t3 = k - 2*q, t4 = k - 2*q ]", |
109 "KantenOben [t1 = k - 2*q, t2 = k - 2*q, t3 = k - 2*q, t4 = k - 2*q ]", |
110 "GesamtLaenge L"], |
110 "GesamtLaenge L"], |
111 ("Isac.thy",["numerischSymbolische", "Berechnung"], |
111 ("Isac",["numerischSymbolische", "Berechnung"], |
112 ["Berechnung","erstSymbolisch"]))]; |
112 ["Berechnung","erstSymbolisch"]))]; |
113 Iterator 1; |
113 Iterator 1; |
114 moveActiveRoot 1; |
114 moveActiveRoot 1; |
115 autoCalculate 1 CompleteCalc; |
115 autoCalculate 1 CompleteCalc; |
116 val ((pt,p),_) = get_calc 1; show_pt pt; |
116 val ((pt,p),_) = get_calc 1; show_pt pt; |