400 "integrateBy x","antiDerivative FF"]; |
400 "integrateBy x","antiDerivative FF"]; |
401 val (dI',pI',mI') = |
401 val (dI',pI',mI') = |
402 ("Integrate",["integrate","function"], |
402 ("Integrate",["integrate","function"], |
403 ["diff","integration"]); |
403 ["diff","integration"]); |
404 val p = e_pos'; val c = []; |
404 val p = e_pos'; val c = []; |
405 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
405 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; (*nxt = ("Model_Pr*) |
406 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
406 val (p,_,f,nxt,_,pt) = me nxt p c pt; (*nxt = ("Tac ", ...)*) |
|
407 (*=== inhibit exn ?============================================================= |
407 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
408 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
408 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
409 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
409 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
410 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
410 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
411 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
411 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
412 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
415 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
416 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
416 if f2str f = "c + x + 1 / 3 * x ^^^ 3" then () |
417 if f2str f = "c + x + 1 / 3 * x ^^^ 3" then () |
417 else error "integrate.sml: method [diff,integration]"; |
418 else error "integrate.sml: method [diff,integration]"; |
418 |
419 |
419 |
420 |
420 (*=== inhibit exn ?============================================================= |
|
421 "----------- me method [diff,integration,named] ---------"; |
421 "----------- me method [diff,integration,named] ---------"; |
422 "----------- me method [diff,integration,named] ---------"; |
422 "----------- me method [diff,integration,named] ---------"; |
423 "----------- me method [diff,integration,named] ---------"; |
423 "----------- me method [diff,integration,named] ---------"; |
424 (*exp_CalcInt_No-2.xml*) |
424 (*exp_CalcInt_No-2.xml*) |
425 val fmz = ["functionTerm (x^^^2 + 1)", |
425 val fmz = ["functionTerm (x^^^2 + 1)", |