Changeset 1356
- Timestamp:
- 2015-06-11T22:28:28-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/gb-postprocessing.lisp
r1355 r1356 66 66 (found t)) 67 67 ((not found) q) 68 (declare (type poly q)) 68 69 ;;1) Find p in Q such that lm(p) is in LM(Q\{p}) 69 70 ;;2) Set Q <- Q\{p}
Note:
See TracChangeset
for help on using the changeset viewer.