[1] | 1 | head 1.9;
|
---|
| 2 | access;
|
---|
| 3 | symbols;
|
---|
| 4 | locks; strict;
|
---|
| 5 | comment @# @;
|
---|
| 6 |
|
---|
| 7 |
|
---|
| 8 | 1.9
|
---|
| 9 | date 2009.01.24.21.41.56; author marek; state Exp;
|
---|
| 10 | branches;
|
---|
| 11 | next 1.8;
|
---|
| 12 |
|
---|
| 13 | 1.8
|
---|
| 14 | date 2009.01.24.21.28.59; author marek; state Exp;
|
---|
| 15 | branches;
|
---|
| 16 | next 1.7;
|
---|
| 17 |
|
---|
| 18 | 1.7
|
---|
| 19 | date 2009.01.24.10.56.55; author marek; state Exp;
|
---|
| 20 | branches;
|
---|
| 21 | next 1.6;
|
---|
| 22 |
|
---|
| 23 | 1.6
|
---|
| 24 | date 2009.01.22.03.43.49; author marek; state Exp;
|
---|
| 25 | branches;
|
---|
| 26 | next 1.5;
|
---|
| 27 |
|
---|
| 28 | 1.5
|
---|
| 29 | date 2009.01.21.23.47.37; author marek; state Exp;
|
---|
| 30 | branches;
|
---|
| 31 | next 1.4;
|
---|
| 32 |
|
---|
| 33 | 1.4
|
---|
| 34 | date 2009.01.21.19.42.16; author marek; state Exp;
|
---|
| 35 | branches;
|
---|
| 36 | next 1.3;
|
---|
| 37 |
|
---|
| 38 | 1.3
|
---|
| 39 | date 2009.01.21.19.17.35; author marek; state Exp;
|
---|
| 40 | branches;
|
---|
| 41 | next 1.2;
|
---|
| 42 |
|
---|
| 43 | 1.2
|
---|
| 44 | date 2009.01.21.19.16.28; author marek; state Exp;
|
---|
| 45 | branches;
|
---|
| 46 | next 1.1;
|
---|
| 47 |
|
---|
| 48 | 1.1
|
---|
| 49 | date 2009.01.21.19.15.39; author marek; state Exp;
|
---|
| 50 | branches;
|
---|
| 51 | next ;
|
---|
| 52 |
|
---|
| 53 |
|
---|
| 54 | desc
|
---|
| 55 | @@
|
---|
| 56 |
|
---|
| 57 |
|
---|
| 58 | 1.9
|
---|
| 59 | log
|
---|
| 60 | @*** empty log message ***
|
---|
| 61 | @
|
---|
| 62 | text
|
---|
| 63 | @;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
|
---|
| 64 | (defpackage cgb-system
|
---|
| 65 | (:use :common-lisp :asdf))
|
---|
| 66 |
|
---|
| 67 | (in-package :cgb-system)
|
---|
| 68 |
|
---|
| 69 | ;;----------------------------------------------------------------
|
---|
| 70 | ;; Various features which affect the functioning of the package
|
---|
| 71 | ;;----------------------------------------------------------------
|
---|
| 72 |
|
---|
| 73 | ;;Use pseudodivision to keep the size of integer coefficients
|
---|
| 74 | ;;as small as possible
|
---|
| 75 | (pushnew :pseudodivide *features*)
|
---|
| 76 |
|
---|
| 77 | ;;Use the grobner package within colored-poly package
|
---|
| 78 | (pushnew :colored-poly-use-grobner *features*)
|
---|
| 79 |
|
---|
| 80 | ;;colored-poly package
|
---|
| 81 | ;;Compute saturation of green lists with respect to
|
---|
| 82 | ;;red lists in order to eliminate cases early
|
---|
| 83 | (pushnew :use-saturation *features*)
|
---|
| 84 |
|
---|
| 85 | ;;Print tracing and debugging output
|
---|
| 86 | (pushnew :debug *features*)
|
---|
| 87 |
|
---|
| 88 | ;;Use gcd of integers to keep the size of integer coefficients
|
---|
| 89 | ;; of S-polynomials and normal forms down
|
---|
| 90 | (pushnew :use-gcd *features*)
|
---|
| 91 |
|
---|
| 92 | ;;grobner package
|
---|
| 93 | ;;Use the algorithm of Gebauer and Moeller (1988) to
|
---|
| 94 | ;;calculate Grobner bases
|
---|
| 95 | ;;(pushnew :use-gebauer-moeller *features*)
|
---|
| 96 |
|
---|
| 97 | ;;Use pair reordering according to some heuristic in the
|
---|
| 98 | ;;Grobner algorithm
|
---|
| 99 | (pushnew :reorder-pairs *features*)
|
---|
| 100 |
|
---|
| 101 | ;; ----------------------------------------------------------------
|
---|
| 102 | ;; End of feature setup
|
---|
| 103 | ;; ----------------------------------------------------------------
|
---|
| 104 |
|
---|
| 105 | (defsystem "cgb"
|
---|
| 106 | :description "Comprehensive Grobner Basis Lisp system"
|
---|
| 107 | :version "1.0"
|
---|
| 108 | :author "Marek Rychlik <rychlik@@u.arizona.edu>"
|
---|
| 109 | :licence "Custom"
|
---|
| 110 | :serial t
|
---|
| 111 | :components ((:file "infix")
|
---|
| 112 | (:file "makelist")
|
---|
| 113 | (:file "order")
|
---|
| 114 | (:file "monom")
|
---|
| 115 | (:file "xgcd")
|
---|
| 116 | (:file "modular")
|
---|
| 117 | (:file "coefficient-ring")
|
---|
| 118 | (:file "term")
|
---|
| 119 | (:file "poly")
|
---|
| 120 | (:file "modular-poly")
|
---|
| 121 | (:file "division")
|
---|
| 122 | (:file "parse")
|
---|
| 123 | (:file "printer")
|
---|
| 124 | (:file "poly-with-sugar")
|
---|
| 125 | (:file "grobner")
|
---|
| 126 | (:file "colored-poly")
|
---|
| 127 | (:file "poly-gcd")
|
---|
| 128 | (:file "rat")
|
---|
| 129 | (:file "ratpoly")
|
---|
| 130 | (:file "string-grobner")
|
---|
| 131 | (:file "dynamics")
|
---|
| 132 | (:file "prover")
|
---|
| 133 | (:file "cgb-lisp")))
|
---|
| 134 | @
|
---|
| 135 |
|
---|
| 136 |
|
---|
| 137 | 1.8
|
---|
| 138 | log
|
---|
| 139 | @*** empty log message ***
|
---|
| 140 | @
|
---|
| 141 | text
|
---|
| 142 | @d7 30
|
---|
| 143 | a36 1
|
---|
| 144 | ;; Set up globals
|
---|
| 145 | d39 4
|
---|
| 146 | @
|
---|
| 147 |
|
---|
| 148 |
|
---|
| 149 | 1.7
|
---|
| 150 | log
|
---|
| 151 | @*** empty log message ***
|
---|
| 152 | @
|
---|
| 153 | text
|
---|
| 154 | @d7 3
|
---|
| 155 | @
|
---|
| 156 |
|
---|
| 157 |
|
---|
| 158 | 1.6
|
---|
| 159 | log
|
---|
| 160 | @*** empty log message ***
|
---|
| 161 | @
|
---|
| 162 | text
|
---|
| 163 | @d12 1
|
---|
| 164 | @
|
---|
| 165 |
|
---|
| 166 |
|
---|
| 167 | 1.5
|
---|
| 168 | log
|
---|
| 169 | @*** empty log message ***
|
---|
| 170 | @
|
---|
| 171 | text
|
---|
| 172 | @d12 2
|
---|
| 173 | a13 2
|
---|
| 174 | :components ((:file "makelist")
|
---|
| 175 | (:file "infix")
|
---|
| 176 | @
|
---|
| 177 |
|
---|
| 178 |
|
---|
| 179 | 1.4
|
---|
| 180 | log
|
---|
| 181 | @*** empty log message ***
|
---|
| 182 | @
|
---|
| 183 | text
|
---|
| 184 | @d13 1
|
---|
| 185 | a33 1
|
---|
| 186 | (:file "infix")
|
---|
| 187 | @
|
---|
| 188 |
|
---|
| 189 |
|
---|
| 190 | 1.3
|
---|
| 191 | log
|
---|
| 192 | @*** empty log message ***
|
---|
| 193 | @
|
---|
| 194 | text
|
---|
| 195 | @d34 1
|
---|
| 196 | a34 1
|
---|
| 197 | (:file "CGB-LISP")))
|
---|
| 198 | @
|
---|
| 199 |
|
---|
| 200 |
|
---|
| 201 | 1.2
|
---|
| 202 | log
|
---|
| 203 | @*** empty log message ***
|
---|
| 204 | @
|
---|
| 205 | text
|
---|
| 206 | @d2 1
|
---|
| 207 | a2 1
|
---|
| 208 | (defpackage cgb
|
---|
| 209 | d5 1
|
---|
| 210 | a5 1
|
---|
| 211 | (in-package :cgb)
|
---|
| 212 | @
|
---|
| 213 |
|
---|
| 214 |
|
---|
| 215 | 1.1
|
---|
| 216 | log
|
---|
| 217 | @Initial revision
|
---|
| 218 | @
|
---|
| 219 | text
|
---|
| 220 | @a34 3
|
---|
| 221 |
|
---|
| 222 |
|
---|
| 223 |
|
---|
| 224 | @
|
---|