lib/grad-value.proto

   1 ;; (def grad-value (src f)
   2 ;;   (rep v f (mux src f (2nd (min-hood (nbr (tup (gradient src) v)))))))
   3
   4 ;; (def grad-value (src f)
   5 ;;   (let ((d (gradient src)))
   6 ;;     (rep v f (mux src f (2nd (min-hood (nbr (tup d v))))))))
   7
   8 ;; (def grad-value (src f)
   9 ;;   (let ((d (gradient src)))
  10 ;;     (letfed ((v f (mux src f (2nd (fold-hood
  11 ;;                                  (fun (r x) (if (< (1st x) (1st r)) x r))
  12 ;;                                  (tup (inf) f)
  13 ;;                                  (tup d v))))))
  14 ;;       v)))
  15
  16 (def grad-value (src f)
  17   (let ((d (gradient src)))
  18     (letfed ((v f (mux src f (2nd (fold-hood
  19                                     (fun (r x) (if (< (1st x) (1st r)) x r))
  20                                     (tup (inf) f)
  21                                     (tup d v))))))
  22       v)))
  23
  24 ;; (def grad-value (src f)
  25 ;;   (letfed ((v f (mux src f (2nd (min-hood (nbr (tup (gradient src) v)) 1st)))))
  26 ;;     v))
  27
  28 ;; (rep v f (mux src f (2nd (min-hood (nbr (tup (gradient src) v)) 1st))))