wneuper/isa: comparison test/Tools/isac/Knowledge/biegelinie.sml

equal deleted inserted replaced

-:95d956108461
+:460c24a6a6ba
 fun rewrit thm str =
 fst (the (rewrite_ Biegelinie.thy tless_true e_rls true thm str));
 val t = rewrit Belastung_Querkraft (str2term "- q_ x = - q_0"); term2s t;
 if term2s t = "Q' x = - q_0" then ()
-else raise error  "/biegelinie.sml: Belastung_Querkraft";
+else error  "/biegelinie.sml: Belastung_Querkraft";
 val t = rewrit Querkraft_Moment (str2term "Q x = - q_0 * x + c"); term2s t;
 if term2s t = "M_b' x = - q_0 * x + c" then ()
-else raise error  "/biegelinie.sml: Querkraft_Moment";
+else error  "/biegelinie.sml: Querkraft_Moment";
 val t = rewrit Moment_Neigung (str2term "M_b x = -q_0 * x^^^2/2 + q_0/2 *L*x");
 term2s t;
 if term2s t = "- EI * y'' x = - q_0 * x ^^^ 2 / 2 + q_0 / 2 * L * x" then ()
-else raise error  "biegelinie.sml: Moment_Neigung";
+else error  "biegelinie.sml: Moment_Neigung";
 "----------- Script [IntegrierenUndKonstanteBestimmen] -----------";
 "----------- Script [IntegrierenUndKonstanteBestimmen] -----------";
 "----------- Script [IntegrierenUndKonstanteBestimmen] -----------";
 val M__ = str2term"M_b x = -1 * x ^^^ 2 / 2 + x * c + c_2";
 val SOME (e1__,_) =
 rewrite_set_ thy false srls
 		 (str2term"(nth_::[real,bool list]=>bool) 1 " $ rm_);
 if term2str e1__ = "M_b 0 = 0" then ()
-else raise error "biegelinie.sml simplify nth_ 1 rm_";
+else error "biegelinie.sml simplify nth_ 1 rm_";
 val SOME (x1__,_) =
 rewrite_set_ thy false srls
 		 (str2term"argument_in (lhs (M_b 0 = 0))");
 if term2str x1__ = "0" then ()
-else raise error "biegelinie.sml simplify argument_in (lhs (M_b 0 = 0)";
+else error "biegelinie.sml simplify argument_in (lhs (M_b 0 = 0)";
 trace_rewrite:=true;
 trace_rewrite:=false;
 val pits = get_obj g_pbl pt (fst p);writeln (itms2str_ ctxt pits);
 (*if itms2str_ ctxt pits = ... all 5 model-items*)
 val mits = get_obj g_met pt (fst p); writeln (itms2str_ ctxt mits);
 if itms2str_ ctxt mits = "[]" then ()
-else raise error  "biegelinie.sml: Bsp 7.27 #2";
+else error  "biegelinie.sml: Bsp 7.27 #2";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of (_,Add_Given "FunktionsVariable x") => ()
-	  | _ => raise error  "biegelinie.sml: Bsp 7.27 #4a";
+	  | _ => error  "biegelinie.sml: Bsp 7.27 #4a";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val mits = get_obj g_met pt (fst p);writeln (itms2str_ ctxt mits);
 (*if itms2str_ ctxt mits = ... all 6 guard-items*)
 case nxt of (_, Apply_Method ["IntegrierenUndKonstanteBestimmen"]) => ()
-	  | _ => raise error  "biegelinie.sml: Bsp 7.27 #4b";
+	  | _ => error  "biegelinie.sml: Bsp 7.27 #4b";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 case pt of Nd (PblObj _, [Nd _]) => ((*Apply_Method + Take*))
-	  | _ => raise error  "biegelinie.sml: Bsp 7.27 #4c";
+	  | _ => error  "biegelinie.sml: Bsp 7.27 #4c";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 case nxt of
 (_,Subproblem ("Biegelinie", ["named", "integrate", "function"])) => ()
-	  | _ => raise error  "biegelinie.sml: Bsp 7.27 #4c";
+	  | _ => error  "biegelinie.sml: Bsp 7.27 #4c";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of (_, Apply_Method ["diff", "integration", "named"]) => ()
-	  | _ => raise error  "biegelinie.sml: Bsp 7.27 #5";
+	  | _ => error  "biegelinie.sml: Bsp 7.27 #5";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 case nxt of
 ("Check_Postcond", Check_Postcond ["named", "integrate", "function"]) => ()
-	  | _ => raise error  "biegelinie.sml: Bsp 7.27 #5a";
+	  | _ => error  "biegelinie.sml: Bsp 7.27 #5a";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 case nxt of
 (_, Subproblem ("Biegelinie", ["named", "integrate", "function"]))=>()
-| _ => raise error "biegelinie.sml: Bsp 7.27 #5b";
+| _ => error "biegelinie.sml: Bsp 7.27 #5b";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of (_, Apply_Method ["diff", "integration","named"]) => ()
-	  | _ => raise error  "biegelinie.sml: Bsp 7.27 #6";
+	  | _ => error  "biegelinie.sml: Bsp 7.27 #6";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt(*nxt = Check_Postcond ["named", "int..*);
 f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 case nxt of (_, Substitute ["x = 0"]) => ()
-	  | _ => raise error  "biegelinie.sml: Bsp 7.27 #7";
+	  | _ => error  "biegelinie.sml: Bsp 7.27 #7";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 if f2str f = "0 = c_2 + c * 0 + -1 * q_0 / 2 * 0 ^^^ 2" then ()
-else raise error  "biegelinie.sml: Bsp 7.27 #8";
+else error  "biegelinie.sml: Bsp 7.27 #8";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 if f2str f = "0 = c_2 + c * L + -1 * q_0 / 2 * L ^^^ 2" then ()
-else raise error  "biegelinie.sml: Bsp 7.27 #9";
+else error  "biegelinie.sml: Bsp 7.27 #9";
 (*val nxt = (+, Subproblem ("Biegelinie", ["normalize", ..lin..sys]))*)
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of (_, Apply_Method ["EqSystem", "normalize", "2x2"]) => ()
-	  | _ => raise error  "biegelinie.sml: Bsp 7.27 #10";
+	  | _ => error  "biegelinie.sml: Bsp 7.27 #10";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of (_, Apply_Method["EqSystem", "top_down_substitution", "2x2"]) => ()
-	  | _ => raise error  "biegelinie.sml: Bsp 7.27 #11";
+	  | _ => error  "biegelinie.sml: Bsp 7.27 #11";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 case nxt of (_, Check_Postcond ["normalize", "2x2", "linear", "system"]) => ()
-	  | _ => raise error  "biegelinie.sml: Bsp 7.27 #12";
+	  | _ => error  "biegelinie.sml: Bsp 7.27 #12";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 case nxt of
 (_, Subproblem ("Biegelinie", ["named", "integrate", "function"]))=>()
-	  | _ => raise error  "biegelinie.sml: Bsp 7.27 #13";
+	  | _ => error  "biegelinie.sml: Bsp 7.27 #13";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of (_, Apply_Method ["diff", "integration", "named"]) => ()
-	  | _ => raise error  "biegelinie.sml: Bsp 7.27 #14";
+	  | _ => error  "biegelinie.sml: Bsp 7.27 #14";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 case nxt of
 (_, Check_Postcond ["named", "integrate", "function"]) => ()
-| _ => raise error  "biegelinie.sml: Bsp 7.27 #15";
+| _ => error  "biegelinie.sml: Bsp 7.27 #15";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 if f2str f =
 "y' x = c + 1 / (-1 * EI) * (L * q_0 / 4 * x ^^^ 2 + -1 * q_0 / 6 * x ^^^ 3)"
-then () else raise error  "biegelinie.sml: Bsp 7.27 #16 f";
+then () else error  "biegelinie.sml: Bsp 7.27 #16 f";
 case nxt of
 (_, Subproblem ("Biegelinie", ["named", "integrate", "function"]))=>()
-	  | _ => raise error  "biegelinie.sml: Bsp 7.27 #16";
+	  | _ => error  "biegelinie.sml: Bsp 7.27 #16";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of (_, Apply_Method ["diff", "integration", "named"]) => ()
-	  | _ => raise error  "biegelinie.sml: Bsp 7.27 #17";
+	  | _ => error  "biegelinie.sml: Bsp 7.27 #17";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 if f2str f =
 "y x =\nc_2 + c * x +\n\
 \1 / (-1 * EI) * (L * q_0 / 12 * x ^^^ 3 + -1 * q_0 / 24 * x ^^^ 4)"
-then () else raise error  "biegelinie.sml: Bsp 7.27 #18 f";
+then () else error  "biegelinie.sml: Bsp 7.27 #18 f";
 case nxt of
 (_, Check_Postcond ["named", "integrate", "function"]) => ()
-| _ => raise error  "biegelinie.sml: Bsp 7.27 #18";
+| _ => error  "biegelinie.sml: Bsp 7.27 #18";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 case nxt of
 (_, Subproblem
 ("Biegelinie", ["normalize", "2x2", "linear", "system"])) => ()
-| _ => raise error  "biegelinie.sml: Bsp 7.27 #19";
+| _ => error  "biegelinie.sml: Bsp 7.27 #19";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of (_, Apply_Method ["EqSystem", "normalize", "2x2"]) => ()
-	  | _ => raise error  "biegelinie.sml: Bsp 7.27 #20";
+	  | _ => error  "biegelinie.sml: Bsp 7.27 #20";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 if f2str f = "[c_2 = 0, L * c + c_2 = -1 * q_0 * L ^^^ 4 / (-24 * EI)]" then ()
-else raise error  "biegelinie.sml: Bsp 7.27 #21 f";
+else error  "biegelinie.sml: Bsp 7.27 #21 f";
 case nxt of
 (_, Subproblem
 ("Biegelinie", ["triangular", "2x2", "linear", "system"])) =>()
-| _ => raise error  "biegelinie.sml: Bsp 7.27 #21";
+| _ => error  "biegelinie.sml: Bsp 7.27 #21";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of (_, Apply_Method["EqSystem", "top_down_substitution", "2x2"]) => ()
-	  | _ => raise error  "biegelinie.sml: Bsp 7.27 #22";
+	  | _ => error  "biegelinie.sml: Bsp 7.27 #22";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 case nxt of (_, Check_Postcond ["normalize", "2x2", "linear", "system"]) => ()
-	  | _ => raise error  "biegelinie.sml: Bsp 7.27 #23";
+	  | _ => error  "biegelinie.sml: Bsp 7.27 #23";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 if f2str f =
 "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)" then ()
-else raise error  "biegelinie.sml: Bsp 7.27 #24 f";
+else error  "biegelinie.sml: Bsp 7.27 #24 f";
 case nxt of ("End_Proof'", End_Proof') => ()
-	  | _ => raise error  "biegelinie.sml: Bsp 7.27 #24";
+	  | _ => error  "biegelinie.sml: Bsp 7.27 #24";
 (* use"../smltest/IsacKnowledge/biegelinie.sml";
 *)
 show_pt pt;
 (*(([], Frm), Problem (Biegelinie.thy, [MomentBestimmte, Biegelinien])),
 val it = true : bool
 *)
 autoCalculate 1 (Step 1) (*->GENERATED ([1], Frm)*);
 val ((pt,_),_) = get_calc 1;
 case pt of Nd (PblObj _, [Nd _]) => ((*Apply_Method + Take*))
-	  | _ => raise error  "biegelinie.sml: Bsp 7.27 autoCalculate#4c";
+	  | _ => error  "biegelinie.sml: Bsp 7.27 autoCalculate#4c";
 autoCalculate 1 CompleteCalc;
 val ((pt,p),_) = get_calc 1;
 if p = ([], Res) andalso length (children pt) = 23 andalso
 term2str (get_obj g_res pt (fst p)) =
 "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)"
-then () else raise error "biegelinie.sml: 1st biegelin.7.27 changed";
+then () else error "biegelinie.sml: 1st biegelin.7.27 changed";
 val (unc, del, gen) = (([],Pbl), ([],Pbl), ([],Res));
 getFormulaeFromTo 1 unc gen 1 (*only level 1*) false;
 show_pt pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 if nxt = ("Apply_Method", Apply_Method ["Biegelinien", "ausBelastung"])
-then () else raise error "biegelinie.sml met2 b";
+then () else error "biegelinie.sml met2 b";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f =   "q_ x = q_0";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "- q_ x = - q_0";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f =  "Q' x = - q_0";
 case nxt of (_, Subproblem (_, ["named", "integrate", "function"])) => ()
-| _ => raise error "biegelinie.sml met2 c";
+| _ => error "biegelinie.sml met2 c";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "Q x = c + -1 * q_0 * x";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "Q x = c + -1 * q_0 * x";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "M_b' x = c + -1 * q_0 * x";
 case nxt of (_,Subproblem (_, ["named", "integrate", "function"])) => ()
-| _ => raise error "biegelinie.sml met2 d";
+| _ => error "biegelinie.sml met2 d";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 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)";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 if nxt = ("End_Proof'", End_Proof') andalso f2str f =
 "[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 ()
-else raise error "biegelinie.sml met2 e";
+else error "biegelinie.sml met2 e";
 "----------- SubProblem (_,[setzeRandbedingungen,Biegelinien] ----";
 "----------- SubProblem (_,[setzeRandbedingungen,Biegelinien] ----";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 if nxt = ("End_Proof'", End_Proof') andalso
 (*   f2str f = "0 = c_2 + L * c + -1 * q_0 / 2 * L ^^^ 2"
 CHANGE NOT considered, already on leave*)
 f2str f = "0 = (2 * c_2 + 2 * L * c + -1 * L ^^^ 2 * q_0) / 2"
-then () else raise error "biegelinie.sml: SubProblem (_,[setzeRandbed";
+then () else error "biegelinie.sml: SubProblem (_,[setzeRandbed";
 "----------- method [Biegelinien,setzeRandbedingungenEin] + exec -";
 "----------- method [Biegelinien,setzeRandbedingungenEin] + exec -";
 "----------- method [Biegelinien,setzeRandbedingungenEin] + exec -";
 "--- script expression 1";
 val screxp1_ = str2term "Take (nth_ 1 (rb_::bool list))";
 val screxp1  = subst_atomic [(rb_, rb)] screxp1_; term2str screxp1;
 val SOME (b1,_) = rewrite_set_ Isac.thy false srls2 screxp1; term2str b1;
 if term2str b1 = "Take (y 0 = 0)" then ()
-else raise error "biegelinie.sml: rew. Bieglie2 --1";
+else error "biegelinie.sml: rew. Bieglie2 --1";
 val b1 = str2term "(y 0 = 0)";
 "--- script expression 2";
 val screxp2_ = str2term "filter (sameFunId (lhs b1_)) funs_";
 val b1_ = str2term "b1_::bool";
 val screxp2 = subst_atomic [(b1_,b1),(funs_,funs)] screxp2_; term2str screxp2;
 val SOME (fs,_) = rewrite_set_ Isac.thy false srls2 screxp2; term2str fs;
 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 ()
-else raise error "biegelinie.sml: rew. Bieglie2 --2";
+else error "biegelinie.sml: rew. Bieglie2 --2";
 "--- script expression 3";
 val screxp3_ = str2term "SubProblem (Biegelinie_,[makeFunctionTo,equation],\
 \                          [Equation,fromFunction])         \
 \                          [BOOL (hd fs_), BOOL b1_]";
 val fs_ = str2term "fs_::bool list";
 val screxp3 = subst_atomic [(fs_,fs),(b1_,b1)] screxp3_;
 writeln (term2str screxp3);
 val SOME (equ,_) = rewrite_set_ Isac.thy false srls2 screxp3;
 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 ()
-else raise error "biegelinie.sml: rew. Bieglie2 --3";
+else error "biegelinie.sml: rew. Bieglie2 --3";
 writeln (term2str equ);
 (*SubProblem
 (Biegelinie_, [makeFunctionTo, equation], [Equation, fromFunction])
 [BOOL
 (y x =
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 "--- before 1.subpbl [Equation, fromFunction]";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of (_, Apply_Method ["Biegelinien", "setzeRandbedingungenEin"])=>()
-| _ => raise error "biegelinie.sml: met setzeRandbed*Ein aa";
+| _ => error "biegelinie.sml: met setzeRandbed*Ein aa";
 "----- Randbedingung y 0 = 0 in SUBpbl with met [Equation, fromFunction]";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 if (#1 o (get_obj g_fmz pt)) (fst p) =
 ["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))",
 "substitution (y 0 = 0)", "equality equ___"] then ()
-else raise error "biegelinie.sml met setzeRandbed*Ein bb";
+else error "biegelinie.sml met setzeRandbed*Ein bb";
 (writeln o istate2str) (get_istate pt p);
 "--- after 1.subpbl [Equation, fromFunction]";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of (_, Apply_Method["Equation", "fromFunction"]) => ()
-| _ => raise error "biegelinie.sml met2 ff";
+| _ => error "biegelinie.sml met2 ff";
 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)";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of (_, Check_Postcond ["makeFunctionTo", "equation"]) => ()
-| _ => raise error "biegelinie.sml met2 gg";
+| _ => error "biegelinie.sml met2 gg";
 "--- before 2.subpbl [Equation, fromFunction]";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "0 = c_4 + 0 / (-1 * EI)" ;
 case nxt of (_,Subproblem (_, ["makeFunctionTo", "equation"])) => ()
-| _ => raise error "biegelinie.sml met2 hh";
+| _ => error "biegelinie.sml met2 hh";
 "--- after 1st arrival at 2.subpbl [Equation, fromFunction]";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 if (#1 o (get_obj g_fmz pt)) (fst p) =
 ["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))",
 "substitution (y L = 0)", "equality equ___"] then ()
-else raise error "biegelinie.sml metsetzeRandbed*Ein bb ";
+else error "biegelinie.sml metsetzeRandbed*Ein bb ";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of (_, Apply_Method["Equation", "fromFunction"]) => ()
-| _ => raise error "biegelinie.sml met2 ii";
+| _ => error "biegelinie.sml met2 ii";
 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)";
 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)";
 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)";
 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)" ;
 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)";
 case nxt of (_,Subproblem (_, ["makeFunctionTo", "equation"])) => ()
-| _ => raise error "biegelinie.sml met2 jj";
+| _ => error "biegelinie.sml met2 jj";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of (_, Apply_Method ["Equation", "fromFunction"])=>()
-| _ => raise error "biegelinie.sml met2 kk";
+| _ => error "biegelinie.sml met2 kk";
 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*);
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "0 = c_2 + c * 0 + -1 * q_0 / 2 * 0 ^^^ 2";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "0 = c_2";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "0 = c_2";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of (_,Subproblem (_, ["makeFunctionTo", "equation"])) => ()
-| _ => raise error "biegelinie.sml met2 ll";
+| _ => error "biegelinie.sml met2 ll";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of (_, Apply_Method ["Equation", "fromFunction"])=>()
-| _ => raise error "biegelinie.sml met2 mm";
+| _ => error "biegelinie.sml met2 mm";
 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";
 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";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f = "0 = c_2 + c * L + -1 * q_0 / 2 * L ^^^ 2";
 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";
 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";
 case nxt of (_, Check_Postcond ["setzeRandbedingungen", "Biegelinien"]) => ()
