anchor.diff:                             i j a b c (abs (- c sum)))))))))
     (format t "verification succeed.~%"))
   
  +;; Check the multiplication
   (defun verify-mat-mul (A B)
     (let* ((m (car (array-dimensions A)))
            (n (cadr (array-dimensions A)))
  
positive.code:                  (sync-memory-block GN5 :device-to-host)
                   ;    (verify-result a b c n)
                   ))))
  
negative.code: 
  
  
  (defun train (network input desired-output)
    (let* ((dev-id 0)
           (n 4096)
           (threads-per-block 256)
           (blocks-per-grid (/ n treads-per-block)))
      ;; Make the kernel calls
      (with-cuda (dev-id)
                 (with-memory-blocks 
                   ((GN1 'float *input-layer*)
  