equal
deleted
inserted
replaced
236 if f = Form' |
236 if f = Form' |
237 (FormKF |
237 (FormKF |
238 (~1,EdUndef,1,Nundef, |
238 (~1,EdUndef,1,Nundef, |
239 "9 + 4 * x = 5 + 2 * x + 2 * sqrt (x ^^^ 2 + 5 * x)")) |
239 "9 + 4 * x = 5 + 2 * x + 2 * sqrt (x ^^^ 2 + 5 * x)")) |
240 then () else error "behaviour in root-expl. Free_Solve changed"; |
240 then () else error "behaviour in root-expl. Free_Solve changed"; |
241 writeln (pr_ptree pr_short pt); |
241 writeln (pr_ctree pr_short pt); |
242 ---------------------------------meNEW raises exception with not-locatable*) |
242 ---------------------------------meNEW raises exception with not-locatable*) |
243 |
243 |
244 |
244 |
245 val d = e_rls; |
245 val d = e_rls; |
246 |
246 |