equal
deleted
inserted
replaced
573 " (if (((lhs e_e) is_sqrtTerm_in v_v) | ((rhs e_e) is_sqrtTerm_in v_v))" ^ |
573 " (if (((lhs e_e) is_sqrtTerm_in v_v) | ((rhs e_e) is_sqrtTerm_in v_v))" ^ |
574 " then (SubProblem (RootEq',[normalize,root',univariate,equation], " ^ |
574 " then (SubProblem (RootEq',[normalize,root',univariate,equation], " ^ |
575 " [no_met]) [BOOL e_e, REAL v_v]) " ^ |
575 " [no_met]) [BOOL e_e, REAL v_v]) " ^ |
576 " else (SubProblem (RootEq',[univariate,equation], [no_met]) " ^ |
576 " else (SubProblem (RootEq',[univariate,equation], [no_met]) " ^ |
577 " [BOOL e_e, REAL v_v])) " ^ |
577 " [BOOL e_e, REAL v_v])) " ^ |
578 "in Check_elementwise L_L {(v_v::real). Assumptions})" |
578 "in Check_elementwise L_LL {(v_v::real). Assumptions})" |
579 )); |
579 )); |
580 *} |
580 *} |
581 |
581 |
582 ML {* |
582 ML {* |
583 (*-- right 28.08.02 --*) |
583 (*-- right 28.08.02 --*) |