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.
| Rev | Line | |
|---|
| [85] | 1 | ;;; -*- mode: lisp -*-
|
|---|
| 2 | (in-package :cl-user)
|
|---|
| 3 |
|
|---|
| 4 | #+sbcl(require :asdf)
|
|---|
| 5 |
|
|---|
| [193] | 6 | (defpackage #:ngrobner-system
|
|---|
| [85] | 7 | (:use #:asdf #:cl))
|
|---|
| 8 |
|
|---|
| [194] | 9 | (in-package #:ngrobner-system)
|
|---|
| [85] | 10 |
|
|---|
| [193] | 11 | (defsystem ngrobner
|
|---|
| [85] | 12 | :author "Marek Rychlik"
|
|---|
| 13 | :licence "LLGPL"
|
|---|
| [183] | 14 | :components ((:file "ngrobner")
|
|---|
| [87] | 15 | (:file "monomial")
|
|---|
| 16 | (:file "term")
|
|---|
| 17 | (:file "termlist")
|
|---|
| 18 | (:file "polynomial")
|
|---|
| 19 | (:file "order")
|
|---|
| 20 | (:file "order-mk")
|
|---|
| 21 | (:file "priority-queue")
|
|---|
| 22 | (:file "pair-queue")
|
|---|
| [118] | 23 | (:file "utils")
|
|---|
| [89] | 24 | (:file "division")
|
|---|
| [132] | 25 | (:file "criterion")
|
|---|
| [89] | 26 | (:file "buchberger")
|
|---|
| 27 | (:file "gebauer-moeller")
|
|---|
| 28 | (:file "gb-postprocessing")
|
|---|
| [90] | 29 | (:file "ideal")
|
|---|
| [87] | 30 | )
|
|---|
| [85] | 31 |
|
|---|
| [194] | 32 | :perform (load-op :after (op ngrobner)
|
|---|
| 33 | (pushnew :ngrobner cl:*features*))
|
|---|
| [88] | 34 |
|
|---|
| [85] | 35 | )
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
Download in other formats:
