- Timestamp:
- 2015-06-11T22:28:05-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/gb-postprocessing.lisp
r1354 r1355 69 69 ;;2) Set Q <- Q\{p} 70 70 (setf found nil) 71 ;; NOTE: Below we rely on the fact that NIL is not of type POLY 71 72 (let ((x (find-if 72 73 #'(lambda (y)
Note:
See TracChangeset
for help on using the changeset viewer.