close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 1376


Ignore:
Timestamp:
2015-06-11T22:59:41-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/grobner-wrap.lisp

    r1375 r1376  
    4747     #'gebauer-moeller)))
    4848
    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))
    5053  "Compute the Groebner basis of an ideal generated by F. Optionally,
    5154assume 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."
     55If TOP-REDUCTION-ONLY is T then perform top reduction only."
    5456  (declare (type ring-and-order ring-and-order))
    5557  ;;(setf F (sort F #'< :key #'sugar))
Note: See TracChangeset for help on using the changeset viewer.