[1] | 1 | ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
|
---|
| 2 | (defpackage cgb-system
|
---|
| 3 | (:use :common-lisp :asdf))
|
---|
| 4 |
|
---|
| 5 | (in-package :cgb-system)
|
---|
| 6 |
|
---|
| 7 | ;;----------------------------------------------------------------
|
---|
| 8 | ;; Various features which affect the functioning of the package
|
---|
| 9 | ;;----------------------------------------------------------------
|
---|
| 10 |
|
---|
| 11 | ;;Use pseudodivision to keep the size of integer coefficients
|
---|
| 12 | ;;as small as possible
|
---|
| 13 | (pushnew :pseudodivide *features*)
|
---|
| 14 |
|
---|
| 15 | ;;Use the grobner package within colored-poly package
|
---|
| 16 | (pushnew :colored-poly-use-grobner *features*)
|
---|
| 17 |
|
---|
| 18 | ;;colored-poly package
|
---|
| 19 | ;;Compute saturation of green lists with respect to
|
---|
| 20 | ;;red lists in order to eliminate cases early
|
---|
| 21 | (pushnew :use-saturation *features*)
|
---|
| 22 |
|
---|
| 23 | ;;Print tracing and debugging output
|
---|
| 24 | (pushnew :debug *features*)
|
---|
| 25 |
|
---|
| 26 | ;;Use gcd of integers to keep the size of integer coefficients
|
---|
| 27 | ;; of S-polynomials and normal forms down
|
---|
| 28 | (pushnew :use-gcd *features*)
|
---|
| 29 |
|
---|
| 30 | ;;grobner package
|
---|
| 31 | ;;Use the algorithm of Gebauer and Moeller (1988) to
|
---|
| 32 | ;;calculate Grobner bases
|
---|
| 33 | ;;(pushnew :use-gebauer-moeller *features*)
|
---|
| 34 |
|
---|
| 35 | ;;Use pair reordering according to some heuristic in the
|
---|
| 36 | ;;Grobner algorithm
|
---|
| 37 | (pushnew :reorder-pairs *features*)
|
---|
| 38 |
|
---|
| 39 | ;; ----------------------------------------------------------------
|
---|
| 40 | ;; End of feature setup
|
---|
| 41 | ;; ----------------------------------------------------------------
|
---|
| 42 |
|
---|
| 43 | (defsystem "cgb"
|
---|
| 44 | :description "Comprehensive Grobner Basis Lisp system"
|
---|
| 45 | :version "1.0"
|
---|
| 46 | :author "Marek Rychlik <rychlik@u.arizona.edu>"
|
---|
| 47 | :licence "Custom"
|
---|
| 48 | :serial t
|
---|
| 49 | :components ((:file "infix")
|
---|
| 50 | (:file "makelist")
|
---|
| 51 | (:file "order")
|
---|
| 52 | (:file "monom")
|
---|
| 53 | (:file "xgcd")
|
---|
| 54 | (:file "modular")
|
---|
| 55 | (:file "coefficient-ring")
|
---|
| 56 | (:file "term")
|
---|
| 57 | (:file "poly")
|
---|
| 58 | (:file "modular-poly")
|
---|
| 59 | (:file "division")
|
---|
| 60 | (:file "parse")
|
---|
| 61 | (:file "printer")
|
---|
| 62 | (:file "poly-with-sugar")
|
---|
| 63 | (:file "grobner")
|
---|
| 64 | (:file "colored-poly")
|
---|
| 65 | (:file "poly-gcd")
|
---|
| 66 | (:file "rat")
|
---|
| 67 | (:file "ratpoly")
|
---|
| 68 | (:file "string-grobner")
|
---|
| 69 | (:file "dynamics")
|
---|
| 70 | (:file "prover")
|
---|
| 71 | (:file "cgb-lisp")))
|
---|
| 72 |
|
---|