Changeset 4447 for branches/f4grobner/polynomial.lisp

Timestamp:

2016-06-11T08:36:52-07:00 (8 years ago)

Author:

Marek Rychlik

Message:

 

File:

• branches/f4grobner/polynomial.lisp (modified) (3 diffs)

branches/f4grobner/polynomial.lisp

@@ -362 +362 @@
 
 
-(defun fast-add (p q order-fn add-fn)
+(defun slow-add (p q order-fn add-fn)
   (cond
     ((endp p) q)
@@ -372 +372 @@
        (cond
          (greater-p                     ; (> (car p) (car q))
-          (cons (car p) (fast-add (cdr p) q order-fn add-fn))
+          (cons (car p) (slow-add (cdr p) q order-fn add-fn))
           )
          (equal-p                       ; (= (car p)) (car q))
@@ -378 +378 @@
             (cond 
               ((universal-zerop s)
-               (fast-add (cdr p) (cdr q) order-fn add-fn))
+               (slow-add (cdr p) (cdr q) order-fn add-fn))
               (t 
                ;; Adjust the lc of p
                (setf (lc p) s)
-               (cons (car p) (fast-add (cdr p) (cdr q) order-fn add-fn))
+               (cons (car p) (slow-add (cdr p) (cdr q) order-fn add-fn))
                ))))
          (t                    ;(< (car p) (car q))                     
-          (cons (car q) (fast-add p (cdr q) order-fn add-fn))
+          (cons (car q) (slow-add p (cdr q) order-fn add-fn))
           ))))))
 
+
+(defun fast-add (p q order-fn add-fn)
+  "This version calls SLOW-ADD and is bullet-proof."
+  (slow-add p q order-fn add-fn))
 
 #|