1% "package.map"
2
3%**************************************************************************
4%* Copyright (C) 2020, the Reduce developers                              *
5%*                                                                        *
6%* Redistribution and use in source and binary forms, with or without     *
7%* modification, are permitted provided that the following conditions are *
8%* met:                                                                   *
9%*                                                                        *
10%*     * Redistributions of source code must retain the relevant          *
11%*       copyright notice, this list of conditions and the following      *
12%*       disclaimer.                                                      *
13%*     * Redistributions in binary form must reproduce the above          *
14%*       copyright notice, this list of conditions and the following      *
15%*       disclaimer in the documentation and/or other materials provided  *
16%*       with the distribution.                                           *
17%*                                                                        *
18%* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS    *
19%* "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT      *
20%* LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS      *
21%* FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE         *
22%* COPYRIGHT OWNERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,   *
23%* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,   *
24%* BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS  *
25%* OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND *
26%* ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR  *
27%* TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF     *
28%* THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH   *
29%* DAMAGE.                                                                *
30%**************************************************************************
31
32% $Id: package.map 5390 2020-09-03 20:57:57Z arthurcnorman $
33
34% This file lists all the REDUCE packages. It documents the overall
35% package name, which directory its source is kept in, whether there is
36% as associated test script and package relevance to CSL and PSL.
37
38% For a build-system implemented mostly in Lisp it can be
39% read directly. When the build system uses scripts in some
40% other notation a simple Lisp program can read this and re-print
41% it in whatever form that other system requires, be that shell
42% scripts, fragments of a Makefile or whatever.
43
44% Each REDUCE package lines in a sub-directory of the "packages"
45% directory. In many cases the name of this sub-directory is the same
46% as the name of the package, but sometimes it makes sense to organise
47% several packages in one directory or to use a sub-directory structure.
48% The list here lists every REDUCE package and explicitly gives the
49% location where its source files live.
50
51% When REDUCE is built the first step is to create a "core" system that
52% contains all those things needed to build later packages. In an ideal
53% this core would be as small as possible, but it is also the case that
54% the "core" represents the parts of REDUCE that are pre-loaded at the
55% start of any run - and so for historical reasons the set of packages
56% included in it give a system rather similar to a very very old version
57% of the whole system.
58% In this list, packages that are part of the core are tagged as such,
59% and they appear in the list on the order they should be built in.
60
61% Packages that are not tagged as "core" ought ideally to be independently
62% builable using just the core system. At present this is not the case and
63% while building some packages load others. But the list here is ordered
64% so that no package should try to load anything that has not appeared
65% earlier in the list.
66
67% Many packages have a test script alongside their source. For a package
68% called xxx the test script should be "xxx.tst" and a file "xxx.rlg"
69% should be reference output from running it.
70
71% In principle there could be modules that were only to be built on the
72% CSL or only on the PSL version, and so I tag each with something that
73% indicates which they are relevant for. But if you find a module which
74% is NOT for use with both at least beware!
75
76(
77 (support       "support"     core                               psl)
78 (revision      "support"     core                           csl psl)
79 (rlisp         "rlisp"       core                           csl psl)
80 (alg           "alg"         core      test                 csl psl)
81 (poly          "poly"        core      test                 csl psl)
82 (polydiv       "poly"        core      test                 csl psl)
83 (arith         "arith"       core      test                 csl psl)
84 (mathpr        "mathpr"      core                           csl psl)
85 (ezgcd         "factor"      core                           csl psl)
86 (factor        "factor"      core      test                 csl psl)
87 (hephys        "hephys"      core                           csl psl)
88 (int           "int"         core      test                 csl psl)
89 (matrix        "matrix"      core      test                 csl psl)
90 (rlisp88       "rlisp88"     core                           csl psl)
91 (rprint        "rprint"      core                           csl psl)
92 (fmprint       "rprint"      core                           csl psl)
93 (pretty        "rprint"      core                           csl psl)
94 (solve         "solve"       core      test                 csl psl)
95 (desir         "solve"       core      test                 csl psl)
96 (ineq          "solve"       core      test                 csl psl)
97 (modsr         "solve"       core      test                 csl psl)
98 (rsolve        "solve"       core      test                 csl psl)
99 (algint        "algint"      core      test                 csl psl)
100 (arnum         "arnum"       core      test                 csl psl)
101 (assist        "assist"      core      test                 csl psl)
102 (dummy         "assist"      core      test                 csl psl)
103 (cantens       "assist"      core      test                 csl psl)
104 (atensor       "atensor"     core      test                 csl psl)
105 (avector       "avector"     core      test                 csl psl)
106 (invbase       "invbase"     core      test                 csl psl)
107 (misc          "misc"        core                           csl psl)
108 (boolean       "misc"        core      test                 csl psl)
109 (cedit         "misc"        core                           csl psl)
110 (rcref         "misc"        core                           csl psl)
111%(ftr           "misc"        core                           csl psl)
112 (reset         "misc"        core                           csl psl)
113 (cali          "cali"        core      test                 csl psl)
114 (camal         "camal"       core      test                 csl psl)
115 (changevr      "misc"        core      test                 csl psl)
116 (compact       "misc"        core      test                 csl psl)
117 (dfpart        "misc"        core      test                 csl psl)
118 (lie           "misc"        core      test                 csl psl)
119 (assert        "assert"                test                 csl psl)
120 (odesolve      "odesolve"    noncore   test                 csl psl)
121 (pf            "misc"                  test                 csl psl)
122 (trigd         "misc/trigd"            test                 csl psl)
123 (cvit          "hephys"                test                 csl psl)
124 (noncom2       "hephys"                                     csl psl)
125 (physop        "hephys"                test                 csl psl)
126 (excalc        "excalc"                test                 csl psl)
127 (gentran       "gentran"               test                 csl psl)
128 (fide1         "fide"                                       csl psl)
129 (fide          "fide"                  test                 csl psl)
130 (numeric       "numeric"               test                 csl psl)
131 (randpoly      "misc"                  test                 csl psl)
132 (reacteqn      "misc"                  test                 csl psl)
133 (roots         "roots"                 test                 csl psl)
134 (rlfi          "misc"                  test                 csl psl)
135 (roots2        "roots"                                      csl psl)
136 (sets          "misc"                  test                 csl psl)
137 (xideal        "xideal"                test                 csl psl)
138 (eds           "eds"                   test                 csl psl)
139 (dipoly        "dipoly"                                     csl psl)
140 (groebner      "groebner"              test                 csl psl)
141 (groebnr2      "groebner"                                   csl psl)
142 (ideals        "groebner"              test                 csl psl)
143 (linalg        "linalg"                test                 csl psl)
144 (ncpoly        "ncpoly"                test                 csl psl)
145 (normform      "normform"              test                 csl psl)
146 (orthovec      "orthovec"              test                 csl psl)
147 (plot          "plot"                                       csl psl)
148 (gnuplot       "plot"                                       csl psl)
149 (laplace       "laplace"               test                 csl psl)
150 (pm            "pm"                    test                 csl psl)
151 (qsum          "qsum"                  test                 csl psl)
152 (scope         "scope"                 test                 csl psl)
153 (sparse        "sparse"                test                 csl psl)
154 (spde          "spde"                  test                 csl psl)
155 (specfn        "specfn"                test                 csl psl)
156 (specfn2       "specfn"                test                 csl psl)
157 (specfaux      "specfn"                                     csl psl)
158 (specbess      "specfn"                                     csl psl)
159 (sfgamma       "specfn"                                     csl psl)
160 (tps           "tps"                   test                 csl psl)
161 (limits        "misc"                  test                 csl psl)
162 (defint        "defint"                test                 csl psl)
163 (fps           "specfn"                test                 csl psl)
164 (trigint       "trigint"               test                 csl psl)
165 (ratint        "ratint"                test                 csl psl)
166 (mathml        "mathml"                test                 csl psl)
167 (mathmlom      "mathml"                test                 csl psl)
168 (rlsupport     "redlog/rlsupport" 			     csl psl)
169 (rltools       "redlog/rltools"        test                 csl psl)
170 (redlog        "redlog/rl"             test                 csl psl)
171 (cgb           "cgb"                   test                 csl psl)
172 (cl            "redlog/cl"                                  csl psl)
173 (ofsf          "redlog/ofsf"           test                 csl psl)
174 (dvfsf         "redlog/dvfsf"                               csl psl)
175 (acfsf         "redlog/acfsf"          test                 csl psl)
176 (dcfsf         "redlog/dcfsf"                               csl psl)
177 (ibalp         "redlog/ibalp"          test                 csl psl)
178 (pasf          "redlog/pasf"           test                 csl psl)
179 (qqe           "redlog/qqe"                                 csl psl)
180 (qqe_ofsf      "redlog/qqe_ofsf"       test                 csl psl)
181 (mri           "redlog/mri"            test                 csl psl)
182 (mri_ofsf      "redlog/mri"                                 csl psl)
183 (mri_pasf      "redlog/mri"                                 csl psl)
184 (redfront      "redfront"                                   csl psl)
185 (reduce4       "reduce4"                                    csl psl)
186 (tables        "reduce4"                                    csl psl)
187 (talp          "redlog/talp"           test                 csl psl)
188 (sum           "sum"                   test                 csl psl)
189 (zeilberg      "sum"                   test                 csl psl)
190 (symaux        "symmetry"                                   csl psl)
191 (symmetry      "symmetry"              test                 csl psl)
192 (taylor        "taylor"                test                 csl psl)
193 (mrvlimit      "mrvlimit"              test                 csl psl)
194 (residue       "residue"               test                 csl psl)
195 (susy2         "susy2"                 test                 csl psl)
196 (tri           "tri"                   test                 csl psl)
197 (trigsimp      "trigsimp"              test                 csl psl)
198 (crack         "crack"                 test                 csl psl)
199 (liepde        "crack"                 test                 csl psl)
200 (applysym      "crack"                 test                 csl psl)
201 (conlaw        "crack"                 test                 csl psl)
202 (v3tools       "crack"                                      csl psl)
203 (xcolor        "xcolor"                test                 csl psl)
204 (wu            "wu"                    test                 csl psl)
205 (ztrans        "ztrans"                test                 csl psl)
206 (geoprover     "geometry"              test                 csl psl)
207 (rataprx       "rataprx"               test                 csl psl)
208 (rtrace        "rtrace"                                     csl psl)
209 (tmprint       "tmprint"                                    csl psl)
210 (libreduce     "libreduce"                                  csl psl)
211 (utf8          "utf8"                                       csl psl)
212 (lpdo          "lpdo"                  test                 csl psl)
213 (guardian      "guardian"              test                 csl psl)
214 (breduce       "breduce"                                    csl psl)
215 (cdiff         "cdiff"                 test                 csl psl)
216 (bibasis       "bibasis"               test                 csl psl)
217 (clprl         "clprl"                 test                 csl psl)
218 (gcref         "gcref"                 test                 csl psl)
219 (turtle        "plot"                                       csl psl)
220 (profile       "profile"                                    csl psl)
221 (pident        "pident"                                     csl psl)
222 (pgauss        "pgauss"                                     csl psl)
223 (qhull         "qhull"                                      csl psl)
224 (smt           "redlog/smt"            test                 csl psl)
225 (gurobi        "foreign/gurobi"                             csl)
226 (z3            "foreign/z3"                                 csl)
227 (cuba          "foreign/cuba"                               csl)
228 (nlopt         "foreign/nlopt"                              csl)
229 (rubi_red      "rubi_red"                                   csl psl)
230 (lalr          "lalr"                  test                 csl psl)
231 (ranum         "ranum"                 test                 csl psl)
232 (listvecops    "listvecops"            test                 csl psl)
233 (cde           "cde"                   test                 csl psl)
234 (sstools       "sstools"               test                 csl psl)
235 (coeff2        "misc"                                       csl psl)
236%  (heugcd        "heugcd"               test                 csl psl)
237)
238
239% End of package.map
240