Changeset 637

Timestamp:

2015-06-07T18:36:16-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

 

File:

• trunk/grobner.lisp (modified) (1 diff)

trunk/grobner.lisp

@@ -1610 +1610 @@
   (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* #'<))))
-