close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 4065 for branches


Ignore:
Timestamp:
2016-05-31T18:35:43-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/division.lisp

    r4064 r4065  
    8282          c f a fl r p)
    8383  |#
    84   (let* ((prod (inner-product a fl #'add #'multiply p-zero))
    85          (succeeded-p
    86           (universal-zerop
    87            (subtract
    88             (multiply c f)
    89             (reduce #'add (list prod r p))))))
     84  (let* ((prod (inner-product a fl add multiply p-zero))
     85         (succeeded-p (universal-zerop (subtract (multiply c f) (add prod r p)))))
    9086    (unless succeeded-p
    9187      (error "#### Polynomial division Loop invariant failed ####:~%C=~A~%F=~A~%A=~A~%FL=~A~%R=~A~%P=~A~%"
Note: See TracChangeset for help on using the changeset viewer.