source:
branches/f4grobner/ngrobner.asd@
3184
| Last change on this file since 3184 was 2011, checked in by , 11 years ago | |
|---|---|
| File size: 939 bytes | |
| 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" | |
| [526] | 14 | :components ((:file "utils") |
| [480] | 15 | (:file "ring") |
| [1611] | 16 | (:file "monom") |
| [196] | 17 | (:file "order") |
| [87] | 18 | (:file "term") |
| [656] | 19 | (:file "ring-and-order") |
| [87] | 20 | (:file "termlist") |
| [1074] | 21 | (:file "infix") |
| 22 | (:file "infix-printer") | |
| [87] | 23 | (:file "polynomial") |
| 24 | (:file "priority-queue") | |
| 25 | (:file "pair-queue") | |
| [479] | 26 | (:file "grobner-debug") |
| [89] | 27 | (:file "division") |
| [132] | 28 | (:file "criterion") |
| [89] | 29 | (:file "buchberger") |
| 30 | (:file "gebauer-moeller") | |
| 31 | (:file "gb-postprocessing") | |
| [527] | 32 | (:file "grobner-wrap") |
| [508] | 33 | (:file "ideal") |
| [526] | 34 | (:file "ngrobner-package") |
| [507] | 35 | (:file "ngrobner") |
| [87] | 36 | ) |
| [85] | 37 | |
| [194] | 38 | :perform (load-op :after (op ngrobner) |
| 39 | (pushnew :ngrobner cl:*features*)) | |
| [88] | 40 | |
| [85] | 41 | ) |
Note:
See TracBrowser
for help on using the repository browser.
