60 |
in |
in |
61 |
mkVar (0, l, []) |
mkVar (0, l, []) |
62 |
end |
end |
63 |
val _ = print(concat["probeElem: ", Partials.partialToString pdOp, " in ", Int.toString(List.length convCoeffs), "D space\n"]) |
val _ = Log.msg(concat["probeElem: ", Partials.partialToString pdOp, " in ", Int.toString(List.length convCoeffs), "D space\n"]) |
64 |
(* for each dimension in space, we evaluate the kernel at the coordinates for that axis. |
(* for each dimension in space, we evaluate the kernel at the coordinates for that axis. |
65 |
* the coefficients are |
* the coefficients are |
66 |
* h_{s-i} (f - i) for 1-s <= i <= s |
* h_{s-i} (f - i) for 1-s <= i <= s |
141 |
val indentWid = ref 2 |
val indentWid = ref 2 |
142 |
fun inc () = (indentWid := !indentWid + 2) |
fun inc () = (indentWid := !indentWid + 2) |
143 |
fun dec () = (indentWid := !indentWid - 2) |
fun dec () = (indentWid := !indentWid - 2) |
144 |
fun indent () = print(CharVector.tabulate(!indentWid, fn _ => #" ")) |
fun indent () = Log.msg(CharVector.tabulate(!indentWid, fn _ => #" ")) |
145 |
fun nd () = (indent(); print "ND\n"); |
fun nd () = (indent(); Log.msg "ND\n"); |
146 |
fun lf {offsets, vox} = ( |
fun lf {offsets, vox} = ( |
147 |
indent(); print "LF{offsets = ["; print(String.concatWith "," (List.map Int.toString offsets)); |
indent(); Log.msg "LF{offsets = ["; Log.msg(String.concatWith "," (List.map Int.toString offsets)); |
148 |
print "], vox = "; print(DstV.toString vox); print "}\n") |
Log.msg "], vox = "; Log.msg(DstV.toString vox); Log.msg "}\n") |
149 |
fun pr (Shape.ND(attr, kids)) = (nd attr; inc(); List.app pr kids; dec()) |
fun pr (Shape.ND(attr, kids)) = (nd attr; inc(); List.app pr kids; dec()) |
150 |
| pr (Shape.LF attr) = lf attr |
| pr (Shape.LF attr) = lf attr |
151 |
in |
in |
152 |
print "voxIter:\n"; |
Log.msg "voxIter:\n"; |
153 |
pr voxIter |
pr voxIter |
154 |
end |
end |
155 |
val loadCode = let |
val loadCode = let |
258 |
val indentWid = ref 2 |
val indentWid = ref 2 |
259 |
fun inc () = (indentWid := !indentWid + 2) |
fun inc () = (indentWid := !indentWid + 2) |
260 |
fun dec () = (indentWid := !indentWid - 2) |
fun dec () = (indentWid := !indentWid - 2) |
261 |
fun indent () = print(CharVector.tabulate(!indentWid, fn _ => #" ")) |
fun indent () = Log.msg(CharVector.tabulate(!indentWid, fn _ => #" ")) |
262 |
fun nd ty = (indent(); print(concat["ND(", DstTy.toString ty, ")\n"])) |
fun nd ty = (indent(); Log.msg(concat["ND(", DstTy.toString ty, ")\n"])) |
263 |
fun lf (x, partial) = ( |
fun lf (x, partial) = ( |
264 |
indent(); print(concat["LF(", DstV.toString x, ", ", Partials.partialToString partial, ")\n"])) |
indent(); Log.msg(concat["LF(", DstV.toString x, ", ", Partials.partialToString partial, ")\n"])) |
265 |
fun pr (Shape.ND(attr, kids)) = (nd attr; inc(); List.app pr kids; dec()) |
fun pr (Shape.ND(attr, kids)) = (nd attr; inc(); List.app pr kids; dec()) |
266 |
| pr (Shape.LF attr) = lf attr |
| pr (Shape.LF attr) = lf attr |
267 |
in |
in |
268 |
print "diffIter:\n"; |
Log.msg "diffIter:\n"; |
269 |
pr diffIter |
pr diffIter |
270 |
end |
end |
271 |
val vars = {h=h, n=n, f=f, img=img} |
val vars = {h=h, n=n, f=f, img=img} |