280 ["equalities [0 = -1 * q_0 * 0 ^^^ 2 / 2 + 0 * c + c_2," ^ |
280 ["equalities [0 = -1 * q_0 * 0 ^^^ 2 / 2 + 0 * c + c_2," ^ |
281 "0 = -1 * q_0 * L ^^^ 2 / 2 + L * c + (c_2::real)]", |
281 "0 = -1 * q_0 * L ^^^ 2 / 2 + L * c + (c_2::real)]", |
282 "solveForVars [c, c_2]", "solution LL"]; |
282 "solveForVars [c, c_2]", "solution LL"]; |
283 |
283 |
284 (*WN120313 in "solution L" above "refine fmz ["LINEAR","system"]" caused an error...*) |
284 (*WN120313 in "solution L" above "refine fmz ["LINEAR","system"]" caused an error...*) |
285 "~~~~~ fun refine, args:"; val ((fmz:fmz_), (pblID:Spec.pblID)) = (fmz, ["LINEAR","system"]); |
285 "~~~~~ fun refine, args:"; val ((fmz:fmz_), (pblID:Problem.id)) = (fmz, ["LINEAR","system"]); |
286 "~~~~~ fun refin', args:"; val ((pblRD: pblRD), fmz, pbls, ((Store.Node (pI, [py], [])): Problem.T Store.node)) = |
286 "~~~~~ fun refin', args:"; val ((pblRD: pblRD), fmz, pbls, ((Store.Node (pI, [py], [])): Problem.T Store.node)) = |
287 ((rev o tl) pblID, fmz, [(*match list*)], |
287 ((rev o tl) pblID, fmz, [(*match list*)], |
288 ((Store.Node ("LINEAR", [get_pbt ["LINEAR","system"]], [])): Problem.T Store.node)); |
288 ((Store.Node ("LINEAR", [get_pbt ["LINEAR","system"]], [])): Problem.T Store.node)); |
289 val {thy, ppc, where_, prls, ...} = py ; |
289 val {thy, ppc, where_, prls, ...} = py ; |
290 "~~~~~ fun prep_ori, args:"; val (fmz, thy, pbt) = (fmz, thy, ppc); |
290 "~~~~~ fun prep_ori, args:"; val (fmz, thy, pbt) = (fmz, thy, ppc); |