34 checkContext 1 pos guh; |
34 checkContext 1 pos guh; |
35 val ((pt,_),_) = get_calc 1; |
35 val ((pt,_),_) = get_calc 1; |
36 val pp = par_pblobj pt p; |
36 val pp = par_pblobj pt p; |
37 val keID = guh2kestoreID guh; |
37 val keID = guh2kestoreID guh; |
38 case context_pbl keID pt pp of (true,["univariate", "equation"],_,_,_)=>() |
38 case context_pbl keID pt pp of (true,["univariate", "equation"],_,_,_)=>() |
39 | _ => raise error "mathengine.sml: context_pbl .. pbl_equ_univ checked"; |
39 | _ => error "mathengine.sml: context_pbl .. pbl_equ_univ checked"; |
40 |
40 |
41 case get_obj g_spec pt p of (_, ["e_pblID"], _) => () |
41 case get_obj g_spec pt p of (_, ["e_pblID"], _) => () |
42 | _ => raise error "mathengine.sml: context_pbl .. pbl still empty"; |
42 | _ => error "mathengine.sml: context_pbl .. pbl still empty"; |
43 setContext 1 pos guh; |
43 setContext 1 pos guh; |
44 val ((pt,_),_) = get_calc 1; |
44 val ((pt,_),_) = get_calc 1; |
45 case get_obj g_spec pt p of (_, ["univariate", "equation"], _) => () |
45 case get_obj g_spec pt p of (_, ["univariate", "equation"], _) => () |
46 | _ => raise error "mathengine.sml: context_pbl .. pbl set"; |
46 | _ => error "mathengine.sml: context_pbl .. pbl set"; |
47 |
47 |
48 |
48 |
49 setContext 1 pos "met_eq_lin"; |
49 setContext 1 pos "met_eq_lin"; |
50 val ((pt,_),_) = get_calc 1; |
50 val ((pt,_),_) = get_calc 1; |
51 case get_obj g_spec pt p of (_, _, ["LinEq", "solve_lineq_equation"]) => () |
51 case get_obj g_spec pt p of (_, _, ["LinEq", "solve_lineq_equation"]) => () |
52 | _ => raise error "mathengine.sml: context_pbl .. pbl set"; |
52 | _ => error "mathengine.sml: context_pbl .. pbl set"; |
53 |
53 |
54 |
54 |
55 "----------- tryrefine -------------------------------------------"; |
55 "----------- tryrefine -------------------------------------------"; |
56 "----------- tryrefine -------------------------------------------"; |
56 "----------- tryrefine -------------------------------------------"; |
57 "----------- tryrefine -------------------------------------------"; |
57 "----------- tryrefine -------------------------------------------"; |