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 258


Ignore:
Timestamp:
2015-06-05T16:34:11-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/mx-grobner.lisp

    r257 r258  
    3939($load "functs")
    4040
     41
     42(defvar *ngrobner-files* '("ngrobner-package" "utils" "ngrobner" "monomial"
     43                           "order" "order-mk" "term" "termlist" "polynomial" "priority-queue"
     44                           "pair-queue" "division" "criterion" "buchberger" "gebauer-moeller"
     45                           "gb-postprocessing" "ideal")
     46  "List of files in the NGROBNER package")
     47
    4148;; Compile/load NGROBNER package files
    4249(eval-when
    4350    #+gcl (load eval)
    4451    #-gcl (:load-toplevel :execute)
    45    
    46     (dolist (file
    47               '(
    48                 "ngrobner-package" "utils" "ngrobner" "monomial"
    49                 "order" "order-mk" "term" "termlist" "polynomial" "priority-queue"
    50                 "pair-queue" "division" "criterion" "buchberger" "gebauer-moeller"
    51                 "gb-postprocessing" "ideal"
    52                 )
    53              )
     52    (dolist (file *ngrobner-files*)
    5453      (compile-file file :print nil :verbose t)
    5554      (load file)
Note: See TracChangeset for help on using the changeset viewer.