| Rev | Line | |
|---|
| 1 | ;;; -*- mode: lisp -*-
|
|---|
| 2 | (in-package :cl-user)
|
|---|
| 3 |
|
|---|
| 4 | #+sbcl(require :asdf)
|
|---|
| 5 |
|
|---|
| 6 | (defpackage #:ngrobner-system
|
|---|
| 7 | (:use #:asdf #:cl))
|
|---|
| 8 |
|
|---|
| 9 | (in-package #:ngrobner-system)
|
|---|
| 10 |
|
|---|
| 11 | (defsystem ngrobner
|
|---|
| 12 | :author "Marek Rychlik"
|
|---|
| 13 | :licence "LLGPL"
|
|---|
| 14 | :components ((:file "utils")
|
|---|
| 15 | (:file "ring")
|
|---|
| 16 | (:file "monomial")
|
|---|
| 17 | (:file "order")
|
|---|
| 18 | (:file "term")
|
|---|
| 19 | (:file "ring-and-order")
|
|---|
| 20 | (:file "termlist")
|
|---|
| 21 | (:file "polynomial")
|
|---|
| 22 | (:file "priority-queue")
|
|---|
| 23 | (:file "pair-queue")
|
|---|
| 24 | (:file "grobner-debug")
|
|---|
| 25 | (:file "division")
|
|---|
| 26 | (:file "criterion")
|
|---|
| 27 | (:file "buchberger")
|
|---|
| 28 | (:file "gebauer-moeller")
|
|---|
| 29 | (:file "gb-postprocessing")
|
|---|
| 30 | (:file "grobner-wrap")
|
|---|
| 31 | (:file "ideal")
|
|---|
| 32 | (:file "infix")
|
|---|
| 33 | (:file "parse")
|
|---|
| 34 | (:file "infix-printer")
|
|---|
| 35 | (:file "ngrobner-package")
|
|---|
| 36 | (:file "ngrobner")
|
|---|
| 37 | )
|
|---|
| 38 |
|
|---|
| 39 | :perform (load-op :after (op ngrobner)
|
|---|
| 40 | (pushnew :ngrobner cl:*features*))
|
|---|
| 41 |
|
|---|
| 42 | )
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
