eval_argument_in "Atools.argument'_in")

 			      eval_argument_in "Atools.argument'_in")

 			 ],

 			 ],

 		scr = EmptyScr};

 		scr = EmptyScr};

 val rm_ = str2term"[M_b 0 = 0, M_b L = 0]";

 val rm_ = str2term"[M_b 0 = 0, M_b L = 0]";

 val M__ = str2term"M_b x = -1 * x ^^^ 2 / 2 + x * c + c_2";

 val M__ = str2term"M_b x = -1 * x ^^^ 2 / 2 + x * c + c_2";

     rewrite_set_ thy false srls 

     rewrite_set_ thy false srls 

 		 (str2term"(nth_::[real,bool list]=>bool) 1 " $ rm_);

 		 (str2term"(nth_::[real,bool list]=>bool) 1 " $ rm_);

 if term2str e1__ = "M_b 0 = 0" then ()

 if term2str e1__ = "M_b 0 = 0" then ()

 else raise error "biegelinie.sml simplify nth_ 1 rm_";

 else raise error "biegelinie.sml simplify nth_ 1 rm_";

     rewrite_set_ thy false srls 

     rewrite_set_ thy false srls 

 		 (str2term"argument_in (lhs (M_b 0 = 0))");

 		 (str2term"argument_in (lhs (M_b 0 = 0))");

 if term2str x1__ = "0" then ()

 if term2str x1__ = "0" then ()

 else raise error "biegelinie.sml simplify argument_in (lhs (M_b 0 = 0)";

 else raise error "biegelinie.sml simplify argument_in (lhs (M_b 0 = 0)";

  moveActiveRoot 1;

  moveActiveRoot 1;

  autoCalculate 1 CompleteCalcHead; 

  autoCalculate 1 CompleteCalcHead; 

  fetchProposedTactic 1 (*->"Apply_Method" IntegrierenUndKonstanteBestimmen*);

  fetchProposedTactic 1 (*->"Apply_Method" IntegrierenUndKonstanteBestimmen*);

 (*

 (*

 > is = e_scrstate;

 > is = e_scrstate;

 val it = true : bool

 val it = true : bool

 *)

 *)

  autoCalculate 1 (Step 1) (*->GENERATED ([1], Frm)*);

  autoCalculate 1 (Step 1) (*->GENERATED ([1], Frm)*);

  val ((pt,_),_) = get_calc 1;

  val ((pt,_),_) = get_calc 1;

 val rb = str2term "[y 0 = 0, y L = 0, M_b 0 = 0, M_b L = 0]";

 val rb = str2term "[y 0 = 0, y L = 0, M_b 0 = 0, M_b L = 0]";

 "--- script expression 1";

 "--- script expression 1";

 val screxp1_ = str2term "Take (nth_ 1 (rb_::bool list))";

 val screxp1_ = str2term "Take (nth_ 1 (rb_::bool list))";

 val screxp1  = subst_atomic [(rb_, rb)] screxp1_; term2str screxp1;

 val screxp1  = subst_atomic [(rb_, rb)] screxp1_; term2str screxp1;

 if term2str b1 = "Take (y 0 = 0)" then ()

 if term2str b1 = "Take (y 0 = 0)" then ()

 else raise error "biegelinie.sml: rew. Bieglie2 --1";

 else raise error "biegelinie.sml: rew. Bieglie2 --1";

 val b1 = str2term "(y 0 = 0)";

 val b1 = str2term "(y 0 = 0)";

 "--- script expression 2";

 "--- script expression 2";

 val screxp2_ = str2term "filter (sameFunId (lhs b1_)) funs_";

 val screxp2_ = str2term "filter (sameFunId (lhs b1_)) funs_";

 val b1_ = str2term "b1_::bool";

 val b1_ = str2term "b1_::bool";

 val screxp2 = subst_atomic [(b1_,b1),(funs_,funs)] screxp2_; term2str screxp2;

 val screxp2 = subst_atomic [(b1_,b1),(funs_,funs)] screxp2_; term2str screxp2;

 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 ()

 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 raise error "biegelinie.sml: rew. Bieglie2 --2";

 "--- script expression 3";

 "--- script expression 3";

 val screxp3_ = str2term "SubProblem (Biegelinie_,[makeFunctionTo,equation],\

 val screxp3_ = str2term "SubProblem (Biegelinie_,[makeFunctionTo,equation],\

 \                          [Equation,fromFunction])         \

 \                          [Equation,fromFunction])         \

 \                          [bool_ (hd fs_), bool_ b1_]";

 \                          [bool_ (hd fs_), bool_ b1_]";

 val fs_ = str2term "fs_::bool list";

 val fs_ = str2term "fs_::bool list";

 val screxp3 = subst_atomic [(fs_,fs),(b1_,b1)] screxp3_; 

 val screxp3 = subst_atomic [(fs_,fs),(b1_,b1)] screxp3_; 

 writeln (term2str screxp3);

 writeln (term2str 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 ()

 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 raise error "biegelinie.sml: rew. Bieglie2 --3";

 writeln (term2str equ);

 writeln (term2str equ);

 (*SubProblem

 (*SubProblem

  (Biegelinie_, [makeFunctionTo, equation], [Equation, fromFunction])

  (Biegelinie_, [makeFunctionTo, equation], [Equation, fromFunction])

 		       Thm ("if_False",num_str if_False)

 		       Thm ("if_False",num_str if_False)

 		       ]

 		       ]

 		      ;

 		      ;

 val t = str2term "last [1,2,3,4]";

 val t = str2term "last [1,2,3,4]";

 trace_rewrite := true;

 trace_rewrite := true;

 trace_rewrite := false;

 trace_rewrite := false;

 term2str e1__;

 term2str e1__;

 trace_script := true;

 trace_script := true;

 trace_script := false;

 trace_script := false;