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 248


Ignore:
Timestamp:
2015-06-05T16:21:44-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/mx-grobner.lisp

    r241 r248  
    3939($load "functs")
    4040
    41 ($load "ngrobner-package")
    42 ($load "utils")
    43 ($load "ngrobner")
    44 ($load "monomial")
    45 ($load "order")
    46 ($load "order-mk")
    47 ($load "term")
    48 ($load "termlist")
    49 ($load "polynomial")
    50 ($load "priority-queue")
    51 ($load "pair-queue")
    52 ($load "division")
    53 ($load "criterion")
    54 ($load "buchberger")
    55 ($load "gebauer-moeller")
    56 ($load "gb-postprocessing")
    57 ($load "ideal")
     41(dolist (file
     42          '(
     43            "ngrobner-package" "utils" "ngrobner" "monomial"
     44            "order" "order-mk" "term" "termlist" "polynomial" "priority-queue"
     45            "pair-queue" "division" "criterion" "buchberger" "gebauer-moeller"
     46            "gb-postprocessing" "ideal"
     47            )
     48         )
     49  (compile-file file)
     50  (load file)
     51  )
    5852
    5953(use-package :ngrobner)
Note: See TracChangeset for help on using the changeset viewer.