-| _ => raise error "biegelinie.sml met2 nn";
+| _ => error "biegelinie.sml met2 nn";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 if nxt = ("End_Proof'", End_Proof') andalso f2str f =
 (* "[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]" *)
 "[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]"
-then () else raise error "biegelinie.sml met2 oo";
+then () else error "biegelinie.sml met2 oo";
 (*
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 if nxt = ("Apply_Method", Apply_Method ["IntegrierenUndKonstanteBestimmen2"])
-then () else raise error "biegelinie.sml met2 a";
+then () else error "biegelinie.sml met2 a";
 (*** actual arg(s) missing for '["(#Find, (Funktionen, funs_))"]' i.e. should be 'copy-named' by '*_._'
 ... THIS MEANS:
 #a# "Script Biegelinie2Script ..
 \         ... (SubProblem (Biegelinie_,[vonBelastungZu,Biegelinien],      \
 moveActiveRoot 1;
 autoCalculate 1 CompleteCalc;
 val ((pt,p),_) = get_calc 1; show_pt pt;
 if p = ([], Res) andalso term2str (get_obj g_res pt (fst p)) =
 "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 ()
-else raise error "biegelinie.sml: diff.behav.7.70 with autoCalculate";
+else error "biegelinie.sml: diff.behav.7.70 with autoCalculate";
 val is = get_istate pt ([],Res); writeln (istate2str is);
 val t = str2term " last                                                     \
 \[Q x = L * q_0 + -1 * q_0 * x,                                              \
 \ M_b x = -1 * q_0 * L ^^^ 2 / 2 + q_0 * L / 1 * x + -1 * q_0 / 2 * x ^^^ 2,\

branch	isac-update-Isa09-2
changeset 38031	460c24a6a6ba
parent 38014	3e11e3c2dc42
child 38045	ac0f6fd8d129