Changeset 1376
- Timestamp:
- 2015-06-11T22:59:41-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/grobner-wrap.lisp
r1375 r1376 47 47 #'gebauer-moeller))) 48 48 49 (defun grobner (ring-and-order f &optional (start 0) (top-reduction-only nil)) 49 (defun grobner (ring-and-order f 50 &optional 51 (start 0) 52 (top-reduction-only nil)) 50 53 "Compute the Groebner basis of an ideal generated by F. Optionally, 51 54 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." 55 If TOP-REDUCTION-ONLY is T then perform top reduction only." 54 56 (declare (type ring-and-order ring-and-order)) 55 57 ;;(setf F (sort F #'< :key #'sugar))
Note:
See TracChangeset
for help on using the changeset viewer.