173 " (Try (Rewrite_Set rooteq_simplify False)) @@ " ^ |
173 " (Try (Rewrite_Set rooteq_simplify False)) @@ " ^ |
174 " (Try (Rewrite_Set make_rooteq False)) @@ " ^ |
174 " (Try (Rewrite_Set make_rooteq False)) @@ " ^ |
175 " (Try (Rewrite_Set rooteq_simplify False)) @@ " ^ |
175 " (Try (Rewrite_Set rooteq_simplify False)) @@ " ^ |
176 " (Try (Rewrite_Set_Inst [(bdv,v_)] " ^ |
176 " (Try (Rewrite_Set_Inst [(bdv,v_)] " ^ |
177 " rootrat_solve False))) e_e " ^ |
177 " rootrat_solve False))) e_e " ^ |
178 " in (SubProblem (RootEq_,[univariate,equation], " ^ |
178 " in (SubProblem (RootEq',[univariate,equation], " ^ |
179 " [no_met]) [BOOL e_e, REAL v_]))" |
179 " [no_met]) [BOOL e_e, REAL v_]))" |
180 )); |
180 )); |
181 calclist':= overwritel (!calclist', |
181 calclist':= overwritel (!calclist', |
182 [("is_rootRatAddTerm_in", ("RootRatEq.is_rootRatAddTerm_in", |
182 [("is_rootRatAddTerm_in", ("RootRatEq.is_rootRatAddTerm_in", |
183 eval_is_rootRatAddTerm_in"")) |
183 eval_is_rootRatAddTerm_in"")) |