equal
deleted
inserted
replaced
94 "-------- build fun for_bdv --------------------------------------------------"; |
94 "-------- build fun for_bdv --------------------------------------------------"; |
95 "-------- build fun for_bdv --------------------------------------------------"; |
95 "-------- build fun for_bdv --------------------------------------------------"; |
96 "-------- build fun for_bdv --------------------------------------------------"; |
96 "-------- build fun for_bdv --------------------------------------------------"; |
97 Subst.program_to_input: Subst.program -> string list; |
97 Subst.program_to_input: Subst.program -> string list; |
98 |
98 |
99 val {scr = Prog prog, ...} = get_met ["diff", "differentiate_on_R"]; |
99 val {scr = Prog prog, ...} = Method.from_store ["diff", "differentiate_on_R"]; |
100 val env = [(str2term "v_v", str2term "x")] : Subst.T; |
100 val env = [(str2term "v_v", str2term "x")] : Subst.T; |
101 |
101 |
102 "~~~~~ fun for_bdv, args:"; val (prog, env) = (prog, env); |
102 "~~~~~ fun for_bdv, args:"; val (prog, env) = (prog, env); |
103 fun scan (Const _) = NONE |
103 fun scan (Const _) = NONE |
104 | scan (Free _) = NONE |
104 | scan (Free _) = NONE |