290 = Step.specify_do_next (pt, p); |
290 = Step.specify_do_next (pt, p); |
291 val ("ok", ([(Add_Given "fixedValues [r = Arbfix]", _, _)], _, ptp)) |
291 val ("ok", ([(Add_Given "fixedValues [r = Arbfix]", _, _)], _, ptp)) |
292 = Step.specify_do_next ptp; |
292 = Step.specify_do_next ptp; |
293 val ("ok", ([(Add_Find "maximum A", _, _)], _, ptp)) |
293 val ("ok", ([(Add_Find "maximum A", _, _)], _, ptp)) |
294 = Step.specify_do_next ptp; |
294 = Step.specify_do_next ptp; |
|
295 (*/---broken elementwise input to lists---\* ) |
295 val ("ok", ([(Add_Find "valuesFor [a]", _, _)], _, ptp)) |
296 val ("ok", ([(Add_Find "valuesFor [a]", _, _)], _, ptp)) |
296 = Step.specify_do_next ptp; |
297 = Step.specify_do_next ptp; |
297 val ("ok", ([(Add_Find "valuesFor [b]", _, _)], _, ptp)) |
298 val ("ok", ([(Add_Find "valuesFor [b]", _, _)], _, ptp)) |
298 = Step.specify_do_next ptp; |
299 = Step.specify_do_next ptp; |
|
300 ( *\---broken elementwise input to lists---/*) |
|
301 val ("ok", ([(Add_Find "valuesFor [a, b]", _, _)], _, ptp)) |
|
302 = Step.specify_do_next ptp; |
|
303 |
|
304 (*/---broken elementwise input to lists---\* ) |
299 val ("ok", ([(Add_Relation "relations [A = a * b]", _, _)], _, ptp)) |
305 val ("ok", ([(Add_Relation "relations [A = a * b]", _, _)], _, ptp)) |
300 = Step.specify_do_next ptp; |
306 = Step.specify_do_next ptp; |
301 val ("ok", ([(Add_Relation "relations [(a / 2) \<up> 2 + (b / 2) \<up> 2 = r \<up> 2]", _, _)], _, ptp)) |
307 val ("ok", ([(Add_Relation "relations [(a / 2) \<up> 2 + (b / 2) \<up> 2 = r \<up> 2]", _, _)], _, ptp)) |
|
308 = Step.specify_do_next ptp; |
|
309 ( *\---broken elementwise input to lists---/*) |
|
310 val ("ok", ([(Add_Relation "relations [A = a * b, (a / 2) \<up> 2 + (b / 2) \<up> 2 = r \<up> 2]", _, _)], _, ptp)) |
302 = Step.specify_do_next ptp; |
311 = Step.specify_do_next ptp; |
303 |
312 |
304 (*** Problem model is complete ============================================================ ***) |
313 (*** Problem model is complete ============================================================ ***) |
305 val PblObj {probl, ...} = get_obj I (fst ptp) []; |
314 val PblObj {probl, ...} = get_obj I (fst ptp) []; |
306 |
315 |