source: CGBLisp/src/cgb.asd@ 1

;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
(defpackage cgb-system
  (:use :common-lisp :asdf))

(in-package :cgb-system)

;;----------------------------------------------------------------
;; Various features which affect the functioning of the package
;;----------------------------------------------------------------

;;Use pseudodivision to keep the size of integer coefficients 
;;as small as possible
(pushnew :pseudodivide *features*)

;;Use the grobner package within colored-poly package
(pushnew :colored-poly-use-grobner *features*)

;;colored-poly package
;;Compute saturation of green lists with respect to
;;red lists in order to eliminate cases early
(pushnew :use-saturation *features*)

;;Print tracing and debugging output
(pushnew :debug *features*)

;;Use gcd of integers to keep the size of integer coefficients
;; of S-polynomials and normal forms down
(pushnew :use-gcd *features*)

;;grobner package
;;Use the algorithm of Gebauer and Moeller (1988) to
;;calculate Grobner bases
;;(pushnew :use-gebauer-moeller *features*)

;;Use pair reordering according to some heuristic in the
;;Grobner algorithm
(pushnew :reorder-pairs *features*)

;; ----------------------------------------------------------------
;; End of feature setup
;; ----------------------------------------------------------------

(defsystem "cgb"
  :description "Comprehensive Grobner Basis Lisp system"
  :version "1.0"
  :author "Marek Rychlik <rychlik@u.arizona.edu>"
  :licence "Custom"
  :serial t
  :components ((:file "infix")
               (:file "makelist")
               (:file "order")
               (:file "monom")
               (:file "xgcd")
               (:file "modular")
               (:file "coefficient-ring")
               (:file "term")
               (:file "poly")
               (:file "modular-poly")
               (:file "division")
               (:file "parse")
               (:file "printer")
               (:file "poly-with-sugar")
               (:file "grobner")
               (:file "colored-poly")
               (:file "poly-gcd")
               (:file "rat")
               (:file "ratpoly")
               (:file "string-grobner")
               (:file "dynamics")
               (:file "prover")
               (:file "cgb-lisp")))