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 4131 for branches/f4grobner


Ignore:
Timestamp:
2016-06-01T17:33:20-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/buchberger.lisp

    r1958 r4131  
    2525        :criterion :pair-queue :priority-queue
    2626        )
    27   (:export "BUCHBERGER" "PARALLEL-BUCHBERGER"))
     27  (:export "BUCHBERGER" "PARALLEL-BUCHBERGER")
     28  (:documentation "Buchberger Algorithm Implementation."))
    2829
    2930(in-package :buchberger)
    3031
    31 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    32 ;;
    33 ;; Buchberger Algorithm Implementation
    34 ;;
    35 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    3632
    37 (defun buchberger (ring-and-order f
     33(defun buchberger (f
    3834                   &optional
    3935                     (start 0)
     
    4743reduction will be preformed. This function assumes that all polynomials
    4844in F are non-zero."
    49   (declare (type ring-and-order ring-and-order) (type fixnum start))
     45  (declare (type fixnum start))
    5046  (when (endp f) (return-from buchberger f)) ;cut startup costs
    5147  (debug-cgb "~&GROBNER BASIS - BUCHBERGER ALGORITHM")
    5248  (when (plusp start) (debug-cgb "~&INCREMENTAL:~d done" start))
    53   #+grobner-check  (when (plusp start)
    54                      (grobner-test ring-and-order (subseq f 0 start) (subseq f 0 start)))
     49  #+grobner-check (when (plusp start)
     50                    (grobner-test (subseq f 0 start) (subseq f 0 start)))
    5551  ;;Initialize critical pairs
    56   (let ((b (pair-queue-initialize (make-pair-queue)
    57                                   f start))
     52  (let ((b (make-critical-pair-queue f start))
    5853        (b-done (make-hash-table :test #'equal)))
    5954    (declare (type priority-queue b) (type hash-table b-done))
Note: See TracChangeset for help on using the changeset viewer.