1.1 --- a/test/Tools/isac/Knowledge/biegelinie.sml Tue Sep 28 08:58:06 2010 +0200
1.2 +++ b/test/Tools/isac/Knowledge/biegelinie.sml Tue Sep 28 09:06:56 2010 +0200
1.3 @@ -37,16 +37,16 @@
1.4
1.5 val t = rewrit Belastung_Querkraft (str2term "- q_ x = - q_0"); term2s t;
1.6 if term2s t = "Q' x = - q_0" then ()
1.7 -else raise error "/biegelinie.sml: Belastung_Querkraft";
1.8 +else error "/biegelinie.sml: Belastung_Querkraft";
1.9
1.10 val t = rewrit Querkraft_Moment (str2term "Q x = - q_0 * x + c"); term2s t;
1.11 if term2s t = "M_b' x = - q_0 * x + c" then ()
1.12 -else raise error "/biegelinie.sml: Querkraft_Moment";
1.13 +else error "/biegelinie.sml: Querkraft_Moment";
1.14
1.15 val t = rewrit Moment_Neigung (str2term "M_b x = -q_0 * x^^^2/2 + q_0/2 *L*x");
1.16 term2s t;
1.17 if term2s t = "- EI * y'' x = - q_0 * x ^^^ 2 / 2 + q_0 / 2 * L * x" then ()
1.18 -else raise error "biegelinie.sml: Moment_Neigung";
1.19 +else error "biegelinie.sml: Moment_Neigung";
1.20
1.21
1.22 "----------- Script [IntegrierenUndKonstanteBestimmen] -----------";
1.23 @@ -160,13 +160,13 @@
1.24 rewrite_set_ thy false srls
1.25 (str2term"(nth_::[real,bool list]=>bool) 1 " $ rm_);
1.26 if term2str e1__ = "M_b 0 = 0" then ()
1.27 -else raise error "biegelinie.sml simplify nth_ 1 rm_";
1.28 +else error "biegelinie.sml simplify nth_ 1 rm_";
1.29
1.30 val SOME (x1__,_) =
1.31 rewrite_set_ thy false srls
1.32 (str2term"argument_in (lhs (M_b 0 = 0))");
1.33 if term2str x1__ = "0" then ()
1.34 -else raise error "biegelinie.sml simplify argument_in (lhs (M_b 0 = 0)";
1.35 +else error "biegelinie.sml simplify argument_in (lhs (M_b 0 = 0)";
1.36
1.37 trace_rewrite:=true;
1.38 trace_rewrite:=false;
1.39 @@ -195,69 +195,69 @@
1.40 (*if itms2str_ ctxt pits = ... all 5 model-items*)
1.41 val mits = get_obj g_met pt (fst p); writeln (itms2str_ ctxt mits);
1.42 if itms2str_ ctxt mits = "[]" then ()
1.43 -else raise error "biegelinie.sml: Bsp 7.27 #2";
1.44 +else error "biegelinie.sml: Bsp 7.27 #2";
1.45
1.46 val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.47 case nxt of (_,Add_Given "FunktionsVariable x") => ()
1.48 - | _ => raise error "biegelinie.sml: Bsp 7.27 #4a";
1.49 + | _ => error "biegelinie.sml: Bsp 7.27 #4a";
1.50 val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.51 val mits = get_obj g_met pt (fst p);writeln (itms2str_ ctxt mits);
1.52 (*if itms2str_ ctxt mits = ... all 6 guard-items*)
1.53 case nxt of (_, Apply_Method ["IntegrierenUndKonstanteBestimmen"]) => ()
1.54 - | _ => raise error "biegelinie.sml: Bsp 7.27 #4b";
1.55 + | _ => error "biegelinie.sml: Bsp 7.27 #4b";
1.56
1.57 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.58 case pt of Nd (PblObj _, [Nd _]) => ((*Apply_Method + Take*))
1.59 - | _ => raise error "biegelinie.sml: Bsp 7.27 #4c";
1.60 + | _ => error "biegelinie.sml: Bsp 7.27 #4c";
1.61 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.62 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.63
1.64 case nxt of
1.65 (_,Subproblem ("Biegelinie", ["named", "integrate", "function"])) => ()
1.66 - | _ => raise error "biegelinie.sml: Bsp 7.27 #4c";
1.67 + | _ => error "biegelinie.sml: Bsp 7.27 #4c";
1.68 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.69 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.70 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.71 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.72 case nxt of (_, Apply_Method ["diff", "integration", "named"]) => ()
1.73 - | _ => raise error "biegelinie.sml: Bsp 7.27 #5";
1.74 + | _ => error "biegelinie.sml: Bsp 7.27 #5";
1.75 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.76 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.77 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.78 case nxt of
1.79 ("Check_Postcond", Check_Postcond ["named", "integrate", "function"]) => ()
1.80 - | _ => raise error "biegelinie.sml: Bsp 7.27 #5a";
1.81 + | _ => error "biegelinie.sml: Bsp 7.27 #5a";
1.82
1.83 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.84 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.85 case nxt of
1.86 (_, Subproblem ("Biegelinie", ["named", "integrate", "function"]))=>()
1.87 - | _ => raise error "biegelinie.sml: Bsp 7.27 #5b";
1.88 + | _ => error "biegelinie.sml: Bsp 7.27 #5b";
1.89
1.90 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.91 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.92 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.93 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.94 case nxt of (_, Apply_Method ["diff", "integration","named"]) => ()
1.95 - | _ => raise error "biegelinie.sml: Bsp 7.27 #6";
1.96 + | _ => error "biegelinie.sml: Bsp 7.27 #6";
1.97
1.98 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.99 val (p,_,f,nxt,_,pt) = me nxt p c pt(*nxt = Check_Postcond ["named", "int..*);
1.100 f2str f;
1.101 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.102 case nxt of (_, Substitute ["x = 0"]) => ()
1.103 - | _ => raise error "biegelinie.sml: Bsp 7.27 #7";
1.104 + | _ => error "biegelinie.sml: Bsp 7.27 #7";
1.105
1.106 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.107 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.108 if f2str f = "0 = c_2 + c * 0 + -1 * q_0 / 2 * 0 ^^^ 2" then ()
1.109 -else raise error "biegelinie.sml: Bsp 7.27 #8";
1.110 +else error "biegelinie.sml: Bsp 7.27 #8";
1.111
1.112 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.113 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.114 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.115 if f2str f = "0 = c_2 + c * L + -1 * q_0 / 2 * L ^^^ 2" then ()
1.116 -else raise error "biegelinie.sml: Bsp 7.27 #9";
1.117 +else error "biegelinie.sml: Bsp 7.27 #9";
1.118
1.119 (*val nxt = (+, Subproblem ("Biegelinie", ["normalize", ..lin..sys]))*)
1.120 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.121 @@ -266,7 +266,7 @@
1.122 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.123 val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.124 case nxt of (_, Apply_Method ["EqSystem", "normalize", "2x2"]) => ()
1.125 - | _ => raise error "biegelinie.sml: Bsp 7.27 #10";
1.126 + | _ => error "biegelinie.sml: Bsp 7.27 #10";
1.127
1.128 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.129 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.130 @@ -279,7 +279,7 @@
1.131 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.132 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.133 case nxt of (_, Apply_Method["EqSystem", "top_down_substitution", "2x2"]) => ()
1.134 - | _ => raise error "biegelinie.sml: Bsp 7.27 #11";
1.135 + | _ => error "biegelinie.sml: Bsp 7.27 #11";
1.136 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.137 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.138 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.139 @@ -290,7 +290,7 @@
1.140 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.141 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.142 case nxt of (_, Check_Postcond ["normalize", "2x2", "linear", "system"]) => ()
1.143 - | _ => raise error "biegelinie.sml: Bsp 7.27 #12";
1.144 + | _ => error "biegelinie.sml: Bsp 7.27 #12";
1.145
1.146 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.147 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.148 @@ -300,46 +300,46 @@
1.149 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.150 case nxt of
1.151 (_, Subproblem ("Biegelinie", ["named", "integrate", "function"]))=>()
1.152 - | _ => raise error "biegelinie.sml: Bsp 7.27 #13";
1.153 + | _ => error "biegelinie.sml: Bsp 7.27 #13";
1.154
1.155 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.156 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.157 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.158 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.159 case nxt of (_, Apply_Method ["diff", "integration", "named"]) => ()
1.160 - | _ => raise error "biegelinie.sml: Bsp 7.27 #14";
1.161 + | _ => error "biegelinie.sml: Bsp 7.27 #14";
1.162
1.163 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.164 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.165 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.166 case nxt of
1.167 (_, Check_Postcond ["named", "integrate", "function"]) => ()
1.168 - | _ => raise error "biegelinie.sml: Bsp 7.27 #15";
1.169 + | _ => error "biegelinie.sml: Bsp 7.27 #15";
1.170
1.171 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.172 if f2str f =
1.173 "y' x = c + 1 / (-1 * EI) * (L * q_0 / 4 * x ^^^ 2 + -1 * q_0 / 6 * x ^^^ 3)"
1.174 -then () else raise error "biegelinie.sml: Bsp 7.27 #16 f";
1.175 +then () else error "biegelinie.sml: Bsp 7.27 #16 f";
1.176 case nxt of
1.177 (_, Subproblem ("Biegelinie", ["named", "integrate", "function"]))=>()
1.178 - | _ => raise error "biegelinie.sml: Bsp 7.27 #16";
1.179 + | _ => error "biegelinie.sml: Bsp 7.27 #16";
1.180
1.181 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.182 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.183 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.184 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.185 case nxt of (_, Apply_Method ["diff", "integration", "named"]) => ()
1.186 - | _ => raise error "biegelinie.sml: Bsp 7.27 #17";
1.187 + | _ => error "biegelinie.sml: Bsp 7.27 #17";
1.188
1.189 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.190 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.191 if f2str f =
1.192 "y x =\nc_2 + c * x +\n\
1.193 \1 / (-1 * EI) * (L * q_0 / 12 * x ^^^ 3 + -1 * q_0 / 24 * x ^^^ 4)"
1.194 -then () else raise error "biegelinie.sml: Bsp 7.27 #18 f";
1.195 +then () else error "biegelinie.sml: Bsp 7.27 #18 f";
1.196 case nxt of
1.197 (_, Check_Postcond ["named", "integrate", "function"]) => ()
1.198 - | _ => raise error "biegelinie.sml: Bsp 7.27 #18";
1.199 + | _ => error "biegelinie.sml: Bsp 7.27 #18";
1.200
1.201 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.202 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.203 @@ -350,32 +350,32 @@
1.204 case nxt of
1.205 (_, Subproblem
1.206 ("Biegelinie", ["normalize", "2x2", "linear", "system"])) => ()
1.207 - | _ => raise error "biegelinie.sml: Bsp 7.27 #19";
1.208 + | _ => error "biegelinie.sml: Bsp 7.27 #19";
1.209 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.210 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.211 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.212 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.213 val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.214 case nxt of (_, Apply_Method ["EqSystem", "normalize", "2x2"]) => ()
1.215 - | _ => raise error "biegelinie.sml: Bsp 7.27 #20";
1.216 + | _ => error "biegelinie.sml: Bsp 7.27 #20";
1.217 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.218 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.219 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.220 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.221 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.222 if f2str f = "[c_2 = 0, L * c + c_2 = -1 * q_0 * L ^^^ 4 / (-24 * EI)]" then ()
1.223 -else raise error "biegelinie.sml: Bsp 7.27 #21 f";
1.224 +else error "biegelinie.sml: Bsp 7.27 #21 f";
1.225 case nxt of
1.226 (_, Subproblem
1.227 ("Biegelinie", ["triangular", "2x2", "linear", "system"])) =>()
1.228 - | _ => raise error "biegelinie.sml: Bsp 7.27 #21";
1.229 + | _ => error "biegelinie.sml: Bsp 7.27 #21";
1.230 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.231 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.232 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.233 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.234 val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.235 case nxt of (_, Apply_Method["EqSystem", "top_down_substitution", "2x2"]) => ()
1.236 - | _ => raise error "biegelinie.sml: Bsp 7.27 #22";
1.237 + | _ => error "biegelinie.sml: Bsp 7.27 #22";
1.238 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.239 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.240 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.241 @@ -386,7 +386,7 @@
1.242 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.243 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.244 case nxt of (_, Check_Postcond ["normalize", "2x2", "linear", "system"]) => ()
1.245 - | _ => raise error "biegelinie.sml: Bsp 7.27 #23";
1.246 + | _ => error "biegelinie.sml: Bsp 7.27 #23";
1.247
1.248 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.249 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.250 @@ -397,9 +397,9 @@
1.251 "y x =\n-1 * q_0 * L ^^^ 4 / (-24 * EI * L) * x +\n\
1.252 \(2 * L * q_0 / (-1 * 24 * EI) * x ^^^ 3 +\n\
1.253 \ -1 * q_0 / (-1 * 24 * EI) * x ^^^ 4)" then ()
1.254 -else raise error "biegelinie.sml: Bsp 7.27 #24 f";
1.255 +else error "biegelinie.sml: Bsp 7.27 #24 f";
1.256 case nxt of ("End_Proof'", End_Proof') => ()
1.257 - | _ => raise error "biegelinie.sml: Bsp 7.27 #24";
1.258 + | _ => error "biegelinie.sml: Bsp 7.27 #24";
1.259
1.260 (* use"../smltest/IsacKnowledge/biegelinie.sml";
1.261 *)
1.262 @@ -469,14 +469,14 @@
1.263 autoCalculate 1 (Step 1) (*->GENERATED ([1], Frm)*);
1.264 val ((pt,_),_) = get_calc 1;
1.265 case pt of Nd (PblObj _, [Nd _]) => ((*Apply_Method + Take*))
1.266 - | _ => raise error "biegelinie.sml: Bsp 7.27 autoCalculate#4c";
1.267 + | _ => error "biegelinie.sml: Bsp 7.27 autoCalculate#4c";
1.268
1.269 autoCalculate 1 CompleteCalc;
1.270 val ((pt,p),_) = get_calc 1;
1.271 if p = ([], Res) andalso length (children pt) = 23 andalso
1.272 term2str (get_obj g_res pt (fst p)) =
1.273 "y x =\n-1 * q_0 * L ^^^ 4 / (-24 * EI * L) * x +\n(2 * L * q_0 / (-1 * 24 * EI) * x ^^^ 3 +\n -1 * q_0 / (-1 * 24 * EI) * x ^^^ 4)"
1.274 -then () else raise error "biegelinie.sml: 1st biegelin.7.27 changed";
1.275 +then () else error "biegelinie.sml: 1st biegelin.7.27 changed";
1.276
1.277 val (unc, del, gen) = (([],Pbl), ([],Pbl), ([],Res));
1.278 getFormulaeFromTo 1 unc gen 1 (*only level 1*) false;
1.279 @@ -509,13 +509,13 @@
1.280 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.281 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.282 if nxt = ("Apply_Method", Apply_Method ["Biegelinien", "ausBelastung"])
1.283 -then () else raise error "biegelinie.sml met2 b";
1.284 +then () else error "biegelinie.sml met2 b";
1.285
1.286 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "q_ x = q_0";
1.287 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "- q_ x = - q_0";
1.288 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "Q' x = - q_0";
1.289 case nxt of (_, Subproblem (_, ["named", "integrate", "function"])) => ()
1.290 -| _ => raise error "biegelinie.sml met2 c";
1.291 +| _ => error "biegelinie.sml met2 c";
1.292
1.293 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.294 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.295 @@ -527,7 +527,7 @@
1.296 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "Q x = c + -1 * q_0 * x";
1.297 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "M_b' x = c + -1 * q_0 * x";
1.298 case nxt of (_,Subproblem (_, ["named", "integrate", "function"])) => ()
1.299 -| _ => raise error "biegelinie.sml met2 d";
1.300 +| _ => error "biegelinie.sml met2 d";
1.301
1.302 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.303 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.304 @@ -568,7 +568,7 @@
1.305 val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.306 if nxt = ("End_Proof'", End_Proof') andalso f2str f =
1.307 "[Q x = c + -1 * q_0 * x, M_b x = c_2 + c * x + -1 * q_0 / 2 * x ^^^ 2,\n y' x =\n c_3 + 1 / (-1 * EI) * (c_2 * x + c / 2 * x ^^^ 2 + -1 * q_0 / 6 * x ^^^ 3),\n y x =\n c_4 + c_3 * x +\n 1 / (-1 * EI) *\n (c_2 / 2 * x ^^^ 2 + c / 6 * x ^^^ 3 + -1 * q_0 / 24 * x ^^^ 4)]" then ()
1.308 -else raise error "biegelinie.sml met2 e";
1.309 +else error "biegelinie.sml met2 e";
1.310
1.311
1.312
1.313 @@ -639,7 +639,7 @@
1.314 (* f2str f = "0 = c_2 + L * c + -1 * q_0 / 2 * L ^^^ 2"
1.315 CHANGE NOT considered, already on leave*)
1.316 f2str f = "0 = (2 * c_2 + 2 * L * c + -1 * L ^^^ 2 * q_0) / 2"
1.317 -then () else raise error "biegelinie.sml: SubProblem (_,[setzeRandbed";
1.318 +then () else error "biegelinie.sml: SubProblem (_,[setzeRandbed";
1.319
1.320
1.321 "----------- method [Biegelinien,setzeRandbedingungenEin] + exec -";
1.322 @@ -724,7 +724,7 @@
1.323 val screxp1 = subst_atomic [(rb_, rb)] screxp1_; term2str screxp1;
1.324 val SOME (b1,_) = rewrite_set_ Isac.thy false srls2 screxp1; term2str b1;
1.325 if term2str b1 = "Take (y 0 = 0)" then ()
1.326 -else raise error "biegelinie.sml: rew. Bieglie2 --1";
1.327 +else error "biegelinie.sml: rew. Bieglie2 --1";
1.328 val b1 = str2term "(y 0 = 0)";
1.329
1.330 "--- script expression 2";
1.331 @@ -733,7 +733,7 @@
1.332 val screxp2 = subst_atomic [(b1_,b1),(funs_,funs)] screxp2_; term2str screxp2;
1.333 val SOME (fs,_) = rewrite_set_ Isac.thy false srls2 screxp2; term2str fs;
1.334 if term2str fs = "[y x =\n c_4 + c_3 * x +\n 1 / (-1 * EI) *\n (c_2 / 2 * x ^^^ 2 + c / 6 * x ^^^ 3 + -1 * q_0 / 24 * x ^^^ 4)]" then ()
1.335 -else raise error "biegelinie.sml: rew. Bieglie2 --2";
1.336 +else error "biegelinie.sml: rew. Bieglie2 --2";
1.337
1.338 "--- script expression 3";
1.339 val screxp3_ = str2term "SubProblem (Biegelinie_,[makeFunctionTo,equation],\
1.340 @@ -744,7 +744,7 @@
1.341 writeln (term2str screxp3);
1.342 val SOME (equ,_) = rewrite_set_ Isac.thy false srls2 screxp3;
1.343 if term2str equ = "SubProblem\n (Biegelinie_, [makeFunctionTo, equation], [Equation, fromFunction])\n [BOOL\n (y x =\n c_4 + c_3 * x +\n 1 / (-1 * EI) *\n (c_2 / 2 * x ^^^ 2 + c / 6 * x ^^^ 3 + -1 * q_0 / 24 * x ^^^ 4)),\n BOOL (y 0 = 0)]" then ()
1.344 -else raise error "biegelinie.sml: rew. Bieglie2 --3";
1.345 +else error "biegelinie.sml: rew. Bieglie2 --3";
1.346 writeln (term2str equ);
1.347 (*SubProblem
1.348 (Biegelinie_, [makeFunctionTo, equation], [Equation, fromFunction])
1.349 @@ -776,13 +776,13 @@
1.350 "--- before 1.subpbl [Equation, fromFunction]";
1.351 val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.352 case nxt of (_, Apply_Method ["Biegelinien", "setzeRandbedingungenEin"])=>()
1.353 -| _ => raise error "biegelinie.sml: met setzeRandbed*Ein aa";
1.354 +| _ => error "biegelinie.sml: met setzeRandbed*Ein aa";
1.355 "----- Randbedingung y 0 = 0 in SUBpbl with met [Equation, fromFunction]";
1.356 val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.357 if (#1 o (get_obj g_fmz pt)) (fst p) =
1.358 ["functionEq\n (y x =\n c_4 + c_3 * x +\n 1 / (-1 * EI) *\n (c_2 / 2 * x ^^^ 2 + c / 6 * x ^^^ 3 + -1 * q_0 / 24 * x ^^^ 4))",
1.359 "substitution (y 0 = 0)", "equality equ___"] then ()
1.360 -else raise error "biegelinie.sml met setzeRandbed*Ein bb";
1.361 +else error "biegelinie.sml met setzeRandbed*Ein bb";
1.362 (writeln o istate2str) (get_istate pt p);
1.363 "--- after 1.subpbl [Equation, fromFunction]";
1.364
1.365 @@ -791,46 +791,46 @@
1.366 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.367 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.368 case nxt of (_, Apply_Method["Equation", "fromFunction"]) => ()
1.369 -| _ => raise error "biegelinie.sml met2 ff";
1.370 +| _ => error "biegelinie.sml met2 ff";
1.371 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f =
1.372 "y x =\nc_4 + c_3 * x +\n1 / (-1 * EI) *\n(c_2 / 2 * x ^^^ 2 + c / 6 * x ^^^ 3 + -1 * q_0 / 24 * x ^^^ 4)";
1.373 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.374 val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.375 case nxt of (_, Check_Postcond ["makeFunctionTo", "equation"]) => ()
1.376 -| _ => raise error "biegelinie.sml met2 gg";
1.377 +| _ => error "biegelinie.sml met2 gg";
1.378
1.379 "--- before 2.subpbl [Equation, fromFunction]";
1.380 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "0 = c_4 + 0 / (-1 * EI)" ;
1.381 case nxt of (_,Subproblem (_, ["makeFunctionTo", "equation"])) => ()
1.382 -| _ => raise error "biegelinie.sml met2 hh";
1.383 +| _ => error "biegelinie.sml met2 hh";
1.384 "--- after 1st arrival at 2.subpbl [Equation, fromFunction]";
1.385
1.386 val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.387 if (#1 o (get_obj g_fmz pt)) (fst p) =
1.388 ["functionEq\n (y x =\n c_4 + c_3 * x +\n 1 / (-1 * EI) *\n (c_2 / 2 * x ^^^ 2 + c / 6 * x ^^^ 3 + -1 * q_0 / 24 * x ^^^ 4))",
1.389 "substitution (y L = 0)", "equality equ___"] then ()
1.390 -else raise error "biegelinie.sml metsetzeRandbed*Ein bb ";
1.391 +else error "biegelinie.sml metsetzeRandbed*Ein bb ";
1.392 val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.393 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.394 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.395
1.396 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.397 case nxt of (_, Apply_Method["Equation", "fromFunction"]) => ()
1.398 -| _ => raise error "biegelinie.sml met2 ii";
1.399 +| _ => error "biegelinie.sml met2 ii";
1.400 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "y x =\nc_4 + c_3 * x +\n1 / (-1 * EI) *\n(c_2 / 2 * x ^^^ 2 + c / 6 * x ^^^ 3 + -1 * q_0 / 24 * x ^^^ 4)";
1.401 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "y L =\nc_4 + c_3 * L +\n1 / (-1 * EI) *\n(c_2 / 2 * L ^^^ 2 + c / 6 * L ^^^ 3 + -1 * q_0 / 24 * L ^^^ 4)";
1.402 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "0 =\nc_4 + c_3 * L +\n1 / (-1 * EI) *\n(c_2 / 2 * L ^^^ 2 + c / 6 * L ^^^ 3 + -1 * q_0 / 24 * L ^^^ 4)";
1.403 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "0 =\nc_4 + L * c_3 +\n(12 * L ^^^ 2 * c_2 + 4 * L ^^^ 3 * c + -1 * L ^^^ 4 * q_0) / (-24 * EI)" ;
1.404 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "0 =\nc_4 + L * c_3 +\n(12 * L ^^^ 2 * c_2 + 4 * L ^^^ 3 * c + -1 * L ^^^ 4 * q_0) / (-24 * EI)";
1.405 case nxt of (_,Subproblem (_, ["makeFunctionTo", "equation"])) => ()
1.406 -| _ => raise error "biegelinie.sml met2 jj";
1.407 +| _ => error "biegelinie.sml met2 jj";
1.408
1.409 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.410 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.411 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.412 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.413 case nxt of (_, Apply_Method ["Equation", "fromFunction"])=>()
1.414 -| _ => raise error "biegelinie.sml met2 kk";
1.415 +| _ => error "biegelinie.sml met2 kk";
1.416
1.417 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "M_b x = c_2 + c * x + -1 * q_0 / 2 * x ^^^ 2"(*true*);
1.418 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "0 = c_2 + c * 0 + -1 * q_0 / 2 * 0 ^^^ 2";
1.419 @@ -838,14 +838,14 @@
1.420 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "0 = c_2";
1.421 val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.422 case nxt of (_,Subproblem (_, ["makeFunctionTo", "equation"])) => ()
1.423 -| _ => raise error "biegelinie.sml met2 ll";
1.424 +| _ => error "biegelinie.sml met2 ll";
1.425
1.426 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.427 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.428 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.429 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.430 case nxt of (_, Apply_Method ["Equation", "fromFunction"])=>()
1.431 -| _ => raise error "biegelinie.sml met2 mm";
1.432 +| _ => error "biegelinie.sml met2 mm";
1.433
1.434 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "M_b x = c_2 + c * x + -1 * q_0 / 2 * x ^^^ 2";
1.435 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "M_b L = c_2 + c * L + -1 * q_0 / 2 * L ^^^ 2";
1.436 @@ -853,12 +853,12 @@
1.437 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "0 = (2 * c_2 + 2 * L * c + -1 * L ^^^ 2 * q_0) / 2";
1.438 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "0 = (2 * c_2 + 2 * L * c + -1 * L ^^^ 2 * q_0) / 2";
1.439 case nxt of (_, Check_Postcond ["setzeRandbedingungen", "Biegelinien"]) => ()
1.440 -| _ => raise error "biegelinie.sml met2 nn";
1.441 +| _ => error "biegelinie.sml met2 nn";
1.442 val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.443 if nxt = ("End_Proof'", End_Proof') andalso f2str f =
1.444 (* "[0 = c_4,\n 0 =\n c_4 + L * c_3 +\n (12 * L ^^^ 2 * c_2 + 4 * L ^^^ 3 * c + -1 * L ^^^ 4 * q_0) / (-24 * EI),\n 0 = c_2, 0 = (2 * c_2 + 2 * L * c + -1 * L ^^^ 2 * q_0) / 2]" *)
1.445 "[0 = c_4,\n 0 =\n c_4 + L * c_3 +\n (12 * L ^^^ 2 * c_2 + 4 * L ^^^ 3 * c + -1 * L ^^^ 4 * q_0) /\n (-1 * EI * 24),\n 0 = c_2, 0 = (2 * c_2 + 2 * L * c + -1 * L ^^^ 2 * q_0) / 2]"
1.446 -then () else raise error "biegelinie.sml met2 oo";
1.447 +then () else error "biegelinie.sml met2 oo";
1.448
1.449 (*
1.450 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.451 @@ -964,7 +964,7 @@
1.452 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.453 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.454 if nxt = ("Apply_Method", Apply_Method ["IntegrierenUndKonstanteBestimmen2"])
1.455 -then () else raise error "biegelinie.sml met2 a";
1.456 +then () else error "biegelinie.sml met2 a";
1.457
1.458 (*** actual arg(s) missing for '["(#Find, (Funktionen, funs_))"]' i.e. should be 'copy-named' by '*_._'
1.459 ... THIS MEANS:
1.460 @@ -996,7 +996,7 @@
1.461 val ((pt,p),_) = get_calc 1; show_pt pt;
1.462 if p = ([], Res) andalso term2str (get_obj g_res pt (fst p)) =
1.463 "y x =\n-6 * q_0 * L ^^^ 2 / (-24 * EI) * x ^^^ 2 +\n4 * L * q_0 / (-24 * EI) * x ^^^ 3 +\n-1 * q_0 / (-24 * EI) * x ^^^ 4" then ()
1.464 -else raise error "biegelinie.sml: diff.behav.7.70 with autoCalculate";
1.465 +else error "biegelinie.sml: diff.behav.7.70 with autoCalculate";
1.466
1.467 val is = get_istate pt ([],Res); writeln (istate2str is);
1.468 val t = str2term " last \