Changeset 1351
- Timestamp:
- 2015-06-11T22:25:16-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/gb-postprocessing.lisp
r1349 r1351 66 66 (found t)) 67 67 ((not found) q) 68 ;;Find p in Q such that lm(p) is in LM(Q\{p}) 68 ;;1) Find p in Q such that lm(p) is in LM(Q\{p}) 69 ;;2) Set Q <- Q\{p} 69 70 (setf found nil) 70 71 (let ((x (find-if
Note:
See TracChangeset
for help on using the changeset viewer.