57 val ((pt,p),_) = get_calc 1; show_pt pt; |
57 val ((pt,p),_) = get_calc 1; show_pt pt; |
58 (*[ |
58 (*[ |
59 (([], Frm), Simplify (14 * x * y / (x * y))), |
59 (([], Frm), Simplify (14 * x * y / (x * y))), |
60 (([1], Frm), 14 * x * y / (x * y))] *) |
60 (([1], Frm), 14 * x * y / (x * y))] *) |
61 |
61 |
62 appendFormula 1 "14" |> Future.join; |
62 appendFormula 1 "14" (*|> Future.join*); |
63 val ((pt,p),_) = get_calc 1; show_pt pt; |
63 val ((pt,p),_) = get_calc 1; show_pt pt; |
64 (*[ |
64 (*[ |
65 (([], Frm), Simplify (14 * x * y / (x * y))), |
65 (([], Frm), Simplify (14 * x * y / (x * y))), |
66 (([1], Frm), 14 * x * y / (x * y)), |
66 (([1], Frm), 14 * x * y / (x * y)), |
67 (([1,1], Frm), 14 * x * y / (x * y)), |
67 (([1,1], Frm), 14 * x * y / (x * y)), |