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.
|
Last change
on this file since 656 was 656, checked in by Marek Rychlik, 9 years ago |
|
* empty log message *
|
|
File size:
961 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")
|
|---|
| [87] | 16 | (:file "monomial")
|
|---|
| [196] | 17 | (:file "order")
|
|---|
| [87] | 18 | (:file "term")
|
|---|
| [656] | 19 | (:file "ring-and-order")
|
|---|
| [87] | 20 | (:file "termlist")
|
|---|
| 21 | (:file "polynomial")
|
|---|
| 22 | (:file "priority-queue")
|
|---|
| 23 | (:file "pair-queue")
|
|---|
| [479] | 24 | (:file "grobner-debug")
|
|---|
| [89] | 25 | (:file "division")
|
|---|
| [132] | 26 | (:file "criterion")
|
|---|
| [89] | 27 | (:file "buchberger")
|
|---|
| 28 | (:file "gebauer-moeller")
|
|---|
| 29 | (:file "gb-postprocessing")
|
|---|
| [527] | 30 | (:file "grobner-wrap")
|
|---|
| [508] | 31 | (:file "ideal")
|
|---|
| [651] | 32 | (:file "infix")
|
|---|
| 33 | (:file "infix-printer")
|
|---|
| 34 | (:file "parse")
|
|---|
| [526] | 35 | (:file "ngrobner-package")
|
|---|
| [507] | 36 | (:file "ngrobner")
|
|---|
| [87] | 37 | )
|
|---|
| [85] | 38 |
|
|---|
| [194] | 39 | :perform (load-op :after (op ngrobner)
|
|---|
| 40 | (pushnew :ngrobner cl:*features*))
|
|---|
| [88] | 41 |
|
|---|
| [85] | 42 | )
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
Download in other formats:
