Changeset 449
- Timestamp:
- 2015-06-06T20:10:31-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/pair-queue.lisp
r189 r449 20 20 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 21 21 22 (in-package :ngrobner)23 24 22 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 25 23 ;; 26 ;; Pair queue implementation24 ;; Critical pair queue implementation 27 25 ;; 28 26 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 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 29 48 30 49 (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.