Changeset 2605

Timestamp:

2015-06-20T01:17:39-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/polynomial.lisp (modified) (1 diff)

branches/f4grobner/polynomial.lisp

@@ -120 +120 @@
 The result is stored in SELF. This implementation does
 no consing, entirely reusing the sells of SELF and OTHER."
-    (with-slots ((termlist1 termlist) (order1 order))
-        self
-      (with-slots ((termlist2 termlist) (order2 order))
-          other
-        ;; Ensure orders are compatible
-        (unless (eq order1 order2)
-          (setf termlist2 (sort termlist2 order1)
-                order2 order1))
-        ;; Create dummy head
-        (push nil termlist1)
-        (push nil termlist2)
-        (fast-add-to termlist1 termlist2 order1)
-        ;; Remove dummy head
-        (pop termlist1))))
+  (with-slots ((termlist1 termlist) (order1 order))
+      self
+    (with-slots ((termlist2 termlist) (order2 order))
+        other
+      ;; Ensure orders are compatible
+      (unless (eq order1 order2)
+        (setf termlist2 (sort termlist2 order1)
+              order2 order1))
+      ;; Create dummy head
+      (push nil termlist1)
+      (push nil termlist2)
+      (fast-add-to termlist1 termlist2 order1)
+      ;; Remove dummy head
+      (pop termlist1)))
   self)