640 (*5>*)replaceFormula 1 "Diff (x^2 + x + 1, x)"; |
640 (*5>*)replaceFormula 1 "Diff (x^2 + x + 1, x)"; |
641 val ((pt,_),_) = get_calc 1; |
641 val ((pt,_),_) = get_calc 1; |
642 val PblObj {probl, meth, spec, fmz, env, loc, ...} = get_obj I pt []; |
642 val PblObj {probl, meth, spec, fmz, env, loc, ...} = get_obj I pt []; |
643 val NONE = env; |
643 val NONE = env; |
644 val (SOME istate, NONE) = loc; |
644 val (SOME istate, NONE) = loc; |
645 default_print_depth 5; |
645 (*default_print_depth 5;*) |
646 writeln"-----------------------------------------------------------"; |
646 writeln"-----------------------------------------------------------"; |
647 spec; |
647 spec; |
648 writeln (itms2str_ ctxt probl); |
648 writeln (itms2str_ ctxt probl); |
649 writeln (itms2str_ ctxt meth); |
649 writeln (itms2str_ ctxt meth); |
650 writeln (istate2str (fst istate)); |
650 writeln (istate2str (fst istate)); |
658 val ((pt,p),_) = get_calc 1; |
658 val ((pt,p),_) = get_calc 1; |
659 (*val p = ([], Pbl)*) |
659 (*val p = ([], Pbl)*) |
660 val PblObj {probl, meth, spec, fmz, env, loc, ...} = get_obj I pt []; |
660 val PblObj {probl, meth, spec, fmz, env, loc, ...} = get_obj I pt []; |
661 val NONE = env; |
661 val NONE = env; |
662 val (SOME istate, NONE) = loc; |
662 val (SOME istate, NONE) = loc; |
663 default_print_depth 5; writeln (istate2str (fst istate)); default_print_depth 3; |
663 (*default_print_depth 5;*) writeln (istate2str (fst istate)); (*default_print_depth 3;*) |
664 (*ScrState ([], |
664 (*ScrState ([], |
665 [], NONE, |
665 [], NONE, |
666 ??.empty, Sundef, false)*) |
666 ??.empty, Sundef, false)*) |
667 default_print_depth 5; spec; default_print_depth 3; |
667 (*default_print_depth 5;*) spec; (*default_print_depth 3;*) |
668 (*("Isac", |
668 (*("Isac", |
669 ["derivative_of", "function"], |
669 ["derivative_of", "function"], |
670 ["diff", "differentiate_on_R"]) : spec*) |
670 ["diff", "differentiate_on_R"]) : spec*) |
671 writeln (itms2str_ ctxt probl); |
671 writeln (itms2str_ ctxt probl); |
672 (*[ |
672 (*[ |
702 (***difference II***) |
702 (***difference II***) |
703 val ((pt,_),_) = get_calc 1; |
703 val ((pt,_),_) = get_calc 1; |
704 val PblObj {probl, meth, spec, fmz, env, loc, ...} = get_obj I pt []; |
704 val PblObj {probl, meth, spec, fmz, env, loc, ...} = get_obj I pt []; |
705 val NONE = env; |
705 val NONE = env; |
706 val (SOME istate, NONE) = loc; |
706 val (SOME istate, NONE) = loc; |
707 default_print_depth 5; writeln (istate2str (fst istate)); default_print_depth 3; |
707 (*default_print_depth 5;*) writeln (istate2str (fst istate)); (*default_print_depth 3;*) |
708 (*ScrState ([], |
708 (*ScrState ([], |
709 [], NONE, |
709 [], NONE, |
710 ??.empty, Sundef, false)*) |
710 ??.empty, Sundef, false)*) |
711 default_print_depth 5; spec; default_print_depth 3; |
711 (*default_print_depth 5;*) spec; (*default_print_depth 3;*) |
712 (*("Isac", |
712 (*("Isac", |
713 ["derivative_of", "function"], |
713 ["derivative_of", "function"], |
714 ["diff", "differentiate_on_R"]) : spec*) |
714 ["diff", "differentiate_on_R"]) : spec*) |
715 writeln (itms2str_ ctxt probl); |
715 writeln (itms2str_ ctxt probl); |
716 (*[ |
716 (*[ |