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 449


Ignore:
Timestamp:
2015-06-06T20:10:31-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/pair-queue.lisp

    r189 r449  
    2020;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    2121
    22 (in-package :ngrobner)
    23 
    2422;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    2523;;
    26 ;; Pair queue implementation
     24;; Critical pair queue implementation
    2725;;
    2826;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
     27
     28(defpackage "PAIR-QUEUE"
     29  (:use :cl :priority-queue)
     30  (:export "SUGAR-PAIR-KEY"
     31           "PAIR"
     32           "PAIR-FIRST"
     33           "PAIR-SECOND"
     34           "PAIR-SUGAR"
     35           "PAIR-DIVISION-DATA"
     36           "SUGAR-ORDER"
     37           "*PAIR-KEY-FUNCTION*"
     38           "*PAIR-ORDER*"
     39           "MAKE-PAIR-QUEUE"
     40           "PAIR-QUEUE-INITIALIZE"
     41           "PAIR-QUEUE-INSERT"
     42           "PAIR-QUEUE-REMOVE"
     43           "PAIR-QUEUE-SIZE"
     44           "PAIR-QUEUE-EMPTY-P"
     45           "SET-PAIR-HEURISTIC"
     46           ))
     47           
    2948
    3049(defun sugar-pair-key (p q &aux (lcm (monom-lcm (poly-lm p) (poly-lm q)))
Note: See TracChangeset for help on using the changeset viewer.