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 518 was 508, checked in by Marek Rychlik, 9 years ago |
|
* empty log message *
|
|
File size:
842 bytes
|
| 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 "ngrobner-package")
|
|---|
| 15 | (:file "utils")
|
|---|
| 16 | (:file "ring")
|
|---|
| 17 | (:file "monomial")
|
|---|
| 18 | (:file "order")
|
|---|
| 19 | (:file "term")
|
|---|
| 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 "ideal")
|
|---|
| 31 | (:file "ngrobner")
|
|---|
| 32 | )
|
|---|
| 33 |
|
|---|
| 34 | :perform (load-op :after (op ngrobner)
|
|---|
| 35 | (pushnew :ngrobner cl:*features*))
|
|---|
| 36 |
|
|---|
| 37 | )
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
Download in other formats:
