- Timestamp:
- 2015-06-11T22:59:01-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/grobner-wrap.lisp
r1374 r1375 48 48 49 49 (defun grobner (ring-and-order f &optional (start 0) (top-reduction-only nil)) 50 "Compute the Groebner basis of an ideal generated by F. Optionally, 51 assume that first START elements are already a grobner basis. 52 If TOP-REDUCTION-ONLY is T then perform top reduction only, i.e. 53 do not carry out division beyond the leading term." 50 54 (declare (type ring-and-order ring-and-order)) 51 55 ;;(setf F (sort F #'< :key #'sugar))
Note:
See TracChangeset
for help on using the changeset viewer.