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 637


Ignore:
Timestamp:
2015-06-07T18:36:16-07:00 (10 years ago)
Author:
Marek Rychlik
Message:
 
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/grobner.lisp

    r29 r637  
    16101610  (reduction ring (grobner ring f start top-reduction-only)))
    16111611
    1612 (defun set-pair-heuristic (method)
    1613   "Sets up variables *PAIR-KEY-FUNCTION* and *PAIR-ORDER* used
    1614 to determine the priority of critical pairs in the priority queue."
    1615   (ecase method
    1616     ((sugar :sugar $sugar)
    1617      (setf *pair-key-function* #'sugar-pair-key
    1618            *pair-order* #'sugar-order))
    1619 ;     ((minimal-mock-spoly :minimal-mock-spoly $minimal_mock_spoly)
    1620 ;      (setf *pair-key-function* #'mock-spoly
    1621 ;          *pair-order* #'mock-spoly-order))
    1622     ((minimal-lcm :minimal-lcm $minimal_lcm)
    1623      (setf *pair-key-function* #'(lambda (p q)
    1624                                    (monom-lcm (poly-lm p) (poly-lm q)))
    1625            *pair-order* #'reverse-monomial-order))
    1626     ((minimal-total-degree :minimal-total-degree $minimal_total_degree)
    1627      (setf *pair-key-function* #'(lambda (p q)
    1628                                    (monom-total-degree
    1629                                     (monom-lcm (poly-lm p) (poly-lm q))))
    1630            *pair-order* #'<))
    1631     ((minimal-length :minimal-length $minimal_length)
    1632      (setf *pair-key-function* #'(lambda (p q)
    1633                                    (+ (poly-length p) (poly-length q)))
    1634            *pair-order* #'<))))
    1635 
    16361612
    16371613
Note: See TracChangeset for help on using the changeset viewer.