Changeset 2563 for branches/f4grobner/polynomial.lisp
- Timestamp:
- 2015-06-19T16:31:17-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r2562 r2563 115 115 ((endp p) 116 116 ;; Include remaining terms of termlist1 117 (setf termlist1 (nconc termlist1q)))117 (setf termlist1 (nconc p q))) 118 118 ;; Copy all initial terms of q greater than (lt p) into p 119 119 (do ((r q (cdr q))) … … 123 123 (multiple-value-bind 124 124 (greater-p equal-p) 125 (lex> (lt p) (lt r)) 126 (when (and (not (greater-p)) equal-p) 127 (setf (lc p) (add-to (lc p) (lc q)))) 128 greater-p)))) 129 (push (pop r) p)))))) 125 (lex> (lt r) (lt p)) 126 (cond 127 (greater-p 128 (push (pop r) p)) 129 (equal-p 130 (setf (lc p) (add-to (lc p) (lc q))))) 131 (not greater-p)))))))))) 130 132 self) 131 133
Note:
See TracChangeset
for help on using the changeset viewer.