Changeset 161

Timestamp:

2015-06-05T13:38:54-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/grobner.lisp (modified) (1 diff)

branches/f4grobner/grobner.lisp

@@ -193 +193 @@
 (defun reduced-grobner (ring f &optional (start 0) (top-reduction-only $poly_top_reduction_only))
   (reduction ring (grobner ring f start top-reduction-only)))
-
-(defun set-pair-heuristic (method)
-  "Sets up variables *PAIR-KEY-FUNCTION* and *PAIR-ORDER* used
-to determine the priority of critical pairs in the priority queue."
-  (ecase method
-    ((sugar :sugar $sugar)
-     (setf *pair-key-function* #'sugar-pair-key
-           *pair-order* #'sugar-order))
-;     ((minimal-mock-spoly :minimal-mock-spoly $minimal_mock_spoly)
-;      (setf *pair-key-function* #'mock-spoly
-;          *pair-order* #'mock-spoly-order))
-    ((minimal-lcm :minimal-lcm $minimal_lcm)
-     (setf *pair-key-function* #'(lambda (p q)
-                                   (monom-lcm (poly-lm p) (poly-lm q)))
-           *pair-order* #'reverse-monomial-order))
-    ((minimal-total-degree :minimal-total-degree $minimal_total_degree)
-     (setf *pair-key-function* #'(lambda (p q)
-                                   (monom-total-degree
-                                    (monom-lcm (poly-lm p) (poly-lm q))))
-           *pair-order* #'<))
-    ((minimal-length :minimal-length $minimal_length)
-     (setf *pair-key-function* #'(lambda (p q)
-                                   (+ (poly-length p) (poly-length q)))
-           *pair-order* #'<))))