From a01e08564facbeadccd3c09b719358af5a148d4f Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 23 May 2008 12:19:54 +0000
Subject: Fix breakage from last commits.

---
 src/algebra/Makefile.in | 2316 +++++++++++++++++++++++------------------------
 1 file changed, 1158 insertions(+), 1158 deletions(-)

(limited to 'src/algebra/Makefile.in')

diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in
index 6b45e7d4..59ca6433 100644
--- a/src/algebra/Makefile.in
+++ b/src/algebra/Makefile.in
@@ -1,1158 +1,1158 @@
-
-IN=$(srcdir)
-OUT=$(axiom_targetdir)/algebra
-DOC=$(axiom_target_docdir)/src/algebra
-OUTSRC=$(axiom_target_srcdir)/algebra
-INPUT=../input
-
-EXTRACT_BOOTSTRAP_FILE = \
-	$(axiom_build_document) --output=$@ --tangle="$@ BOOTSTRAP" $<
-
-## We use interpsys, built from previous stage, to bootstrap the algebra
-## files.  In fact, we use interpsys to build everything.
-COMPILE_LISP = $(INTERPSYS) --compile --output=$@ $<
-
-
-INTERPSYS = ../interp/interpsys$(EXEEXT) -- --system="$(AXIOM)" \
-		--sysalg="$(axiom_src_datadir)/algebra/"
-
-
-SPADFILES= \
- ${OUTSRC}/acplot.spad ${OUTSRC}/aggcat2.spad ${OUTSRC}/aggcat.spad \
- ${OUTSRC}/algcat.spad ${OUTSRC}/algext.spad ${OUTSRC}/algfact.spad \
- ${OUTSRC}/algfunc.spad ${OUTSRC}/allfact.spad ${OUTSRC}/alql.spad \
- ${OUTSRC}/annacat.spad ${OUTSRC}/any.spad ${OUTSRC}/array1.spad \
- ${OUTSRC}/array2.spad ${OUTSRC}/asp.spad ${OUTSRC}/attreg.spad \
- ${OUTSRC}/bags.spad ${OUTSRC}/bezout.spad ${OUTSRC}/boolean.spad \
- ${OUTSRC}/brill.spad \
- ${OUTSRC}/c02.spad ${OUTSRC}/c05.spad ${OUTSRC}/c06.spad \
- ${OUTSRC}/card.spad ${OUTSRC}/carten.spad ${OUTSRC}/catdef.spad \
- ${OUTSRC}/cden.spad ${OUTSRC}/clifford.spad ${OUTSRC}/clip.spad \
- ${OUTSRC}/cmplxrt.spad ${OUTSRC}/coerce.spad ${OUTSRC}/color.spad \
- ${OUTSRC}/combfunc.spad ${OUTSRC}/combinat.spad ${OUTSRC}/complet.spad \
- ${OUTSRC}/constant.spad ${OUTSRC}/contfrac.spad ${OUTSRC}/cont.spad \
- ${OUTSRC}/coordsys.spad ${OUTSRC}/cra.spad ${OUTSRC}/crfp.spad \
- ${OUTSRC}/curve.spad ${OUTSRC}/cycles.spad ${OUTSRC}/cyclotom.spad \
- ${OUTSRC}/d01agents.spad ${OUTSRC}/d01Package.spad \
- ${OUTSRC}/d01routine.spad ${OUTSRC}/d01.spad ${OUTSRC}/d01transform.spad \
- ${OUTSRC}/d01weights.spad ${OUTSRC}/d02agents.spad \
- ${OUTSRC}/d02Package.spad ${OUTSRC}/d02routine.spad ${OUTSRC}/d02.spad \
- ${OUTSRC}/d03agents.spad ${OUTSRC}/d03Package.spad \
- ${OUTSRC}/d03routine.spad ${OUTSRC}/d03.spad ${OUTSRC}/ddfact.spad \
- ${OUTSRC}/defaults.spad ${OUTSRC}/defintef.spad ${OUTSRC}/defintrf.spad \
- ${OUTSRC}/degred.spad ${OUTSRC}/derham.spad ${OUTSRC}/dhmatrix.spad \
- ${OUTSRC}/divisor.spad ${OUTSRC}/dpolcat.spad ${OUTSRC}/drawopt.spad \
- ${OUTSRC}/drawpak.spad ${OUTSRC}/draw.spad \
- ${OUTSRC}/e01.spad ${OUTSRC}/e02.spad ${OUTSRC}/e04agents.spad \
- ${OUTSRC}/e04Package.spad ${OUTSRC}/e04routine.spad ${OUTSRC}/e04.spad \
- ${OUTSRC}/efstruc.spad ${OUTSRC}/efuls.spad ${OUTSRC}/efupxs.spad \
- ${OUTSRC}/eigen.spad ${OUTSRC}/elemntry.spad ${OUTSRC}/elfuts.spad \
- ${OUTSRC}/equation1.spad ${OUTSRC}/equation2.spad ${OUTSRC}/error.spad \
- ${OUTSRC}/expexpan.spad ${OUTSRC}/expr2ups.spad \
- ${OUTSRC}/exprode.spad ${OUTSRC}/expr.spad \
- ${OUTSRC}/f01.spad ${OUTSRC}/f02.spad ${OUTSRC}/f04.spad \
- ${OUTSRC}/f07.spad ${OUTSRC}/facutil.spad ${OUTSRC}/ffcat.spad \
- ${OUTSRC}/ffcg.spad ${OUTSRC}/fff.spad ${OUTSRC}/ffhom.spad \
- ${OUTSRC}/ffnb.spad ${OUTSRC}/ffpoly2.spad ${OUTSRC}/ffpoly.spad \
- ${OUTSRC}/ffp.spad ${OUTSRC}/ffx.spad \
- ${OUTSRC}/files.spad ${OUTSRC}/float.spad ${OUTSRC}/fmod.spad \
- ${OUTSRC}/fname.spad ${OUTSRC}/fnla.spad ${OUTSRC}/formula.spad \
- ${OUTSRC}/fortcat.spad ${OUTSRC}/fortmac.spad ${OUTSRC}/fortpak.spad \
- ${OUTSRC}/fortran.spad ${OUTSRC}/forttyp.spad ${OUTSRC}/fourier.spad \
- ${OUTSRC}/fparfrac.spad ${OUTSRC}/fraction.spad ${OUTSRC}/free.spad \
- ${OUTSRC}/fr.spad ${OUTSRC}/fs2expxp.spad ${OUTSRC}/fs2ups.spad \
- ${OUTSRC}/fspace.spad ${OUTSRC}/funcpkgs.spad ${OUTSRC}/functions.spad \
- ${OUTSRC}/galfact.spad ${OUTSRC}/galfactu.spad ${OUTSRC}/galpolyu.spad \
- ${OUTSRC}/galutil.spad ${OUTSRC}/gaussfac.spad ${OUTSRC}/gaussian.spad \
- ${OUTSRC}/gbeuclid.spad ${OUTSRC}/gbintern.spad ${OUTSRC}/gb.spad \
- ${OUTSRC}/gdirprod.spad ${OUTSRC}/gdpoly.spad ${OUTSRC}/geneez.spad \
- ${OUTSRC}/generic.spad ${OUTSRC}/genufact.spad ${OUTSRC}/genups.spad \
- ${OUTSRC}/ghensel.spad ${OUTSRC}/gpgcd.spad ${OUTSRC}/gpol.spad \
- ${OUTSRC}/grdef.spad ${OUTSRC}/groebf.spad ${OUTSRC}/groebsol.spad \
- ${OUTSRC}/gseries.spad \
- ${OUTSRC}/ideal.spad ${OUTSRC}/idecomp.spad ${OUTSRC}/indexedp.spad \
- ${OUTSRC}/infprod.spad ${OUTSRC}/intaf.spad ${OUTSRC}/intalg.spad \
- ${OUTSRC}/intaux.spad ${OUTSRC}/intclos.spad ${OUTSRC}/intef.spad \
- ${OUTSRC}/integer.spad ${OUTSRC}/integrat.spad \
- ${OUTSRC}/interval.spad \
- ${OUTSRC}/intfact.spad ${OUTSRC}/intpm.spad \
- ${OUTSRC}/intrf.spad \
- ${OUTSRC}/irexpand.spad \
- ${OUTSRC}/irsn.spad ${OUTSRC}/ituple.spad \
- ${OUTSRC}/kl.spad ${OUTSRC}/kovacic.spad \
- ${OUTSRC}/laplace.spad ${OUTSRC}/laurent.spad ${OUTSRC}/leadcdet.spad \
- ${OUTSRC}/lie.spad ${OUTSRC}/limitps.spad ${OUTSRC}/lindep.spad \
- ${OUTSRC}/lingrob.spad ${OUTSRC}/liouv.spad ${OUTSRC}/listgcd.spad \
- ${OUTSRC}/list.spad ${OUTSRC}/lmdict.spad ${OUTSRC}/lodof.spad \
- ${OUTSRC}/lodop.spad ${OUTSRC}/lodo.spad \
- ${OUTSRC}/manip.spad ${OUTSRC}/mappkg.spad ${OUTSRC}/matcat.spad \
- ${OUTSRC}/matfuns.spad ${OUTSRC}/mathml.spad \
- ${OUTSRC}/matrix.spad ${OUTSRC}/matstor.spad \
- ${OUTSRC}/mesh.spad ${OUTSRC}/mfinfact.spad ${OUTSRC}/misc.spad \
- ${OUTSRC}/mkfunc.spad ${OUTSRC}/mkrecord.spad \
- ${OUTSRC}/mlift.spad ${OUTSRC}/moddfact.spad ${OUTSRC}/modgcd.spad \
- ${OUTSRC}/modmonom.spad ${OUTSRC}/modmon.spad ${OUTSRC}/modring.spad \
- ${OUTSRC}/moebius.spad ${OUTSRC}/mring.spad ${OUTSRC}/mset.spad \
- ${OUTSRC}/mts.spad ${OUTSRC}/multfact.spad ${OUTSRC}/multpoly.spad \
- ${OUTSRC}/multsqfr.spad \
- ${OUTSRC}/naalgc.spad ${OUTSRC}/naalg.spad \
- ${OUTSRC}/newdata.spad ${OUTSRC}/newpoint.spad \
- ${OUTSRC}/newpoly.spad ${OUTSRC}/nlinsol.spad ${OUTSRC}/nlode.spad \
- ${OUTSRC}/npcoef.spad \
- ${OUTSRC}/nregset.spad \
- ${OUTSRC}/nsregset.spad ${OUTSRC}/numeigen.spad ${OUTSRC}/numeric.spad \
- ${OUTSRC}/numode.spad ${OUTSRC}/numquad.spad ${OUTSRC}/numsolve.spad \
- ${OUTSRC}/numtheor.spad \
- ${OUTSRC}/oct.spad ${OUTSRC}/odealg.spad ${OUTSRC}/odeef.spad \
- ${OUTSRC}/oderf.spad ${OUTSRC}/omcat.spad ${OUTSRC}/omdev.spad \
- ${OUTSRC}/omerror.spad ${OUTSRC}/omserver.spad ${OUTSRC}/opalg.spad \
- ${OUTSRC}/openmath.spad ${OUTSRC}/op.spad ${OUTSRC}/ore.spad \
- ${OUTSRC}/outform.spad ${OUTSRC}/out.spad \
- ${OUTSRC}/pade.spad ${OUTSRC}/padiclib.spad ${OUTSRC}/padic.spad \
- ${OUTSRC}/paramete.spad ${OUTSRC}/partperm.spad ${OUTSRC}/patmatch1.spad \
- ${OUTSRC}/patmatch2.spad ${OUTSRC}/pattern.spad ${OUTSRC}/pcurve.spad \
- ${OUTSRC}/pdecomp.spad ${OUTSRC}/perman.spad ${OUTSRC}/permgrps.spad \
- ${OUTSRC}/perm.spad ${OUTSRC}/pfbr.spad ${OUTSRC}/pfo.spad \
- ${OUTSRC}/pfr.spad ${OUTSRC}/pf.spad ${OUTSRC}/pgcd.spad \
- ${OUTSRC}/pgrobner.spad ${OUTSRC}/pinterp.spad ${OUTSRC}/pleqn.spad \
- ${OUTSRC}/plot3d.spad ${OUTSRC}/plot.spad ${OUTSRC}/plottool.spad \
- ${OUTSRC}/polset.spad ${OUTSRC}/poltopol.spad ${OUTSRC}/polycat.spad \
- ${OUTSRC}/poly.spad ${OUTSRC}/primelt.spad ${OUTSRC}/print.spad \
- ${OUTSRC}/product.spad ${OUTSRC}/prs.spad ${OUTSRC}/prtition.spad \
- ${OUTSRC}/pscat.spad ${OUTSRC}/pseudolin.spad ${OUTSRC}/ptranfn.spad \
- ${OUTSRC}/puiseux.spad \
- ${OUTSRC}/qalgset.spad ${OUTSRC}/quat.spad \
- ${OUTSRC}/radeigen.spad ${OUTSRC}/radix.spad ${OUTSRC}/random.spad \
- ${OUTSRC}/ratfact.spad ${OUTSRC}/rdeef.spad ${OUTSRC}/rderf.spad \
- ${OUTSRC}/rdesys.spad ${OUTSRC}/real0q.spad ${OUTSRC}/realzero.spad \
- ${OUTSRC}/reclos.spad ${OUTSRC}/regset.spad ${OUTSRC}/rep1.spad \
- ${OUTSRC}/rep2.spad ${OUTSRC}/resring.spad ${OUTSRC}/retract.spad \
- ${OUTSRC}/rf.spad ${OUTSRC}/riccati.spad ${OUTSRC}/rinterp.spad \
- ${OUTSRC}/routines.spad \
- ${OUTSRC}/rule.spad \
- ${OUTSRC}/seg.spad ${OUTSRC}/setorder.spad ${OUTSRC}/sets.spad \
- ${OUTSRC}/sex.spad ${OUTSRC}/sf.spad ${OUTSRC}/sgcf.spad \
- ${OUTSRC}/sign.spad ${OUTSRC}/si.spad ${OUTSRC}/smith.spad \
- ${OUTSRC}/solvedio.spad ${OUTSRC}/solvefor.spad ${OUTSRC}/solvelin.spad \
- ${OUTSRC}/solverad.spad ${OUTSRC}/sortpak.spad ${OUTSRC}/space.spad \
- ${OUTSRC}/special.spad ${OUTSRC}/sregset.spad ${OUTSRC}/s.spad \
- ${OUTSRC}/stream.spad ${OUTSRC}/string.spad ${OUTSRC}/sttaylor.spad \
- ${OUTSRC}/sttf.spad ${OUTSRC}/sturm.spad ${OUTSRC}/suchthat.spad \
- ${OUTSRC}/suls.spad ${OUTSRC}/sum.spad ${OUTSRC}/sups.spad \
- ${OUTSRC}/supxs.spad ${OUTSRC}/suts.spad ${OUTSRC}/symbol.spad \
- ${OUTSRC}/syssolp.spad ${OUTSRC}/system.spad \
- ${OUTSRC}/tableau.spad ${OUTSRC}/table.spad ${OUTSRC}/taylor.spad \
- ${OUTSRC}/tex.spad ${OUTSRC}/tools.spad ${OUTSRC}/transsolve.spad \
- ${OUTSRC}/tree.spad ${OUTSRC}/trigcat.spad ${OUTSRC}/triset.spad \
- ${OUTSRC}/tube.spad ${OUTSRC}/twofact.spad \
- ${OUTSRC}/unifact.spad ${OUTSRC}/updecomp.spad ${OUTSRC}/updivp.spad \
- ${OUTSRC}/utsode.spad \
- ${OUTSRC}/variable.spad ${OUTSRC}/vector.spad ${OUTSRC}/view2D.spad \
- ${OUTSRC}/view3D.spad ${OUTSRC}/viewDef.spad ${OUTSRC}/viewpack.spad \
- ${OUTSRC}/void.spad \
- ${OUTSRC}/weier.spad ${OUTSRC}/wtpol.spad \
- ${OUTSRC}/xlpoly.spad ${OUTSRC}/xpoly.spad \
- ${OUTSRC}/ystream.spad \
- ${OUTSRC}/zerodim.spad
-
-
-ALDORFILES= \
-	axtimer.as \
-	ffrac.as \
-	herm.as \
-	interval.as \
-	invnode.as \
-	invrender.as \
-	invtypes.as \
-	invutils.as \
-	iviews.as \
-	ndftip.as \
-	nepip.as \
-	noptip.as nqip.as \
-	nrc.as nsfip.as 
-
-
-DOCFILES= \
- ${DOC}/acplot.spad.dvi ${DOC}/aggcat2.spad.dvi ${DOC}/aggcat.spad.dvi \
- ${DOC}/algcat.spad.dvi ${DOC}/algext.spad.dvi ${DOC}/algfact.spad.dvi \
- ${DOC}/algfunc.spad.dvi ${DOC}/allfact.spad.dvi ${DOC}/alql.spad.dvi \
- ${DOC}/annacat.spad.dvi ${DOC}/any.spad.dvi ${DOC}/array1.spad.dvi \
- ${DOC}/array2.spad.dvi ${DOC}/asp.spad.dvi ${DOC}/attreg.spad.dvi \
- ${DOC}/axtimer.as.dvi \
- ${DOC}/bags.spad.dvi ${DOC}/bezout.spad.dvi ${DOC}/boolean.spad.dvi \
- ${DOC}/brill.spad.dvi \
- ${DOC}/c02.spad.dvi ${DOC}/c05.spad.dvi ${DOC}/c06.spad.dvi \
- ${DOC}/card.spad.dvi ${DOC}/carten.spad.dvi ${DOC}/catdef.spad.dvi \
- ${DOC}/cden.spad.dvi ${DOC}/clifford.spad.dvi ${DOC}/clip.spad.dvi \
- ${DOC}/cmplxrt.spad.dvi ${DOC}/coerce.spad.dvi ${DOC}/color.spad.dvi \
- ${DOC}/combfunc.spad.dvi ${DOC}/combinat.spad.dvi ${DOC}/complet.spad.dvi \
- ${DOC}/constant.spad.dvi ${DOC}/contfrac.spad.dvi ${DOC}/cont.spad.dvi \
- ${DOC}/coordsys.spad.dvi ${DOC}/cra.spad.dvi ${DOC}/crfp.spad.dvi \
- ${DOC}/curve.spad.dvi ${DOC}/cycles.spad.dvi ${DOC}/cyclotom.spad.dvi \
- ${DOC}/d01agents.spad.dvi ${DOC}/d01Package.spad.dvi \
- ${DOC}/d01routine.spad.dvi ${DOC}/d01.spad.dvi ${DOC}/d01transform.spad.dvi \
- ${DOC}/d01weights.spad.dvi ${DOC}/d02agents.spad.dvi \
- ${DOC}/d02Package.spad.dvi ${DOC}/d02routine.spad.dvi ${DOC}/d02.spad.dvi \
- ${DOC}/d03agents.spad.dvi ${DOC}/d03Package.spad.dvi \
- ${DOC}/d03routine.spad.dvi ${DOC}/d03.spad.dvi ${DOC}/ddfact.spad.dvi \
- ${DOC}/defaults.spad.dvi ${DOC}/defintef.spad.dvi ${DOC}/defintrf.spad.dvi \
- ${DOC}/degred.spad.dvi ${DOC}/derham.spad.dvi ${DOC}/dhmatrix.spad.dvi \
- ${DOC}/divisor.spad.dvi ${DOC}/dpolcat.spad.dvi ${DOC}/drawopt.spad.dvi \
- ${DOC}/drawpak.spad.dvi ${DOC}/draw.spad.dvi \
- ${DOC}/e01.spad.dvi ${DOC}/e02.spad.dvi ${DOC}/e04agents.spad.dvi \
- ${DOC}/e04Package.spad.dvi ${DOC}/e04routine.spad.dvi ${DOC}/e04.spad.dvi \
- ${DOC}/efstruc.spad.dvi ${DOC}/efuls.spad.dvi ${DOC}/efupxs.spad.dvi \
- ${DOC}/eigen.spad.dvi ${DOC}/elemntry.spad.dvi ${DOC}/elfuts.spad.dvi \
- ${DOC}/equation1.spad.dvi ${DOC}/equation2.spad.dvi ${DOC}/error.spad.dvi \
- ${DOC}/expexpan.spad.dvi ${DOC}/exposed.lsp.dvi ${DOC}/expr2ups.spad.dvi \
- ${DOC}/exprode.spad.dvi ${DOC}/expr.spad.dvi \
- ${DOC}/f01.spad.dvi ${DOC}/f02.spad.dvi ${DOC}/f04.spad.dvi \
- ${DOC}/f07.spad.dvi ${DOC}/facutil.spad.dvi ${DOC}/ffcat.spad.dvi \
- ${DOC}/ffcg.spad.dvi ${DOC}/fff.spad.dvi ${DOC}/ffhom.spad.dvi \
- ${DOC}/ffnb.spad.dvi ${DOC}/ffpoly2.spad.dvi ${DOC}/ffpoly.spad.dvi \
- ${DOC}/ffp.spad.dvi ${DOC}/ffrac.as.dvi ${DOC}/ffx.spad.dvi \
- ${DOC}/files.spad.dvi ${DOC}/float.spad.dvi ${DOC}/fmod.spad.dvi \
- ${DOC}/fname.spad.dvi ${DOC}/fnla.spad.dvi ${DOC}/formula.spad.dvi \
- ${DOC}/fortcat.spad.dvi ${DOC}/fortmac.spad.dvi ${DOC}/fortpak.spad.dvi \
- ${DOC}/fortran.spad.dvi ${DOC}/forttyp.spad.dvi ${DOC}/fourier.spad.dvi \
- ${DOC}/fparfrac.spad.dvi ${DOC}/fraction.spad.dvi ${DOC}/free.spad.dvi \
- ${DOC}/fr.spad.dvi ${DOC}/fs2expxp.spad.dvi ${DOC}/fs2ups.spad.dvi \
- ${DOC}/fspace.spad.dvi ${DOC}/funcpkgs.spad.dvi ${DOC}/functions.spad.dvi \
- ${DOC}/galfact.spad.dvi ${DOC}/galfactu.spad.dvi ${DOC}/galpolyu.spad.dvi \
- ${DOC}/galutil.spad.dvi ${DOC}/gaussfac.spad.dvi ${DOC}/gaussian.spad.dvi \
- ${DOC}/gbeuclid.spad.dvi ${DOC}/gbintern.spad.dvi ${DOC}/gb.spad.dvi \
- ${DOC}/gdirprod.spad.dvi ${DOC}/gdpoly.spad.dvi ${DOC}/geneez.spad.dvi \
- ${DOC}/generic.spad.dvi ${DOC}/genufact.spad.dvi ${DOC}/genups.spad.dvi \
- ${DOC}/ghensel.spad.dvi ${DOC}/gpgcd.spad.dvi ${DOC}/gpol.spad.dvi \
- ${DOC}/grdef.spad.dvi ${DOC}/groebf.spad.dvi ${DOC}/groebsol.spad.dvi \
- ${DOC}/gseries.spad.dvi \
- ${DOC}/herm.as.dvi \
- ${DOC}/ideal.spad.dvi ${DOC}/idecomp.spad.dvi ${DOC}/indexedp.spad.dvi \
- ${DOC}/infprod.spad.dvi ${DOC}/intaf.spad.dvi ${DOC}/intalg.spad.dvi \
- ${DOC}/intaux.spad.dvi ${DOC}/intclos.spad.dvi ${DOC}/intef.spad.dvi \
- ${DOC}/integer.spad.dvi ${DOC}/integrat.spad.dvi \
- ${DOC}/interval.as.dvi ${DOC}/interval.spad.dvi \
- ${DOC}/intfact.spad.dvi ${DOC}/intpm.spad.dvi \
- ${DOC}/intrf.spad.dvi ${DOC}/invnode.as.dvi ${DOC}/invrender.as.dvi \
- ${DOC}/invtypes.as.dvi ${DOC}/invutils.as.dvi ${DOC}/irexpand.spad.dvi \
- ${DOC}/irsn.spad.dvi ${DOC}/ituple.spad.dvi ${DOC}/iviews.as.dvi \
- ${DOC}/kl.spad.dvi ${DOC}/kovacic.spad.dvi \
- ${DOC}/laplace.spad.dvi ${DOC}/laurent.spad.dvi ${DOC}/leadcdet.spad.dvi \
- ${DOC}/lie.spad.dvi ${DOC}/limitps.spad.dvi ${DOC}/lindep.spad.dvi \
- ${DOC}/lingrob.spad.dvi ${DOC}/liouv.spad.dvi ${DOC}/listgcd.spad.dvi \
- ${DOC}/list.spad.dvi ${DOC}/lmdict.spad.dvi ${DOC}/lodof.spad.dvi \
- ${DOC}/lodop.spad.dvi ${DOC}/lodo.spad.dvi \
- ${DOC}/manip.spad.dvi ${DOC}/mappkg.spad.dvi ${DOC}/matcat.spad.dvi \
- ${DOC}/matfuns.spad.dvi ${DOC}/mathml.spad.dvi \
- ${DOC}/matrix.spad.dvi ${DOC}/matstor.spad.dvi \
- ${DOC}/mesh.spad.dvi ${DOC}/mfinfact.spad.dvi ${DOC}/misc.spad.dvi \
- ${DOC}/mkfunc.spad.dvi ${DOC}/mkrecord.spad.dvi ${DOC}/mlift.spad.jhd.dvi \
- ${DOC}/mlift.spad.dvi ${DOC}/moddfact.spad.dvi ${DOC}/modgcd.spad.dvi \
- ${DOC}/modmonom.spad.dvi ${DOC}/modmon.spad.dvi ${DOC}/modring.spad.dvi \
- ${DOC}/moebius.spad.dvi ${DOC}/mring.spad.dvi ${DOC}/mset.spad.dvi \
- ${DOC}/mts.spad.dvi ${DOC}/multfact.spad.dvi ${DOC}/multpoly.spad.dvi \
- ${DOC}/multsqfr.spad.dvi \
- ${DOC}/naalgc.spad.dvi ${DOC}/naalg.spad.dvi ${DOC}/ndftip.as.dvi \
- ${DOC}/nepip.as.dvi ${DOC}/newdata.spad.dvi ${DOC}/newpoint.spad.dvi \
- ${DOC}/newpoly.spad.dvi ${DOC}/nlinsol.spad.dvi ${DOC}/nlode.spad.dvi \
- ${DOC}/noptip.as.dvi ${DOC}/npcoef.spad.dvi ${DOC}/nqip.as.dvi \
- ${DOC}/nrc.as.dvi ${DOC}/nregset.spad.dvi ${DOC}/nsfip.as.dvi \
- ${DOC}/nsregset.spad.dvi ${DOC}/numeigen.spad.dvi ${DOC}/numeric.spad.dvi \
- ${DOC}/numode.spad.dvi ${DOC}/numquad.spad.dvi ${DOC}/numsolve.spad.dvi \
- ${DOC}/numtheor.spad.dvi \
- ${DOC}/oct.spad.dvi ${DOC}/odealg.spad.dvi ${DOC}/odeef.spad.dvi \
- ${DOC}/oderf.spad.dvi ${DOC}/omcat.spad.dvi ${DOC}/omdev.spad.dvi \
- ${DOC}/omerror.spad.dvi ${DOC}/omserver.spad.dvi ${DOC}/opalg.spad.dvi \
- ${DOC}/openmath.spad.dvi ${DOC}/op.spad.dvi ${DOC}/ore.spad.dvi \
- ${DOC}/outform.spad.dvi ${DOC}/out.spad.dvi \
- ${DOC}/pade.spad.dvi ${DOC}/padiclib.spad.dvi ${DOC}/padic.spad.dvi \
- ${DOC}/paramete.spad.dvi ${DOC}/partperm.spad.dvi ${DOC}/patmatch1.spad.dvi \
- ${DOC}/patmatch2.spad.dvi ${DOC}/pattern.spad.dvi ${DOC}/pcurve.spad.dvi \
- ${DOC}/pdecomp.spad.dvi ${DOC}/perman.spad.dvi ${DOC}/permgrps.spad.dvi \
- ${DOC}/perm.spad.dvi ${DOC}/pfbr.spad.dvi ${DOC}/pfo.spad.dvi \
- ${DOC}/pfr.spad.dvi ${DOC}/pf.spad.dvi ${DOC}/pgcd.spad.dvi \
- ${DOC}/pgrobner.spad.dvi ${DOC}/pinterp.spad.dvi ${DOC}/pleqn.spad.dvi \
- ${DOC}/plot3d.spad.dvi ${DOC}/plot.spad.dvi ${DOC}/plottool.spad.dvi \
- ${DOC}/polset.spad.dvi ${DOC}/poltopol.spad.dvi ${DOC}/polycat.spad.dvi \
- ${DOC}/poly.spad.dvi ${DOC}/primelt.spad.dvi ${DOC}/print.spad.dvi \
- ${DOC}/product.spad.dvi ${DOC}/prs.spad.dvi ${DOC}/prtition.spad.dvi \
- ${DOC}/pscat.spad.dvi ${DOC}/pseudolin.spad.dvi ${DOC}/ptranfn.spad.dvi \
- ${DOC}/puiseux.spad.dvi \
- ${DOC}/qalgset.spad.dvi ${DOC}/quat.spad.dvi \
- ${DOC}/radeigen.spad.dvi ${DOC}/radix.spad.dvi ${DOC}/random.spad.dvi \
- ${DOC}/ratfact.spad.dvi ${DOC}/rdeef.spad.dvi ${DOC}/rderf.spad.dvi \
- ${DOC}/rdesys.spad.dvi ${DOC}/real0q.spad.dvi ${DOC}/realzero.spad.dvi \
- ${DOC}/reclos.spad.dvi ${DOC}/regset.spad.dvi ${DOC}/rep1.spad.dvi \
- ${DOC}/rep2.spad.dvi ${DOC}/resring.spad.dvi ${DOC}/retract.spad.dvi \
- ${DOC}/rf.spad.dvi ${DOC}/riccati.spad.dvi ${DOC}/rinterp.spad.dvi \
- ${DOC}/routines.spad.dvi \
- ${DOC}/rule.spad.dvi \
- ${DOC}/seg.spad.dvi ${DOC}/setorder.spad.dvi ${DOC}/sets.spad.dvi \
- ${DOC}/sex.spad.dvi ${DOC}/sf.spad.dvi ${DOC}/sgcf.spad.dvi \
- ${DOC}/sign.spad.dvi ${DOC}/si.spad.dvi ${DOC}/smith.spad.dvi \
- ${DOC}/solvedio.spad.dvi ${DOC}/solvefor.spad.dvi ${DOC}/solvelin.spad.dvi \
- ${DOC}/solverad.spad.dvi ${DOC}/sortpak.spad.dvi ${DOC}/space.spad.dvi \
- ${DOC}/special.spad.dvi ${DOC}/sregset.spad.dvi ${DOC}/s.spad.dvi \
- ${DOC}/stream.spad.dvi ${DOC}/string.spad.dvi ${DOC}/sttaylor.spad.dvi \
- ${DOC}/sttf.spad.dvi ${DOC}/sturm.spad.dvi ${DOC}/suchthat.spad.dvi \
- ${DOC}/suls.spad.dvi ${DOC}/sum.spad.dvi ${DOC}/sups.spad.dvi \
- ${DOC}/supxs.spad.dvi ${DOC}/suts.spad.dvi ${DOC}/symbol.spad.dvi \
- ${DOC}/syssolp.spad.dvi ${DOC}/system.spad.dvi \
- ${DOC}/tableau.spad.dvi ${DOC}/table.spad.dvi ${DOC}/taylor.spad.dvi \
- ${DOC}/tex.spad.dvi ${DOC}/tools.spad.dvi ${DOC}/transsolve.spad.dvi \
- ${DOC}/tree.spad.dvi ${DOC}/trigcat.spad.dvi ${DOC}/triset.spad.dvi \
- ${DOC}/tube.spad.dvi ${DOC}/twofact.spad.dvi \
- ${DOC}/unifact.spad.dvi ${DOC}/updecomp.spad.dvi ${DOC}/updivp.spad.dvi \
- ${DOC}/utsode.spad.dvi \
- ${DOC}/variable.spad.dvi ${DOC}/vector.spad.dvi ${DOC}/view2D.spad.dvi \
- ${DOC}/view3D.spad.dvi ${DOC}/viewDef.spad.dvi ${DOC}/viewpack.spad.dvi \
- ${DOC}/void.spad.dvi \
- ${DOC}/weier.spad.dvi ${DOC}/wtpol.spad.dvi \
- ${DOC}/xlpoly.spad.dvi ${DOC}/xpoly.spad.dvi \
- ${DOC}/ystream.spad.dvi \
- ${DOC}/zerodim.spad.dvi
-
-
-TESTS=${INPUT}/INTHEORY.input ${INPUT}/VIEW2D.input ${INPUT}/TESTFR.input
-
-
-subdir = src/algebra/
-
-# The list of objects necessary to bootstrap the whole algebra library.
-axiom_algebra_layer_strap = \
-	$(addprefix strap/,$(axiom_algebra_bootstrap))
-
-axiom_algebra_layer_strap_objects = \
-	$(addsuffix .$(FASLEXT),$(axiom_algebra_layer_strap))
-
-
-axiom_algebra_bootstrap = \
-  ABELGRP  ABELGRP- ABELMON  ABELMON- \
-  ABELSG   ABELSG-  ALAGG    BOOLEAN  \
-  CABMON   CHAR     CLAGG    CLAGG-   \
-  COMRING  DFLOAT   DIFRING  DIFRING- \
-  DIVRING  DIVRING- ENTIRER  ES       \
-  ES-      EUCDOM   EUCDOM-  FFIELDC  \
-  FFIELDC- FPS      FPS-     GCDDOM   \
-  GCDDOM-  HOAGG    HOAGG-   ILIST    \
-  INS      INS-     INT      INTDOM   \
-  INTDOM-  ISTRING  LIST     LNAGG    \
-  LNAGG-   LSAGG    LSAGG-   MONOID   \
-  MONOID-  MTSCAT   NNI      OINTDOM  \
-  ORDRING  ORDRING- OUTFORM  PI       \
-  PRIMARR  POLYCAT  POLYCAT- PSETCAT  \
-  PSETCAT- QFCAT    QFCAT-   RCAGG    \
-  RCAGG-   REF      RING     RING-    \
-  RNG      RNS      RNS-     SETAGG   \
-  SETAGG-  SETCAT   SETCAT-  SINT     \
-  STAGG    STAGG-   SYMBOL   TSETCAT  \
-  TSETCAT- UFD      UFD-     ULSCAT   \
-  UPOLYC   UPOLYC-  URAGG    URAGG-   \
-  VECTOR
-
-axiom_algebra_bootstrap_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_bootstrap))
-
-axiom_algebra_bootstrap_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT), $(axiom_algebra_bootstrap)))
-
-axiom_algebra_layer_0 = \
-  AHYP     ATTREG   CFCAT    ELTAB    KOERCE   KONVERT  \
-  MSYSCMD           OM       OMCONN   OMDEV    OUT      \
-  PRIMCAT  PRINT    PTRANFN  SPFCAT   TYPE     UTYPE    \
-  PROPLOG  PROPERTY BASTYPE  BASTYPE- CATEGORY LMODULE  \
-  RMODULE  FINITE   STEP     SGROUP   SGROUP-  ABELSG   \
-  ABELSG-  ORDSET   ORDSET-  FNCAT    FILECAT  SEXCAT   \
-  MKBCFUNC MKRECORD MKUCFUNC DROPT1   PLOT1    ITFUN2   \
-  ITFUN3   STREAM1  STREAM2  STREAM3  ANY1     SEGBIND2 \
-  COMBOPC  EQ2      NONE1
-
-axiom_algebra_layer_0_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_0))
-
-axiom_algebra_layer_0_objects = \
-	$(addprefix $(OUT)/, \
-           $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_0))) 
-axiom_algebra_layer_1 = \
-  AGG      AGG-     IEVALAB  IEVALAB- FORTCAT   ITUPLE   \
-  PATAB    PPCURVE  PSCURVE  REAL     RESLATC   RETRACT  \
-  RETRACT- SEGCAT   BINDING  SYNTAX   BMODULE   LOGIC    \
-  LOGIC-   EVALAB   EVALAB-  FEVALAB  FEVALAB-  BYTE
-
-axiom_algebra_layer_1_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1))
-
-axiom_algebra_layer_1_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_1)))
-axiom_algebra_layer_2 = \
-  ELTAGG   ELTAGG- FMC      FMFUN   FORTFN   FVC     \
-  CTORCALL FVFUN   INTRET   IXAGG   IXAGG-   SEGXCAT \
-  CONTOUR  LIST3   MKFUNC   OASGP   
-
-axiom_algebra_layer_2_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_2))
-
-axiom_algebra_layer_2_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_2)))
-axiom_algebra_layer_3 = \
-   GRDEF     SCOPE    MAPHACK1 MAPHACK2 MAPHACK3 MAPPKG1  \
-   MAPPKG2   MAPPKG3  INTBIT   MONAD    MONAD-   
-
-
-
-axiom_algebra_layer_3_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_3))
-
-axiom_algebra_layer_3_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_3)))
-axiom_algebra_layer_4 = \
-  ANON     COLOR    COMM     COMPPROP ESCONT1  EXIT     \
-  FAMONC   FORMULA1 IDPC              NONE     NUMINT   \
-  ODECAT            OMENC    ONECOMP2 OPTCAT            \
-  PALETTE  PARPCURV PARPC2   PARSCURV PARSC2   PARSURF  \
-  PARSU2   PATMAB   PATRES2  PATTERN1 PDECAT            \
-  REPSQ    REPDB    RFDIST   RIDIST   SPACEC   SPLNODE  \
-  SUCH     TEX1     UDVO     YSTREAM  PAIR     ENV      \
-  ATRIG    ATRIG-   GROUP    GROUP-   LALG     LALG-    \
-  OAMON    BGAGG    BGAGG-   BRAGG    BRAGG-   ELAGG    \
-  ELAGG-  DLAGG     MODULE  MODULE-  
-
-
-axiom_algebra_layer_4_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_4))
-
-axiom_algebra_layer_4_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_4)))
-axiom_algebra_layer_5 = \
-  CACHSET  CHARNZ   CHARZ    DVARCAT  DVARCAT- ELEMFUN  \
-  ELEMFUN- ESTOOLS2 FCOMP    FPATMAB  IDPAM    IDPO     \
-  INCRMAPS KERNEL2  LINEXP   MODMONOM MONADWU  MONADWU- \
-  MRF2     NARNG    NARNG-   NSUP2    ODVAR    OPQUERY  \
-  ORDFIN   ORDMON   PATMATCH PERMCAT  PDRING   PDRING-  \
-  SDVAR    SUP2     TRIGCAT  TRIGCAT- ULS2     UP2      \
-  ELABEXPR OCAMON
-
-axiom_algebra_layer_5_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_5))
-
-axiom_algebra_layer_5_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_5)))
-axiom_algebra_layer_6 = \
-  ALGEBRA ALGEBRA- AUTOMOR  CARTEN2 CHARPOL  COMPLEX2 \
-  DIFEXT  DIFEXT-  ES1      ES2     GRMOD    GRMOD-   \
-  HYPCAT  HYPCAT-  MKCHSET  MODRING NASRING  NASRING- \
-  SORTPAK ZMOD     PRQAGG   QUAGG   SKAGG    DQAGG    \
-  PID     OAGROUP  OAMONS
-
-axiom_algebra_layer_6_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_6))
-axiom_algebra_layer_6_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_6)))
-axiom_algebra_layer_7 = \
-  BTCAT  BTCAT-  LNAGG    LNAGG-   FMCAT   IDPOAM   \
-  IFAMON GRALG   GRALG-   FLAGG    FLAGG-             
-
-axiom_algebra_layer_7_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_7))
-
-axiom_algebra_layer_7_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_7)))
-axiom_algebra_layer_8 = \
-  BSTREE  BTOURN   CARD     DRAWHACK  FACTFUNC FMTC  \
-  FR2     FRAC2    FRUTIL   ITAYLOR   MLO      NAALG \
-  NAALG-  OP       ORDCOMP2 RANDSRC   UNISEG2  XALG  \
-  FIELD   FIELD-   A1AGG    A1AGG-    ARR2CAT  ARR2CAT-
-
-axiom_algebra_layer_8_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_8))
-
-axiom_algebra_layer_8_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_8)))
-axiom_algebra_layer_9 = \
-  AMR      AMR-     DEGRED   DLP      EAB      ESTOOLS1 \
-  FAGROUP  FAMONOID FLINEXP  FLINEXP- FRETRCT  FRETRCT- \
-  FSERIES  FT       IDPAG    IDPOAMS  INFINITY LA       \
-  OMLO     ORTHPOL  PRODUCT  PADICCT  PMPRED   PMASS    \
-  PTFUNC2  RADCAT   RADCAT-  RATRET   RADUTIL  UPXS2    \
-  XFALG    ZLINDEP  BBTREE   LSAGG    LSAGG-   SRAGG    \
-  SRAGG-   STRICAT  ODEIFTBL NIPROB   ODEPROB  OPTPROB  \
-  PDEPROB  
-
-
-axiom_algebra_layer_9_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_9))
-
-axiom_algebra_layer_9_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_9)))
-axiom_algebra_layer_10 = \
-  ASP34    BFUNCT   BPADIC   \
-  BTREE    CRAPACK  DEQUEUE  DLIST    \
-  DRAWCX   D01GBFA  D02EJFA  D03FAFA  \
-  DRAWPT   FAMR     FAMR-    FLASORT  \
-  FLAGG2   FGROUP   FM       FM1      \
-  FPC      FPC-     FMONOID  INDE     \
-  IPADIC   IROOT    IR2      LEXP     \
-  LIECAT   LIECAT-  LIST2    LIST2MAP \
-  LMOPS    LZSTAGG  LZSTAGG- MAGMA    \
-  MESH     MOEBIUS  MODFIELD MODOP    \
-  MRING    MTHING   NCNTFRAC NCODIV   \
-  NUMTUBE  ODR      OFMONOID ONECOMP  \
-  ORDCOMP  OREPCAT  OREPCAT- OWP      \
-  PADIC    PATTERN2 PATLRES  PARTPERM \
-  PBWLB    PENDTREE PGE      PGROEB   \
-  PINTERP  PLOTTOOL PFR      PMDOWN   \
-  PRTITION PMINS    PMLSAGG  PMTOOLS  \
-  PSCAT    PSCAT-   QFORM    QUEUE    \
-  SCACHE   SEG      SEG2     SEXOF    \
-  STACK    STTAYLOR TABLBUMP TABLEAU  \
-  TOPSP    TRANFUN  TRANFUN- TUBE     \
-  UDPO     UNISEG   VIEW     VSPACE   \
-  VSPACE-  XPOLYC   XPR    BTAGG    BTAGG-  
-
-
-axiom_algebra_layer_10_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_10))
-
-axiom_algebra_layer_10_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_10)))
-axiom_algebra_layer_11 = \
-  STRING   \
-  APPLYORE ARRAY1   ARRAY12  ARRAY2   \
-  ASTACK   COMBINAT \
-  CSTTOOLS D01FCFA  E04MBFA  FARRAY   \
-  FLALG    GALUTIL  HEAP     IARRAY1  \
-  IARRAY2  IFARRAY  INTCAT   INTHEORY \
-  IRREDFFX LFCAT    LODOCAT  LODOCAT- \
-  LWORD    MATCAT   MATCAT-  MATSTOR  \
-  ORESUP   OREPCTO  OREUP    PLOT3D   \
-  PR       PREASSOC PRIMARR2 REDORDER \
-  STREAM   SYMPOLY  \
-  TS       TUPLE    UPSCAT   UPSCAT-  \
-  VECTCAT  VECTCAT- XDPOLY   XEXPPKG  \
-  XF       XF-      XPBWPOLY XPOLY    \
-  XRPOLY   
-
-axiom_algebra_layer_11_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_11))
-
-axiom_algebra_layer_11_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_11)))
-axiom_algebra_layer_12 = \
-  DIOPS    DIOPS-  DIAGG   DIAGG-   BITS    DIRPROD2 IMATRIX \
-  IVECTOR  LPOLY   LSMP    LSMP1    MATCAT2 PTCAT    TRIMAT  \
-  FSAGG    FSAGG-  SYSTEM  BYTEARY
-
-axiom_algebra_layer_12_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_12))
-
-axiom_algebra_layer_12_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_12)))
-axiom_algebra_layer_13 = \
-  KDAGG    KDAGG-   \
-  ASSOCEQ  CARTEN   CLIF     CLIP     \
-  COORDSYS DBASE    DHMATRIX DIOSP    \
-  DIRPCAT  DIRPCAT- D02BBFA  D02BHFA  \
-  D02CJFA  FAXF     FAXF-    FFPOLY2  \
-  FNLA     GRAY     HB       IRSN     \
-  MCALCFN  MHROWRED NUMODE   NUMQUAD  \
-  ODESYS   ODETOOLS ORDFUNS  PERMAN   \
-  PFECAT   PFECAT-  POINT    PSEUDLIN \
-  PTPACK   REP2     SETMN    SEX      \
-  SYMFUNC  VECTOR2     CHAR  
-
-axiom_algebra_layer_13_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_13))
-
-axiom_algebra_layer_13_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_13)))
-axiom_algebra_layer_14 = \
-  TBAGG   TBAGG-   ALIST    FS       FS-      ACF      ACF-     \
-  ACFS     ACFS-    \
-  ASP1     ASP10    ASP24    ASP4     \
-  ASP50    ASP6     ASP73    BALFACT  \
-  BEZOUT   BINARY   BINFILE  BOUNDZRO \
-  BPADICRT BRILL    CDEN     CHVAR    \
-  COMMUPC  CONTFRAC CVMP     CYCLOTOM \
-  CYCLES   DDFACT   DECIMAL  DIRPROD  DISPLAY  DMP      \
-  DPMO     DPOLCAT  DPOLCAT- D01AJFA  \
-  D01AKFA  D01ALFA  D01AMFA  D01APFA  \
-  D01AQFA  EMR      EQ       ERROR    \
-  EVALCYC  E04DGFA  E04FDFA  E04GCFA  \
-  E04JAFA  FACUTIL  FF       FFCG     \
-  FFCGX    FFHOM    FFNB     FFNBX    \
-  FFPOLY   FFX      FFSLPE   FGLMICPK \
-  FILE     FINAALG  FINAALG- FINRALG  \
-  FINRALG-          FLOATRP  FNAME    \
-  FOP      FORMULA  FORT     FRAC     \
-  FTEM     GENEEZ   GENMFACT GENPGCD  \
-  GALFACTU GALPOLYU GB       GBEUCLID \
-  GBF      GBINTERN GHENSEL  GMODPOL  \
-  GOSPER   GRIMAGE  GROEBSOL HDMP     \
-  HDP      HEXADEC  HEUGCD   IBPTOOLS \
-  IFF      IBITS    ICARD    ICDEN    \
-  IDECOMP  IIARRAY2 IMATLIN  IMATQF   \
-  INMODGCD INNMFACT INPSIGN  INTHERTR \
-  INTRAT   INTRF    INTSLPE  INTTR    \
-  ISUMP    LAUPOL   LEADCDET LGROBP   \
-  LIMITRF  LINDEP   LO       LPEFRAC  \
-  LSPP     MATLIN   MCDEN    MDDFACT  \
-  MFINFACT MFLOAT   MINT     MLIFT    \
-  MMAP     MODMON   MONOTOOL MPCPF    \
-  MPC2     MPC3     MPOLY    MPRFF    \
-  MRATFAC  MULTSQFR NORMRETR NPCOEF   \
-  NSUP     NTPOLFN  ODP      ODEPRIM  \
-  ODEPRRIC OMPKG    OMSERVER PADEPAC  \
-  PADICRAT PADICRC  PCOMP    PDECOMP  \
-  PF       PFBR     PFBRU    PFOTOOLS \
-  PFRPAC   PGCD     PINTERPA PLEQN    \
-  PMPLCAT  PMQFCAT  PNTHEORY POLUTIL  \
-  POLTOPOL POLYCATQ POLYLIFT POLYROOT \
-  POLY2    POLY2UP  PRS      PSQFR    \
-  PUSHVAR  QALGSET  QFCAT2   RADIX    \
-  RATFACT  RCFIELD  RCFIELD- RDETR    \
-  RDETRS   REAL0    REAL0Q   REALSOLV \
-  RESRING  RETSOL   RF       RFFACTOR \
-  RMATCAT  RMATCAT- RRCC     RRCC-    \
-  SCPKG    SHDP     SHP      SIGNRF   \
-  SMITH    SMP      SMTS     SOLVEFOR \
-  SPLTREE  STINPROD STTFNC   SUBRESP  \
-  SUMRF    SUP      SUPFRACF TANEXP   \
-  TEMUTL   TEX      TEXTFILE TREE     \
-  TWOFACT  UNIFACT  UP       UPCDEN   \
-  UPDECOMP UPDIVP   UPMP     UPOLYC2  \
-  UPXSCAT  UPSQFREE VIEWDEF  VIEW2D   \
-  VOID     WEIER    WP       \
- EQTBL  GSTBL   HASHTBL \
-  INTABL  INTFTBL  STBL    STRTBL\
-  TABLE     FST SYMS     SYMTAB
-
-
-axiom_algebra_layer_14_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_14))
-
-axiom_algebra_layer_14_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_14)))
-axiom_algebra_layer_15 = \
-  DSMP     EXPUPXS \
-  FRAMALG  FRAMALG- MDAGG    ODPOL   \
-  PLOT     RMCAT2   ROIRC    SDPOL   \
-  SMATCAT  SMATCAT- TUBETOOL UPXSCCA \
-  UPXSCCA- JAVACODE POLY
-
-axiom_algebra_layer_15_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_15))
-
-axiom_algebra_layer_15_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_15)))
-axiom_algebra_layer_16 = \
-  DPMM     EFUPXS  FFINTBAS FRIDEAL  \
-  FRIDEAL2 FRMOD   \
-  IBATOOL  INTFACT \
-  MSETAGG  MONOGEN MONOGEN- NFINTBAS \
-  SPACE3  FFF
-
-axiom_algebra_layer_16_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_16))
-
-axiom_algebra_layer_16_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_16)))
-axiom_algebra_layer_17 = \
-  CCLASS  FSAGG2  GALFACT IALGFACT \
-  IBACHIN MMLFORM NORMMA  ODERED  OMSAGG   \
-  PERM    PERMGRP PRIMES  PWFFINTB \
-  RDIST   SAE     SAEFACT SAERFFC  \
-  SGCF VIEW3D 
-
-axiom_algebra_layer_17_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_17))
-
-axiom_algebra_layer_17_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_17)))
-axiom_algebra_layer_18 = \
-INTPACK IPF     \
-  KAFILE  PATRES TBCMPPK 
-
-axiom_algebra_layer_18_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_18))
-
-axiom_algebra_layer_18_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_18)))
-axiom_algebra_layer_19 = \
-  ACPLOT   ANTISYM \
-  ANY               ASP27    ASP28   \
-  ASP33    ASP49             ASP7    \
-  ASP78             ASP9     ATTRBUT \
-  BOP      BOP1     COMMONOP COMPCAT \
-  COMPCAT- DRAW     DRAWCFUN DROPT   \
-  DROPT0   D01ANFA  D01ASFA  D03AGNT \
-  EP       E04AGNT  FCPAK1   FEXPR   \
-  FFCAT    FFCAT-   FFCGP    FFNBP   \
-  FFP      FLOAT    FPARFRAC FR      \
-  FRNAALG  FRNAALG- \
-           FUNCTION GDMP     HACKPI  \
-  IDEAL    INFORM   INFORM1  IPRNTPK \
-  IR       ISUPS    KERNEL   LIB     \
-  LMDICT   LODOOPS  MATRIX   MKFLCFN \
-  MSET     M3D      NAGC02   NAGC05  \
-  NAGC06   NAGD03   NAGE01   NAGE02  \
-  NAGE04   NAGF07   NAGS     NAGSP   \
-  NREP     NUMFMT   OC       OC-     \
-  ODEPACK  ODERAT   OMERR    OMERRK  \
-  OPTPACK  OSI      PATTERN  OVAR    \
-  PMKERNEL PMSYM             PRIMELT \
-  QALGSET2 QEQUAT   RECLOS   REP1    \
-  RESULT   QUATCAT  QUATCAT- RFFACT  \
-  RMATRIX  ROMAN    ROUTINE  RPOLCAT \
-  RPOLCAT- RULECOLD SAOS     SEGBIND \
-  SET      SPECOUT  SQMATRIX SWITCH  \
-                    SYSSOLP  UTSCAT  \
-  UTSCAT-  VARIABLE WFFINTBS SPADPRSR \
-  PARSER   PROPFRML
-
-axiom_algebra_layer_19_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_19))
-
-axiom_algebra_layer_19_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_19)))
-axiom_algebra_layer_20 = \
-  AF       ALGFACT  ASP12    ASP55    ASP8 \
-  ALGFF    ALGMANIP ALGMFACT ALGPKG   \
-  ALGSC    AN       APPRULE  ASP19    \
-  ASP20    ASP30    ASP31    ASP35    \
-  ASP41    ASP42    ASP74    ASP77    \
-  ASP80    CINTSLPE COMPFACT COMPLEX  \
-  COMPLPAT CMPLXRT  CPMATCH  CRFP     \
-  CTRIGMNP D01WGTS  D02AGNT  D03EEFA  \
-  DBLRESP  DERHAM   DFSFUN   DRAWCURV \
-  E04NAFA  E04UCFA  EF       EFSTRUC  \
-  ELFUTS   ESTOOLS  EXPEXPAN EXPRODE  \
-  EXPRTUBE EXPR2    FC       FDIVCAT  \
-  FDIVCAT- FDIV2    FFCAT2   FLOATCP  \
-  FORDER   FORTRAN  FSRED    FSUPFACT \
-  FRNAAF2  FSPECF   FS2      FS2UPS   \
-  GAUSSFAC GCNAALG  GENUFACT GENUPS   \
-  GTSET    GPOLSET  IAN      INEP     \
-  INFPROD0 INFSP    INPRODFF INPRODPF \
-  INTAF    INTALG   INTEF    INTG0    \
-  INTHERAL INTPAF   INTPM    INTTOOLS \
-  ITRIGMNP JORDAN   KOVACIC  LF       \
-  LIE      LODOF    LSQM     OMEXPR   \
-  MCMPLX   MULTFACT NAGD01   NAGD02   \
-  NAGF01   NAGF02   NAGF04   NCEP     \
-  NLINSOL  NSMP     NUMERIC  OCT      \
-  OCTCT2   ODEPAL   ODERTRIC PADE     \
-  PAN2EXPR PDEPACK  PFO      PFOQ     \
-  PICOERCE PMASSFS  PMFS     PMPREDFS \
-  PSETPK   QUAT     QUATCT2  RADFF    \
-  RDEEF    RDEEFS   RDIV     RSETCAT  \
-  RSETCAT- RULE     RULESET  SIMPAN   \
-  SFORT    SOLVESER SUMFS    SUTS     \
-  TOOLSIGN TRIGMNIP TRMANIP  ULSCCAT  \
-  ULSCCAT- UPXSSING UTSODE   UTSODETL \
-  UTS2     WUTSET   
-
-axiom_algebra_layer_20_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_20))
-
-axiom_algebra_layer_20_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_20)))
-axiom_algebra_layer_21 = \
-  DEFINTEF DFINTTLS DEFINTRF D01TRNS  \
-  EFULS    ESCONT   EXPR     EXPR2UPS \
-  FDIV     FSCINT   FSINT    FS2EXPXP \
-  GSERIES  HELLFDIV INVLAPLA IR2F     \
-  IRRF2F   LAPLACE  LIMITPS  LODEEF   \
-  NODE1    ODECONST ODEINT   REP      \
-  SOLVERAD SULS     SUPXS    ULS      \
-  ULSCONS  UPXS     UPXSCONS UTS 
-
-axiom_algebra_layer_21_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_21))
-
-axiom_algebra_layer_21_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_21)))
-axiom_algebra_layer_22 = \
-  ASP29    COMBF    D01AGNT  FSPRMELT \
-  INBFF    LODO     LODO1    LODO2    \
-  NTSCAT   REGSET   RGCHAIN  RSETGCD  \
-  RSDCMPK  SFRTCAT  SIGNEF   SNTSCAT  \
-  SOLVETRA SRDCMPK  SREGSET  STTF     \
-  SUBSPACE ZDSOLVE
-
-axiom_algebra_layer_22_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_22))
-
-axiom_algebra_layer_22_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_22)))
-axiom_algebra_layer_23 = \
-  CPIMA    IRURPK   LAZM3PK  LEXTRIPK \
-  NORMPK   QCMPACK  RURPK    SFRGCD   \
-  SFQCMPK  INTRVL   ODEEF    DOMAIN
-
-axiom_algebra_layer_23_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_23))
-
-axiom_algebra_layer_23_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_23)))
-axiom_algebra_layer_user =  RINTERP
-
-axiom_algebra_layer_user_nrlibs = \
-	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_user))
-
-axiom_algebra_layer_user_objects = \
-	$(addprefix $(OUT)/, \
-	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_user)))
-
-.PHONY: all all-algebra mkdir-output-directory
-all: all-ax
-
-all-ax all-algebra: stamp
-	@ echo finished $(builddir)
-
-stamp: mkdir-output-directory ${SPADFILES} bootstrap-stamp ${TESTS}
-	-rm -f stamp
-	$(STAMP) stamp
-
-mkdir-output-directory:
-	$(mkinstalldirs) $(OUTSRC)
-
-everything: check lib db cmd gloss
-	@ echo 4303 invoking make in `pwd` with parms:
-	@ echo SYS= ${SYS} LSP= ${LSP}
-	@ echo MNT= ${MNT} LISP=${LISP} BYE=${BYE}
-
-check:
-	@ echo 4305 Checking that INTERP.EXPOSED and NRLIBs are consistent
-	@ echo 4306 libcheck needs to use exposed.lsp, not INTERP.EXPOSED
-
-
-
-
-${OUT}/%.$(FASLEXT): %.NRLIB/code.$(FASLEXT)
-	cp $*.NRLIB/code.$(FASLEXT) ${OUT}/$*.$(FASLEXT)
-
-
-.PRECIOUS: %.NRLIB/code.$(FASLEXT)
-%.NRLIB/code.$(FASLEXT): %.spad
-	@ rm -rf $*.NRLIB
-	${INTERPSYS} --strap=strap --compile $<
-# Compile bootstrap file to machine object code, and the result
-# immediately available for AXIOMsys consumption.
-strap/%.$(FASLEXT): %.lsp
-	$(COMPILE_LISP)
-
-$(OUTSRC)/%.spad: mk-target-src-algabra-dir
-
-${OUTSRC}/%.spad: $(srcdir)/%.spad.pamphlet
-	$(axiom_build_document) --tangle --output=$@ $<
-
-.PHONY: mk-target-src-algabra-dir
-mk-target-src-algabra-dir:
-	@ [ -d $(OUTSRC) ] || $(mkinstalldirs) $(OUTSRC)
-
-.PRECIOUS: $(builddir)/%.tex
-.PRECIOUS: $(builddir)/%.dvi
-
-$(DOC)/%.dvi:  mk-target-doc-dir
-
-.PHONY: mk-target-doc-dir
-mk-target-doc-dir:
-	@ [ -d $(DOC) ] || $(mkinstalldirs) $(DOC)
-
-$(DOC)/%.dvi: $(builddir)/%.dvi
-	$(INSTALL_DATA) $< $@
-
-$(builddir)/%.dvi: $(axiom_build_texdir)/diagrams.tex \
-		   $(axiom_build_texdir)/axiom.sty
-
-$(builddir)/%.dvi: $(builddir)/%.tex
-	$(axiom_build_document) --latex $<
-
-$(builddir)/%.tex: $(srcdir)/%.pamphlet
-	$(axiom_build_document) --weave --output=$@ $<
-
-$(axiom_build_texdir)/diagrams.tex: $(axiom_src_docdir)/diagrams.tex
-	$(INSTALL_DATA) $< $@
-
-SPADPRSR.NRLIB/code.$(FASLEXT): spad-parser.spad
-	@ rm -rf SPADPRSR.NRLIB
-	${INTERPSYS} --compile $<
-
-PARSER.NRLIB/code.$(FASLEXT): script-parser.spad
-	@ rm -rf PARSER.NRLIB
-	${INTERPSYS} --compile $<
-
-
-
-${INPUT}/TESTFR.input: $(srcdir)/fr.spad.pamphlet
-	$(axiom_build_document) --tangle='TEST FR' --output=$@ $<
-
-${INPUT}/INTHEORY.input: $(srcdir)/numtheor.spad.pamphlet
-	$(axiom_build_document) --tangle='TEST INTHEORY' --output=$@ $<
-
-${INPUT}/VIEW2D.input: $(srcdir)/view2D.spad.pamphlet
-	$(axiom_build_document) --tangle='TEST VIEW2D' --output=$@ $<
-
-
-${DOC}/diagrams.tex: $(axiom_src_docdir)/diagrams.tex
-	$(INSTALL_DATA) $< $@
- 
-$(axiom_algebra_layer_0_objects): strap-stamp
-$(axiom_algebra_layer_1_objects): 0-stamp
-$(axiom_algebra_layer_2_objects): 1-stamp
-$(axiom_algebra_layer_3_objects): 2-stamp
-$(axiom_algebra_layer_4_objects): 3-stamp
-$(axiom_algebra_layer_5_objects): 4-stamp
-$(axiom_algebra_layer_6_objects): 5-stamp
-$(axiom_algebra_layer_7_objects): 6-stamp
-$(axiom_algebra_layer_8_objects): 7-stamp
-$(axiom_algebra_layer_9_objects): 8-stamp
-$(axiom_algebra_layer_10_objects): 9-stamp
-$(axiom_algebra_layer_11_objects): 10-stamp
-$(axiom_algebra_layer_12_objects): 11-stamp
-$(axiom_algebra_layer_13_objects): 12-stamp
-$(axiom_algebra_layer_14_objects): 13-stamp
-$(axiom_algebra_layer_15_objects): 14-stamp
-$(axiom_algebra_layer_16_objects): 15-stamp
-$(axiom_algebra_layer_17_objects): 16-stamp
-$(axiom_algebra_layer_18_objects): 17-stamp
-$(axiom_algebra_layer_19_objects): 18-stamp
-$(axiom_algebra_layer_20_objects): 19-stamp
-$(axiom_algebra_layer_21_objects): 20-stamp
-$(axiom_algebra_layer_22_objects): 21-stamp
-$(axiom_algebra_layer_23_objects): 22-stamp
-$(axiom_algebra_layer_user_objects): 23-stamp
-$(axiom_algebra_bootstrap_objects): user-stamp
-
-strap-stamp: $(axiom_algebra_layer_strap_objects)
-	@ rm -f strap-stamp
-	@ $(STAMP) strap-stamp
-	@ echo =====================================
-	@ echo === algebra bootstrap complete ======
-	@ echo =====================================
-
-0-stamp: strap-stamp $(axiom_algebra_layer_0_objects)
-	@ rm -f 0-stamp
-	@ $(STAMP) 0-stamp
-	@ echo ==================================
-	@ echo === layer 0 of 23 complete ======
-	@ echo ==================================
-
-1-stamp: 0-stamp $(axiom_algebra_layer_1_objects)
-	@ rm -f 1-stamp
-	@ $(STAMP) 1-stamp
-	@ echo ==================================
-	@ echo === layer 1 of 23 complete ======
-	@ echo ==================================
-
-2-stamp: 1-stamp $(axiom_algebra_layer_2_objects)
-	@ rm -f 2-stamp
-	@ $(STAMP) 2-stamp
-	@ echo ==================================
-	@ echo === layer 2 of 23 complete ======
-	@ echo ==================================
-
-3-stamp: 2-stamp $(axiom_algebra_layer_3_objects)
-	@ rm -f 3-stamp
-	@ $(STAMP) 3-stamp
-	@ echo ==================================
-	@ echo === layer 3 of 23 complete ======
-	@ echo ==================================
-
-4-stamp: 3-stamp $(axiom_algebra_layer_4_objects)
-	@ rm -f 4-stamp
-	@ $(STAMP) 4-stamp
-	@ echo ==================================
-	@ echo === layer 4 of 23 complete ======
-	@ echo ==================================
-
-5-stamp: 4-stamp $(axiom_algebra_layer_5_objects)
-	@ rm -f 5-stamp
-	@ $(STAMP) 5-stamp
-	@ echo ==================================
-	@ echo === layer 5 of 23 complete ======
-	@ echo ==================================
-
-6-stamp: 5-stamp $(axiom_algebra_layer_6_objects)
-	@ rm -f 6-stamp
-	@ $(STAMP) 6-stamp
-	@ echo ==================================
-	@ echo === layer 6 of 23 complete ======
-	@ echo ==================================
-
-7-stamp: 6-stamp $(axiom_algebra_layer_7_objects)
-	@ rm -f 7-stamp
-	@ $(STAMP) 7-stamp
-	@ echo ==================================
-	@ echo === layer 7 of 23 complete ======
-	@ echo ==================================
-
-8-stamp: 7-stamp $(axiom_algebra_layer_8_objects)
-	@ rm -f 8-stamp
-	@ $(STAMP) 8-stamp
-	@ echo ==================================
-	@ echo === layer 8 of 23 complete ======
-	@ echo ==================================
-
-9-stamp: 8-stamp $(axiom_algebra_layer_9_objects)
-	@ rm -f 9-stamp
-	@ $(STAMP) 9-stamp
-	@ echo ==================================
-	@ echo === layer 9 of 23 complete ======
-	@ echo ==================================
-
-10-stamp: 9-stamp $(axiom_algebra_layer_10_objects)
-	@ rm -f 10-stamp
-	@ $(STAMP) 10-stamp
-	@ echo ==================================
-	@ echo === layer 10 of 23 complete ======
-	@ echo ==================================
-
-11-stamp: 10-stamp $(axiom_algebra_layer_11_objects)
-	@ rm -f 11-stamp
-	@ $(STAMP) 11-stamp
-	@ echo ==================================
-	@ echo === layer 11 of 23 complete ======
-	@ echo ==================================
-
-12-stamp: 11-stamp $(axiom_algebra_layer_12_objects)
-	@ rm -f 12-stamp
-	@ $(STAMP) 12-stamp
-	@ echo ==================================
-	@ echo === layer 12 of 23 complete ======
-	@ echo ==================================
-
-13-stamp: 12-stamp $(axiom_algebra_layer_13_objects)
-	@ rm -f 13-stamp
-	@ $(STAMP) 13-stamp
-	@ echo ==================================
-	@ echo === layer 13 of 23 complete ======
-	@ echo ==================================
-
-14-stamp: 13-stamp $(axiom_algebra_layer_14_objects)
-	@ rm -f 14-stamp
-	@ $(STAMP) 14-stamp
-	@ echo ==================================
-	@ echo === layer 14 of 23 complete ======
-	@ echo ==================================
-
-15-stamp: 14-stamp $(axiom_algebra_layer_15_objects)
-	@ rm -f 15-stamp
-	@ $(STAMP) 15-stamp
-	@ echo ==================================
-	@ echo === layer 15 of 23 complete ======
-	@ echo ==================================
-
-16-stamp: 15-stamp $(axiom_algebra_layer_16_objects)
-	@ rm -f 16-stamp
-	@ $(STAMP) 16-stamp
-	@ echo ==================================
-	@ echo === layer 16 of 23 complete ======
-	@ echo ==================================
-
-17-stamp: 16-stamp $(axiom_algebra_layer_17_objects)
-	@ rm -f 17-stamp
-	@ $(STAMP) 17-stamp
-	@ echo ==================================
-	@ echo === layer 17 of 23 complete ======
-	@ echo ==================================
-
-18-stamp: 17-stamp $(axiom_algebra_layer_18_objects)
-	@ rm -f 18-stamp
-	@ $(STAMP) 18-stamp
-	@ echo ==================================
-	@ echo === layer 18 of 23 complete ======
-	@ echo ==================================
-
-19-stamp: 18-stamp $(axiom_algebra_layer_19_objects)
-	@ rm -f 19-stamp
-	@ $(STAMP) 19-stamp
-	@ echo ==================================
-	@ echo === layer 19 of 23 complete ======
-	@ echo ==================================
-
-20-stamp: 19-stamp $(axiom_algebra_layer_20_objects)
-	@ rm -f 20-stamp
-	@ $(STAMP) 20-stamp
-	@ echo ==================================
-	@ echo === layer 20 of 23 complete ======
-	@ echo ==================================
-
-21-stamp: 20-stamp $(axiom_algebra_layer_21_objects)
-	@ rm -f 21-stamp
-	@ $(STAMP) 21-stamp
-	@ echo ==================================
-	@ echo === layer 21 of 23 complete ======
-	@ echo ==================================
-
-22-stamp: 21-stamp $(axiom_algebra_layer_22_objects)
-	@ rm -f 22-stamp
-	@ $(STAMP) 22-stamp
-	@ echo ==================================
-	@ echo === layer 22 of 23 complete ======
-	@ echo ==================================
-
-23-stamp: 22-stamp $(axiom_algebra_layer_23_objects)
-	@ rm -f 23-stamp
-	@ $(STAMP) 23-stamp
-	@ echo ==================================
-	@ echo === layer 23 of 23 complete ======
-	@ echo ==================================
-
-user-stamp: 23-stamp $(axiom_algebra_layer_user_objects)
-	@ rm -f user-stamp
-	@ $(STAMP) user-stamp
-
-
-# bootstrap-pre: user-stamp $(axiom_algebra_bootstrap_nrlibs)
-# $(axiom_algebra_bootstrap_nrlibs): user-stamp
-
-# bootstrap-post: bootstrap-pre $(axiom_algebra_bootstrap_objects)
-
-bootstrap-stamp: $(axiom_algebra_bootstrap_objects)
-	@ rm -f bootstrap-stamp
-	@ $(STAMP) bootstrap-stamp
-	@ echo ==================================
-	@ echo ===    algebra complete     ======
-	@ echo ==================================
-
-mostlyclean-local:
-	@rm -f $(OUT)/*.$(FASLEXT) $(OUT)/*.daase
-	@rm -rf *.NRLIB
-	@rm -rf *.DAASE *.daase libdb.text
-	@rm -rf strap
-	@rm -f *stamp
-
-clean-local: mostlyclean-local
-
-distclean-local: clean-local
-
-include extract-lisp-files.mk
-include extract-spad.mk
-
-.NOTPARALLEL:
-
+
+IN=$(srcdir)
+OUT=$(axiom_targetdir)/algebra
+DOC=$(axiom_target_docdir)/src/algebra
+OUTSRC=$(axiom_target_srcdir)/algebra
+INPUT=../input
+
+EXTRACT_BOOTSTRAP_FILE = \
+	$(axiom_build_document) --output=$@ --tangle="$@ BOOTSTRAP" $<
+
+## We use interpsys, built from previous stage, to bootstrap the algebra
+## files.  In fact, we use interpsys to build everything.
+COMPILE_LISP = $(INTERPSYS) --compile --output=$@ $<
+
+
+INTERPSYS = ../interp/interpsys$(EXEEXT) -- --system="$(AXIOM)" \
+		--sysalg="$(axiom_src_datadir)/algebra/"
+
+
+SPADFILES= \
+ ${OUTSRC}/acplot.spad ${OUTSRC}/aggcat2.spad ${OUTSRC}/aggcat.spad \
+ ${OUTSRC}/algcat.spad ${OUTSRC}/algext.spad ${OUTSRC}/algfact.spad \
+ ${OUTSRC}/algfunc.spad ${OUTSRC}/allfact.spad ${OUTSRC}/alql.spad \
+ ${OUTSRC}/annacat.spad ${OUTSRC}/any.spad ${OUTSRC}/array1.spad \
+ ${OUTSRC}/array2.spad ${OUTSRC}/asp.spad ${OUTSRC}/attreg.spad \
+ ${OUTSRC}/bags.spad ${OUTSRC}/bezout.spad ${OUTSRC}/boolean.spad \
+ ${OUTSRC}/brill.spad \
+ ${OUTSRC}/c02.spad ${OUTSRC}/c05.spad ${OUTSRC}/c06.spad \
+ ${OUTSRC}/card.spad ${OUTSRC}/carten.spad ${OUTSRC}/catdef.spad \
+ ${OUTSRC}/cden.spad ${OUTSRC}/clifford.spad ${OUTSRC}/clip.spad \
+ ${OUTSRC}/cmplxrt.spad ${OUTSRC}/coerce.spad ${OUTSRC}/color.spad \
+ ${OUTSRC}/combfunc.spad ${OUTSRC}/combinat.spad ${OUTSRC}/complet.spad \
+ ${OUTSRC}/constant.spad ${OUTSRC}/contfrac.spad ${OUTSRC}/cont.spad \
+ ${OUTSRC}/coordsys.spad ${OUTSRC}/cra.spad ${OUTSRC}/crfp.spad \
+ ${OUTSRC}/curve.spad ${OUTSRC}/cycles.spad ${OUTSRC}/cyclotom.spad \
+ ${OUTSRC}/d01agents.spad ${OUTSRC}/d01Package.spad \
+ ${OUTSRC}/d01routine.spad ${OUTSRC}/d01.spad ${OUTSRC}/d01transform.spad \
+ ${OUTSRC}/d01weights.spad ${OUTSRC}/d02agents.spad \
+ ${OUTSRC}/d02Package.spad ${OUTSRC}/d02routine.spad ${OUTSRC}/d02.spad \
+ ${OUTSRC}/d03agents.spad ${OUTSRC}/d03Package.spad \
+ ${OUTSRC}/d03routine.spad ${OUTSRC}/d03.spad ${OUTSRC}/ddfact.spad \
+ ${OUTSRC}/defaults.spad ${OUTSRC}/defintef.spad ${OUTSRC}/defintrf.spad \
+ ${OUTSRC}/degred.spad ${OUTSRC}/derham.spad ${OUTSRC}/dhmatrix.spad \
+ ${OUTSRC}/divisor.spad ${OUTSRC}/dpolcat.spad ${OUTSRC}/drawopt.spad \
+ ${OUTSRC}/drawpak.spad ${OUTSRC}/draw.spad \
+ ${OUTSRC}/e01.spad ${OUTSRC}/e02.spad ${OUTSRC}/e04agents.spad \
+ ${OUTSRC}/e04Package.spad ${OUTSRC}/e04routine.spad ${OUTSRC}/e04.spad \
+ ${OUTSRC}/efstruc.spad ${OUTSRC}/efuls.spad ${OUTSRC}/efupxs.spad \
+ ${OUTSRC}/eigen.spad ${OUTSRC}/elemntry.spad ${OUTSRC}/elfuts.spad \
+ ${OUTSRC}/equation1.spad ${OUTSRC}/equation2.spad ${OUTSRC}/error.spad \
+ ${OUTSRC}/expexpan.spad ${OUTSRC}/expr2ups.spad \
+ ${OUTSRC}/exprode.spad ${OUTSRC}/expr.spad \
+ ${OUTSRC}/f01.spad ${OUTSRC}/f02.spad ${OUTSRC}/f04.spad \
+ ${OUTSRC}/f07.spad ${OUTSRC}/facutil.spad ${OUTSRC}/ffcat.spad \
+ ${OUTSRC}/ffcg.spad ${OUTSRC}/fff.spad ${OUTSRC}/ffhom.spad \
+ ${OUTSRC}/ffnb.spad ${OUTSRC}/ffpoly2.spad ${OUTSRC}/ffpoly.spad \
+ ${OUTSRC}/ffp.spad ${OUTSRC}/ffx.spad \
+ ${OUTSRC}/files.spad ${OUTSRC}/float.spad ${OUTSRC}/fmod.spad \
+ ${OUTSRC}/fname.spad ${OUTSRC}/fnla.spad ${OUTSRC}/formula.spad \
+ ${OUTSRC}/fortcat.spad ${OUTSRC}/fortmac.spad ${OUTSRC}/fortpak.spad \
+ ${OUTSRC}/fortran.spad ${OUTSRC}/forttyp.spad ${OUTSRC}/fourier.spad \
+ ${OUTSRC}/fparfrac.spad ${OUTSRC}/fraction.spad ${OUTSRC}/free.spad \
+ ${OUTSRC}/fr.spad ${OUTSRC}/fs2expxp.spad ${OUTSRC}/fs2ups.spad \
+ ${OUTSRC}/fspace.spad ${OUTSRC}/funcpkgs.spad ${OUTSRC}/functions.spad \
+ ${OUTSRC}/galfact.spad ${OUTSRC}/galfactu.spad ${OUTSRC}/galpolyu.spad \
+ ${OUTSRC}/galutil.spad ${OUTSRC}/gaussfac.spad ${OUTSRC}/gaussian.spad \
+ ${OUTSRC}/gbeuclid.spad ${OUTSRC}/gbintern.spad ${OUTSRC}/gb.spad \
+ ${OUTSRC}/gdirprod.spad ${OUTSRC}/gdpoly.spad ${OUTSRC}/geneez.spad \
+ ${OUTSRC}/generic.spad ${OUTSRC}/genufact.spad ${OUTSRC}/genups.spad \
+ ${OUTSRC}/ghensel.spad ${OUTSRC}/gpgcd.spad ${OUTSRC}/gpol.spad \
+ ${OUTSRC}/grdef.spad ${OUTSRC}/groebf.spad ${OUTSRC}/groebsol.spad \
+ ${OUTSRC}/gseries.spad \
+ ${OUTSRC}/ideal.spad ${OUTSRC}/idecomp.spad ${OUTSRC}/indexedp.spad \
+ ${OUTSRC}/infprod.spad ${OUTSRC}/intaf.spad ${OUTSRC}/intalg.spad \
+ ${OUTSRC}/intaux.spad ${OUTSRC}/intclos.spad ${OUTSRC}/intef.spad \
+ ${OUTSRC}/integer.spad ${OUTSRC}/integrat.spad \
+ ${OUTSRC}/interval.spad \
+ ${OUTSRC}/intfact.spad ${OUTSRC}/intpm.spad \
+ ${OUTSRC}/intrf.spad \
+ ${OUTSRC}/irexpand.spad \
+ ${OUTSRC}/irsn.spad ${OUTSRC}/ituple.spad \
+ ${OUTSRC}/kl.spad ${OUTSRC}/kovacic.spad \
+ ${OUTSRC}/laplace.spad ${OUTSRC}/laurent.spad ${OUTSRC}/leadcdet.spad \
+ ${OUTSRC}/lie.spad ${OUTSRC}/limitps.spad ${OUTSRC}/lindep.spad \
+ ${OUTSRC}/lingrob.spad ${OUTSRC}/liouv.spad ${OUTSRC}/listgcd.spad \
+ ${OUTSRC}/list.spad ${OUTSRC}/lmdict.spad ${OUTSRC}/lodof.spad \
+ ${OUTSRC}/lodop.spad ${OUTSRC}/lodo.spad \
+ ${OUTSRC}/manip.spad ${OUTSRC}/mappkg.spad ${OUTSRC}/matcat.spad \
+ ${OUTSRC}/matfuns.spad ${OUTSRC}/mathml.spad \
+ ${OUTSRC}/matrix.spad ${OUTSRC}/matstor.spad \
+ ${OUTSRC}/mesh.spad ${OUTSRC}/mfinfact.spad ${OUTSRC}/misc.spad \
+ ${OUTSRC}/mkfunc.spad ${OUTSRC}/mkrecord.spad \
+ ${OUTSRC}/mlift.spad ${OUTSRC}/moddfact.spad ${OUTSRC}/modgcd.spad \
+ ${OUTSRC}/modmonom.spad ${OUTSRC}/modmon.spad ${OUTSRC}/modring.spad \
+ ${OUTSRC}/moebius.spad ${OUTSRC}/mring.spad ${OUTSRC}/mset.spad \
+ ${OUTSRC}/mts.spad ${OUTSRC}/multfact.spad ${OUTSRC}/multpoly.spad \
+ ${OUTSRC}/multsqfr.spad \
+ ${OUTSRC}/naalgc.spad ${OUTSRC}/naalg.spad \
+ ${OUTSRC}/newdata.spad ${OUTSRC}/newpoint.spad \
+ ${OUTSRC}/newpoly.spad ${OUTSRC}/nlinsol.spad ${OUTSRC}/nlode.spad \
+ ${OUTSRC}/npcoef.spad \
+ ${OUTSRC}/nregset.spad \
+ ${OUTSRC}/nsregset.spad ${OUTSRC}/numeigen.spad ${OUTSRC}/numeric.spad \
+ ${OUTSRC}/numode.spad ${OUTSRC}/numquad.spad ${OUTSRC}/numsolve.spad \
+ ${OUTSRC}/numtheor.spad \
+ ${OUTSRC}/oct.spad ${OUTSRC}/odealg.spad ${OUTSRC}/odeef.spad \
+ ${OUTSRC}/oderf.spad ${OUTSRC}/omcat.spad ${OUTSRC}/omdev.spad \
+ ${OUTSRC}/omerror.spad ${OUTSRC}/omserver.spad ${OUTSRC}/opalg.spad \
+ ${OUTSRC}/openmath.spad ${OUTSRC}/op.spad ${OUTSRC}/ore.spad \
+ ${OUTSRC}/outform.spad ${OUTSRC}/out.spad \
+ ${OUTSRC}/pade.spad ${OUTSRC}/padiclib.spad ${OUTSRC}/padic.spad \
+ ${OUTSRC}/paramete.spad ${OUTSRC}/partperm.spad ${OUTSRC}/patmatch1.spad \
+ ${OUTSRC}/patmatch2.spad ${OUTSRC}/pattern.spad ${OUTSRC}/pcurve.spad \
+ ${OUTSRC}/pdecomp.spad ${OUTSRC}/perman.spad ${OUTSRC}/permgrps.spad \
+ ${OUTSRC}/perm.spad ${OUTSRC}/pfbr.spad ${OUTSRC}/pfo.spad \
+ ${OUTSRC}/pfr.spad ${OUTSRC}/pf.spad ${OUTSRC}/pgcd.spad \
+ ${OUTSRC}/pgrobner.spad ${OUTSRC}/pinterp.spad ${OUTSRC}/pleqn.spad \
+ ${OUTSRC}/plot3d.spad ${OUTSRC}/plot.spad ${OUTSRC}/plottool.spad \
+ ${OUTSRC}/polset.spad ${OUTSRC}/poltopol.spad ${OUTSRC}/polycat.spad \
+ ${OUTSRC}/poly.spad ${OUTSRC}/primelt.spad ${OUTSRC}/print.spad \
+ ${OUTSRC}/product.spad ${OUTSRC}/prs.spad ${OUTSRC}/prtition.spad \
+ ${OUTSRC}/pscat.spad ${OUTSRC}/pseudolin.spad ${OUTSRC}/ptranfn.spad \
+ ${OUTSRC}/puiseux.spad \
+ ${OUTSRC}/qalgset.spad ${OUTSRC}/quat.spad \
+ ${OUTSRC}/radeigen.spad ${OUTSRC}/radix.spad ${OUTSRC}/random.spad \
+ ${OUTSRC}/ratfact.spad ${OUTSRC}/rdeef.spad ${OUTSRC}/rderf.spad \
+ ${OUTSRC}/rdesys.spad ${OUTSRC}/real0q.spad ${OUTSRC}/realzero.spad \
+ ${OUTSRC}/reclos.spad ${OUTSRC}/regset.spad ${OUTSRC}/rep1.spad \
+ ${OUTSRC}/rep2.spad ${OUTSRC}/resring.spad ${OUTSRC}/retract.spad \
+ ${OUTSRC}/rf.spad ${OUTSRC}/riccati.spad ${OUTSRC}/rinterp.spad \
+ ${OUTSRC}/routines.spad \
+ ${OUTSRC}/rule.spad \
+ ${OUTSRC}/seg.spad ${OUTSRC}/setorder.spad ${OUTSRC}/sets.spad \
+ ${OUTSRC}/sex.spad ${OUTSRC}/sf.spad ${OUTSRC}/sgcf.spad \
+ ${OUTSRC}/sign.spad ${OUTSRC}/si.spad ${OUTSRC}/smith.spad \
+ ${OUTSRC}/solvedio.spad ${OUTSRC}/solvefor.spad ${OUTSRC}/solvelin.spad \
+ ${OUTSRC}/solverad.spad ${OUTSRC}/sortpak.spad ${OUTSRC}/space.spad \
+ ${OUTSRC}/special.spad ${OUTSRC}/sregset.spad ${OUTSRC}/s.spad \
+ ${OUTSRC}/stream.spad ${OUTSRC}/string.spad ${OUTSRC}/sttaylor.spad \
+ ${OUTSRC}/sttf.spad ${OUTSRC}/sturm.spad ${OUTSRC}/suchthat.spad \
+ ${OUTSRC}/suls.spad ${OUTSRC}/sum.spad ${OUTSRC}/sups.spad \
+ ${OUTSRC}/supxs.spad ${OUTSRC}/suts.spad ${OUTSRC}/symbol.spad \
+ ${OUTSRC}/syssolp.spad ${OUTSRC}/system.spad \
+ ${OUTSRC}/tableau.spad ${OUTSRC}/table.spad ${OUTSRC}/taylor.spad \
+ ${OUTSRC}/tex.spad ${OUTSRC}/tools.spad ${OUTSRC}/transsolve.spad \
+ ${OUTSRC}/tree.spad ${OUTSRC}/trigcat.spad ${OUTSRC}/triset.spad \
+ ${OUTSRC}/tube.spad ${OUTSRC}/twofact.spad \
+ ${OUTSRC}/unifact.spad ${OUTSRC}/updecomp.spad ${OUTSRC}/updivp.spad \
+ ${OUTSRC}/utsode.spad \
+ ${OUTSRC}/variable.spad ${OUTSRC}/vector.spad ${OUTSRC}/view2D.spad \
+ ${OUTSRC}/view3D.spad ${OUTSRC}/viewDef.spad ${OUTSRC}/viewpack.spad \
+ ${OUTSRC}/void.spad \
+ ${OUTSRC}/weier.spad ${OUTSRC}/wtpol.spad \
+ ${OUTSRC}/xlpoly.spad ${OUTSRC}/xpoly.spad \
+ ${OUTSRC}/ystream.spad \
+ ${OUTSRC}/zerodim.spad
+
+
+ALDORFILES= \
+	axtimer.as \
+	ffrac.as \
+	herm.as \
+	interval.as \
+	invnode.as \
+	invrender.as \
+	invtypes.as \
+	invutils.as \
+	iviews.as \
+	ndftip.as \
+	nepip.as \
+	noptip.as nqip.as \
+	nrc.as nsfip.as 
+
+
+DOCFILES= \
+ ${DOC}/acplot.spad.dvi ${DOC}/aggcat2.spad.dvi ${DOC}/aggcat.spad.dvi \
+ ${DOC}/algcat.spad.dvi ${DOC}/algext.spad.dvi ${DOC}/algfact.spad.dvi \
+ ${DOC}/algfunc.spad.dvi ${DOC}/allfact.spad.dvi ${DOC}/alql.spad.dvi \
+ ${DOC}/annacat.spad.dvi ${DOC}/any.spad.dvi ${DOC}/array1.spad.dvi \
+ ${DOC}/array2.spad.dvi ${DOC}/asp.spad.dvi ${DOC}/attreg.spad.dvi \
+ ${DOC}/axtimer.as.dvi \
+ ${DOC}/bags.spad.dvi ${DOC}/bezout.spad.dvi ${DOC}/boolean.spad.dvi \
+ ${DOC}/brill.spad.dvi \
+ ${DOC}/c02.spad.dvi ${DOC}/c05.spad.dvi ${DOC}/c06.spad.dvi \
+ ${DOC}/card.spad.dvi ${DOC}/carten.spad.dvi ${DOC}/catdef.spad.dvi \
+ ${DOC}/cden.spad.dvi ${DOC}/clifford.spad.dvi ${DOC}/clip.spad.dvi \
+ ${DOC}/cmplxrt.spad.dvi ${DOC}/coerce.spad.dvi ${DOC}/color.spad.dvi \
+ ${DOC}/combfunc.spad.dvi ${DOC}/combinat.spad.dvi ${DOC}/complet.spad.dvi \
+ ${DOC}/constant.spad.dvi ${DOC}/contfrac.spad.dvi ${DOC}/cont.spad.dvi \
+ ${DOC}/coordsys.spad.dvi ${DOC}/cra.spad.dvi ${DOC}/crfp.spad.dvi \
+ ${DOC}/curve.spad.dvi ${DOC}/cycles.spad.dvi ${DOC}/cyclotom.spad.dvi \
+ ${DOC}/d01agents.spad.dvi ${DOC}/d01Package.spad.dvi \
+ ${DOC}/d01routine.spad.dvi ${DOC}/d01.spad.dvi ${DOC}/d01transform.spad.dvi \
+ ${DOC}/d01weights.spad.dvi ${DOC}/d02agents.spad.dvi \
+ ${DOC}/d02Package.spad.dvi ${DOC}/d02routine.spad.dvi ${DOC}/d02.spad.dvi \
+ ${DOC}/d03agents.spad.dvi ${DOC}/d03Package.spad.dvi \
+ ${DOC}/d03routine.spad.dvi ${DOC}/d03.spad.dvi ${DOC}/ddfact.spad.dvi \
+ ${DOC}/defaults.spad.dvi ${DOC}/defintef.spad.dvi ${DOC}/defintrf.spad.dvi \
+ ${DOC}/degred.spad.dvi ${DOC}/derham.spad.dvi ${DOC}/dhmatrix.spad.dvi \
+ ${DOC}/divisor.spad.dvi ${DOC}/dpolcat.spad.dvi ${DOC}/drawopt.spad.dvi \
+ ${DOC}/drawpak.spad.dvi ${DOC}/draw.spad.dvi \
+ ${DOC}/e01.spad.dvi ${DOC}/e02.spad.dvi ${DOC}/e04agents.spad.dvi \
+ ${DOC}/e04Package.spad.dvi ${DOC}/e04routine.spad.dvi ${DOC}/e04.spad.dvi \
+ ${DOC}/efstruc.spad.dvi ${DOC}/efuls.spad.dvi ${DOC}/efupxs.spad.dvi \
+ ${DOC}/eigen.spad.dvi ${DOC}/elemntry.spad.dvi ${DOC}/elfuts.spad.dvi \
+ ${DOC}/equation1.spad.dvi ${DOC}/equation2.spad.dvi ${DOC}/error.spad.dvi \
+ ${DOC}/expexpan.spad.dvi ${DOC}/exposed.lsp.dvi ${DOC}/expr2ups.spad.dvi \
+ ${DOC}/exprode.spad.dvi ${DOC}/expr.spad.dvi \
+ ${DOC}/f01.spad.dvi ${DOC}/f02.spad.dvi ${DOC}/f04.spad.dvi \
+ ${DOC}/f07.spad.dvi ${DOC}/facutil.spad.dvi ${DOC}/ffcat.spad.dvi \
+ ${DOC}/ffcg.spad.dvi ${DOC}/fff.spad.dvi ${DOC}/ffhom.spad.dvi \
+ ${DOC}/ffnb.spad.dvi ${DOC}/ffpoly2.spad.dvi ${DOC}/ffpoly.spad.dvi \
+ ${DOC}/ffp.spad.dvi ${DOC}/ffrac.as.dvi ${DOC}/ffx.spad.dvi \
+ ${DOC}/files.spad.dvi ${DOC}/float.spad.dvi ${DOC}/fmod.spad.dvi \
+ ${DOC}/fname.spad.dvi ${DOC}/fnla.spad.dvi ${DOC}/formula.spad.dvi \
+ ${DOC}/fortcat.spad.dvi ${DOC}/fortmac.spad.dvi ${DOC}/fortpak.spad.dvi \
+ ${DOC}/fortran.spad.dvi ${DOC}/forttyp.spad.dvi ${DOC}/fourier.spad.dvi \
+ ${DOC}/fparfrac.spad.dvi ${DOC}/fraction.spad.dvi ${DOC}/free.spad.dvi \
+ ${DOC}/fr.spad.dvi ${DOC}/fs2expxp.spad.dvi ${DOC}/fs2ups.spad.dvi \
+ ${DOC}/fspace.spad.dvi ${DOC}/funcpkgs.spad.dvi ${DOC}/functions.spad.dvi \
+ ${DOC}/galfact.spad.dvi ${DOC}/galfactu.spad.dvi ${DOC}/galpolyu.spad.dvi \
+ ${DOC}/galutil.spad.dvi ${DOC}/gaussfac.spad.dvi ${DOC}/gaussian.spad.dvi \
+ ${DOC}/gbeuclid.spad.dvi ${DOC}/gbintern.spad.dvi ${DOC}/gb.spad.dvi \
+ ${DOC}/gdirprod.spad.dvi ${DOC}/gdpoly.spad.dvi ${DOC}/geneez.spad.dvi \
+ ${DOC}/generic.spad.dvi ${DOC}/genufact.spad.dvi ${DOC}/genups.spad.dvi \
+ ${DOC}/ghensel.spad.dvi ${DOC}/gpgcd.spad.dvi ${DOC}/gpol.spad.dvi \
+ ${DOC}/grdef.spad.dvi ${DOC}/groebf.spad.dvi ${DOC}/groebsol.spad.dvi \
+ ${DOC}/gseries.spad.dvi \
+ ${DOC}/herm.as.dvi \
+ ${DOC}/ideal.spad.dvi ${DOC}/idecomp.spad.dvi ${DOC}/indexedp.spad.dvi \
+ ${DOC}/infprod.spad.dvi ${DOC}/intaf.spad.dvi ${DOC}/intalg.spad.dvi \
+ ${DOC}/intaux.spad.dvi ${DOC}/intclos.spad.dvi ${DOC}/intef.spad.dvi \
+ ${DOC}/integer.spad.dvi ${DOC}/integrat.spad.dvi \
+ ${DOC}/interval.as.dvi ${DOC}/interval.spad.dvi \
+ ${DOC}/intfact.spad.dvi ${DOC}/intpm.spad.dvi \
+ ${DOC}/intrf.spad.dvi ${DOC}/invnode.as.dvi ${DOC}/invrender.as.dvi \
+ ${DOC}/invtypes.as.dvi ${DOC}/invutils.as.dvi ${DOC}/irexpand.spad.dvi \
+ ${DOC}/irsn.spad.dvi ${DOC}/ituple.spad.dvi ${DOC}/iviews.as.dvi \
+ ${DOC}/kl.spad.dvi ${DOC}/kovacic.spad.dvi \
+ ${DOC}/laplace.spad.dvi ${DOC}/laurent.spad.dvi ${DOC}/leadcdet.spad.dvi \
+ ${DOC}/lie.spad.dvi ${DOC}/limitps.spad.dvi ${DOC}/lindep.spad.dvi \
+ ${DOC}/lingrob.spad.dvi ${DOC}/liouv.spad.dvi ${DOC}/listgcd.spad.dvi \
+ ${DOC}/list.spad.dvi ${DOC}/lmdict.spad.dvi ${DOC}/lodof.spad.dvi \
+ ${DOC}/lodop.spad.dvi ${DOC}/lodo.spad.dvi \
+ ${DOC}/manip.spad.dvi ${DOC}/mappkg.spad.dvi ${DOC}/matcat.spad.dvi \
+ ${DOC}/matfuns.spad.dvi ${DOC}/mathml.spad.dvi \
+ ${DOC}/matrix.spad.dvi ${DOC}/matstor.spad.dvi \
+ ${DOC}/mesh.spad.dvi ${DOC}/mfinfact.spad.dvi ${DOC}/misc.spad.dvi \
+ ${DOC}/mkfunc.spad.dvi ${DOC}/mkrecord.spad.dvi ${DOC}/mlift.spad.jhd.dvi \
+ ${DOC}/mlift.spad.dvi ${DOC}/moddfact.spad.dvi ${DOC}/modgcd.spad.dvi \
+ ${DOC}/modmonom.spad.dvi ${DOC}/modmon.spad.dvi ${DOC}/modring.spad.dvi \
+ ${DOC}/moebius.spad.dvi ${DOC}/mring.spad.dvi ${DOC}/mset.spad.dvi \
+ ${DOC}/mts.spad.dvi ${DOC}/multfact.spad.dvi ${DOC}/multpoly.spad.dvi \
+ ${DOC}/multsqfr.spad.dvi \
+ ${DOC}/naalgc.spad.dvi ${DOC}/naalg.spad.dvi ${DOC}/ndftip.as.dvi \
+ ${DOC}/nepip.as.dvi ${DOC}/newdata.spad.dvi ${DOC}/newpoint.spad.dvi \
+ ${DOC}/newpoly.spad.dvi ${DOC}/nlinsol.spad.dvi ${DOC}/nlode.spad.dvi \
+ ${DOC}/noptip.as.dvi ${DOC}/npcoef.spad.dvi ${DOC}/nqip.as.dvi \
+ ${DOC}/nrc.as.dvi ${DOC}/nregset.spad.dvi ${DOC}/nsfip.as.dvi \
+ ${DOC}/nsregset.spad.dvi ${DOC}/numeigen.spad.dvi ${DOC}/numeric.spad.dvi \
+ ${DOC}/numode.spad.dvi ${DOC}/numquad.spad.dvi ${DOC}/numsolve.spad.dvi \
+ ${DOC}/numtheor.spad.dvi \
+ ${DOC}/oct.spad.dvi ${DOC}/odealg.spad.dvi ${DOC}/odeef.spad.dvi \
+ ${DOC}/oderf.spad.dvi ${DOC}/omcat.spad.dvi ${DOC}/omdev.spad.dvi \
+ ${DOC}/omerror.spad.dvi ${DOC}/omserver.spad.dvi ${DOC}/opalg.spad.dvi \
+ ${DOC}/openmath.spad.dvi ${DOC}/op.spad.dvi ${DOC}/ore.spad.dvi \
+ ${DOC}/outform.spad.dvi ${DOC}/out.spad.dvi \
+ ${DOC}/pade.spad.dvi ${DOC}/padiclib.spad.dvi ${DOC}/padic.spad.dvi \
+ ${DOC}/paramete.spad.dvi ${DOC}/partperm.spad.dvi ${DOC}/patmatch1.spad.dvi \
+ ${DOC}/patmatch2.spad.dvi ${DOC}/pattern.spad.dvi ${DOC}/pcurve.spad.dvi \
+ ${DOC}/pdecomp.spad.dvi ${DOC}/perman.spad.dvi ${DOC}/permgrps.spad.dvi \
+ ${DOC}/perm.spad.dvi ${DOC}/pfbr.spad.dvi ${DOC}/pfo.spad.dvi \
+ ${DOC}/pfr.spad.dvi ${DOC}/pf.spad.dvi ${DOC}/pgcd.spad.dvi \
+ ${DOC}/pgrobner.spad.dvi ${DOC}/pinterp.spad.dvi ${DOC}/pleqn.spad.dvi \
+ ${DOC}/plot3d.spad.dvi ${DOC}/plot.spad.dvi ${DOC}/plottool.spad.dvi \
+ ${DOC}/polset.spad.dvi ${DOC}/poltopol.spad.dvi ${DOC}/polycat.spad.dvi \
+ ${DOC}/poly.spad.dvi ${DOC}/primelt.spad.dvi ${DOC}/print.spad.dvi \
+ ${DOC}/product.spad.dvi ${DOC}/prs.spad.dvi ${DOC}/prtition.spad.dvi \
+ ${DOC}/pscat.spad.dvi ${DOC}/pseudolin.spad.dvi ${DOC}/ptranfn.spad.dvi \
+ ${DOC}/puiseux.spad.dvi \
+ ${DOC}/qalgset.spad.dvi ${DOC}/quat.spad.dvi \
+ ${DOC}/radeigen.spad.dvi ${DOC}/radix.spad.dvi ${DOC}/random.spad.dvi \
+ ${DOC}/ratfact.spad.dvi ${DOC}/rdeef.spad.dvi ${DOC}/rderf.spad.dvi \
+ ${DOC}/rdesys.spad.dvi ${DOC}/real0q.spad.dvi ${DOC}/realzero.spad.dvi \
+ ${DOC}/reclos.spad.dvi ${DOC}/regset.spad.dvi ${DOC}/rep1.spad.dvi \
+ ${DOC}/rep2.spad.dvi ${DOC}/resring.spad.dvi ${DOC}/retract.spad.dvi \
+ ${DOC}/rf.spad.dvi ${DOC}/riccati.spad.dvi ${DOC}/rinterp.spad.dvi \
+ ${DOC}/routines.spad.dvi \
+ ${DOC}/rule.spad.dvi \
+ ${DOC}/seg.spad.dvi ${DOC}/setorder.spad.dvi ${DOC}/sets.spad.dvi \
+ ${DOC}/sex.spad.dvi ${DOC}/sf.spad.dvi ${DOC}/sgcf.spad.dvi \
+ ${DOC}/sign.spad.dvi ${DOC}/si.spad.dvi ${DOC}/smith.spad.dvi \
+ ${DOC}/solvedio.spad.dvi ${DOC}/solvefor.spad.dvi ${DOC}/solvelin.spad.dvi \
+ ${DOC}/solverad.spad.dvi ${DOC}/sortpak.spad.dvi ${DOC}/space.spad.dvi \
+ ${DOC}/special.spad.dvi ${DOC}/sregset.spad.dvi ${DOC}/s.spad.dvi \
+ ${DOC}/stream.spad.dvi ${DOC}/string.spad.dvi ${DOC}/sttaylor.spad.dvi \
+ ${DOC}/sttf.spad.dvi ${DOC}/sturm.spad.dvi ${DOC}/suchthat.spad.dvi \
+ ${DOC}/suls.spad.dvi ${DOC}/sum.spad.dvi ${DOC}/sups.spad.dvi \
+ ${DOC}/supxs.spad.dvi ${DOC}/suts.spad.dvi ${DOC}/symbol.spad.dvi \
+ ${DOC}/syssolp.spad.dvi ${DOC}/system.spad.dvi \
+ ${DOC}/tableau.spad.dvi ${DOC}/table.spad.dvi ${DOC}/taylor.spad.dvi \
+ ${DOC}/tex.spad.dvi ${DOC}/tools.spad.dvi ${DOC}/transsolve.spad.dvi \
+ ${DOC}/tree.spad.dvi ${DOC}/trigcat.spad.dvi ${DOC}/triset.spad.dvi \
+ ${DOC}/tube.spad.dvi ${DOC}/twofact.spad.dvi \
+ ${DOC}/unifact.spad.dvi ${DOC}/updecomp.spad.dvi ${DOC}/updivp.spad.dvi \
+ ${DOC}/utsode.spad.dvi \
+ ${DOC}/variable.spad.dvi ${DOC}/vector.spad.dvi ${DOC}/view2D.spad.dvi \
+ ${DOC}/view3D.spad.dvi ${DOC}/viewDef.spad.dvi ${DOC}/viewpack.spad.dvi \
+ ${DOC}/void.spad.dvi \
+ ${DOC}/weier.spad.dvi ${DOC}/wtpol.spad.dvi \
+ ${DOC}/xlpoly.spad.dvi ${DOC}/xpoly.spad.dvi \
+ ${DOC}/ystream.spad.dvi \
+ ${DOC}/zerodim.spad.dvi
+
+
+TESTS=${INPUT}/INTHEORY.input ${INPUT}/VIEW2D.input ${INPUT}/TESTFR.input
+
+
+subdir = src/algebra/
+
+# The list of objects necessary to bootstrap the whole algebra library.
+axiom_algebra_layer_strap = \
+	$(addprefix strap/,$(axiom_algebra_bootstrap))
+
+axiom_algebra_layer_strap_objects = \
+	$(addsuffix .$(FASLEXT),$(axiom_algebra_layer_strap))
+
+
+axiom_algebra_bootstrap = \
+  ABELGRP  ABELGRP- ABELMON  ABELMON- \
+  ABELSG   ABELSG-  ALAGG    BOOLEAN  \
+  CABMON   CHAR     CLAGG    CLAGG-   \
+  COMRING  DFLOAT   DIFRING  DIFRING- \
+  DIVRING  DIVRING- ENTIRER  ES       \
+  ES-      EUCDOM   EUCDOM-  FFIELDC  \
+  FFIELDC- FPS      FPS-     GCDDOM   \
+  GCDDOM-  HOAGG    HOAGG-   ILIST    \
+  INS      INS-     INT      INTDOM   \
+  INTDOM-  ISTRING  LIST     LNAGG    \
+  LNAGG-   LSAGG    LSAGG-   MONOID   \
+  MONOID-  MTSCAT   NNI      OINTDOM  \
+  ORDRING  ORDRING- OUTFORM  PI       \
+  PRIMARR  POLYCAT  POLYCAT- PSETCAT  \
+  PSETCAT- QFCAT    QFCAT-   RCAGG    \
+  RCAGG-   REF      RING     RING-    \
+  RNG      RNS      RNS-     SETAGG   \
+  SETAGG-  SETCAT   SETCAT-  SINT     \
+  STAGG    STAGG-   SYMBOL   TSETCAT  \
+  TSETCAT- UFD      UFD-     ULSCAT   \
+  UPOLYC   UPOLYC-  URAGG    URAGG-   \
+  VECTOR
+
+axiom_algebra_bootstrap_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_bootstrap))
+
+axiom_algebra_bootstrap_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT), $(axiom_algebra_bootstrap)))
+
+axiom_algebra_layer_0 = \
+  AHYP     ATTREG   CFCAT    ELTAB    KOERCE   KONVERT  \
+  MSYSCMD           OM       OMCONN   OMDEV    OUT      \
+  PRIMCAT  PRINT    PTRANFN  SPFCAT   TYPE     UTYPE    \
+  PROPLOG  PROPERTY BASTYPE  BASTYPE- CATEGORY LMODULE  \
+  RMODULE  FINITE   STEP     SGROUP   SGROUP-  ABELSG   \
+  ABELSG-  ORDSET   ORDSET-  FNCAT    FILECAT  SEXCAT   \
+  MKBCFUNC MKRECORD MKUCFUNC DROPT1   PLOT1    ITFUN2   \
+  ITFUN3   STREAM1  STREAM2  STREAM3  ANY1     SEGBIND2 \
+  COMBOPC  EQ2      NONE1
+
+axiom_algebra_layer_0_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_0))
+
+axiom_algebra_layer_0_objects = \
+	$(addprefix $(OUT)/, \
+           $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_0))) 
+axiom_algebra_layer_1 = \
+  AGG      AGG-     IEVALAB  IEVALAB- FORTCAT   ITUPLE   \
+  PATAB    PPCURVE  PSCURVE  REAL     RESLATC   RETRACT  \
+  RETRACT- SEGCAT   BINDING  SYNTAX   BMODULE   LOGIC    \
+  LOGIC-   EVALAB   EVALAB-  FEVALAB  FEVALAB-  BYTE
+
+axiom_algebra_layer_1_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1))
+
+axiom_algebra_layer_1_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_1)))
+axiom_algebra_layer_2 = \
+  ELTAGG   ELTAGG- FMC      FMFUN   FORTFN   FVC     \
+  CTORCALL FVFUN   INTRET   IXAGG   IXAGG-   SEGXCAT \
+  CONTOUR  LIST3   MKFUNC   OASGP   
+
+axiom_algebra_layer_2_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_2))
+
+axiom_algebra_layer_2_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_2)))
+axiom_algebra_layer_3 = \
+   GRDEF     SCOPE    MAPHACK1 MAPHACK2 MAPHACK3 MAPPKG1  \
+   MAPPKG2   MAPPKG3  INTBIT   MONAD    MONAD-   
+
+
+
+axiom_algebra_layer_3_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_3))
+
+axiom_algebra_layer_3_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_3)))
+axiom_algebra_layer_4 = \
+  ANON     COLOR    COMM     COMPPROP ESCONT1  EXIT     \
+  FAMONC   FORMULA1 IDPC              NONE     NUMINT   \
+  ODECAT            OMENC    ONECOMP2 OPTCAT            \
+  PALETTE  PARPCURV PARPC2   PARSCURV PARSC2   PARSURF  \
+  PARSU2   PATMAB   PATRES2  PATTERN1 PDECAT            \
+  REPSQ    REPDB    RFDIST   RIDIST   SPACEC   SPLNODE  \
+  SUCH     TEX1     UDVO     YSTREAM  PAIR     ENV      \
+  ATRIG    ATRIG-   GROUP    GROUP-   LALG     LALG-    \
+  OAMON    BGAGG    BGAGG-   BRAGG    BRAGG-   ELAGG    \
+  ELAGG-  DLAGG     MODULE  MODULE-  
+
+
+axiom_algebra_layer_4_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_4))
+
+axiom_algebra_layer_4_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_4)))
+axiom_algebra_layer_5 = \
+  CACHSET  CHARNZ   CHARZ    DVARCAT  DVARCAT- ELEMFUN  \
+  ELEMFUN- ESTOOLS2 FCOMP    FPATMAB  IDPAM    IDPO     \
+  INCRMAPS KERNEL2  LINEXP   MODMONOM MONADWU  MONADWU- \
+  MRF2     NARNG    NARNG-   NSUP2    ODVAR    OPQUERY  \
+  ORDFIN   ORDMON   PATMATCH PERMCAT  PDRING   PDRING-  \
+  SDVAR    SUP2     TRIGCAT  TRIGCAT- ULS2     UP2      \
+  ELABEXPR OCAMON
+
+axiom_algebra_layer_5_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_5))
+
+axiom_algebra_layer_5_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_5)))
+axiom_algebra_layer_6 = \
+  ALGEBRA ALGEBRA- AUTOMOR  CARTEN2 CHARPOL  COMPLEX2 \
+  DIFEXT  DIFEXT-  ES1      ES2     GRMOD    GRMOD-   \
+  HYPCAT  HYPCAT-  MKCHSET  MODRING NASRING  NASRING- \
+  SORTPAK ZMOD     PRQAGG   QUAGG   SKAGG    DQAGG    \
+  PID     OAGROUP  OAMONS
+
+axiom_algebra_layer_6_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_6))
+axiom_algebra_layer_6_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_6)))
+axiom_algebra_layer_7 = \
+  BTCAT  BTCAT-  LNAGG    LNAGG-   FMCAT   IDPOAM   \
+  IFAMON GRALG   GRALG-   FLAGG    FLAGG-             
+
+axiom_algebra_layer_7_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_7))
+
+axiom_algebra_layer_7_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_7)))
+axiom_algebra_layer_8 = \
+  BSTREE  BTOURN   CARD     DRAWHACK  FACTFUNC FMTC  \
+  FR2     FRAC2    FRUTIL   ITAYLOR   MLO      NAALG \
+  NAALG-  OP       ORDCOMP2 RANDSRC   UNISEG2  XALG  \
+  FIELD   FIELD-   A1AGG    A1AGG-    ARR2CAT  ARR2CAT-
+
+axiom_algebra_layer_8_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_8))
+
+axiom_algebra_layer_8_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_8)))
+axiom_algebra_layer_9 = \
+  AMR      AMR-     DEGRED   DLP      EAB      ESTOOLS1 \
+  FAGROUP  FAMONOID FLINEXP  FLINEXP- FRETRCT  FRETRCT- \
+  FSERIES  FT       IDPAG    IDPOAMS  INFINITY LA       \
+  OMLO     ORTHPOL  PRODUCT  PADICCT  PMPRED   PMASS    \
+  PTFUNC2  RADCAT   RADCAT-  RATRET   RADUTIL  UPXS2    \
+  XFALG    ZLINDEP  BBTREE   LSAGG    LSAGG-   SRAGG    \
+  SRAGG-   STRICAT  ODEIFTBL NIPROB   ODEPROB  OPTPROB  \
+  PDEPROB  
+
+
+axiom_algebra_layer_9_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_9))
+
+axiom_algebra_layer_9_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_9)))
+axiom_algebra_layer_10 = \
+  ASP34    BFUNCT   BPADIC   \
+  BTREE    CRAPACK  DEQUEUE  DLIST    \
+  DRAWCX   D01GBFA  D02EJFA  D03FAFA  \
+  DRAWPT   FAMR     FAMR-    FLASORT  \
+  FLAGG2   FGROUP   FM       FM1      \
+  FPC      FPC-     FMONOID  INDE     \
+  IPADIC   IROOT    IR2      LEXP     \
+  LIECAT   LIECAT-  LIST2    LIST2MAP \
+  LMOPS    LZSTAGG  LZSTAGG- MAGMA    \
+  MESH     MOEBIUS  MODFIELD MODOP    \
+  MRING    MTHING   NCNTFRAC NCODIV   \
+  NUMTUBE  ODR      OFMONOID ONECOMP  \
+  ORDCOMP  OREPCAT  OREPCAT- OWP      \
+  PADIC    PATTERN2 PATLRES  PARTPERM \
+  PBWLB    PENDTREE PGE      PGROEB   \
+  PINTERP  PLOTTOOL PFR      PMDOWN   \
+  PRTITION PMINS    PMLSAGG  PMTOOLS  \
+  PSCAT    PSCAT-   QFORM    QUEUE    \
+  SCACHE   SEG      SEG2     SEXOF    \
+  STACK    STTAYLOR TABLBUMP TABLEAU  \
+  TOPSP    TRANFUN  TRANFUN- TUBE     \
+  UDPO     UNISEG   VIEW     VSPACE   \
+  VSPACE-  XPOLYC   XPR    BTAGG    BTAGG-  
+
+
+axiom_algebra_layer_10_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_10))
+
+axiom_algebra_layer_10_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_10)))
+axiom_algebra_layer_11 = \
+  STRING   \
+  APPLYORE ARRAY1   ARRAY12  ARRAY2   \
+  ASTACK   COMBINAT \
+  CSTTOOLS D01FCFA  E04MBFA  FARRAY   \
+  FLALG    GALUTIL  HEAP     IARRAY1  \
+  IARRAY2  IFARRAY  INTCAT   INTHEORY \
+  IRREDFFX LFCAT    LODOCAT  LODOCAT- \
+  LWORD    MATCAT   MATCAT-  MATSTOR  \
+  ORESUP   OREPCTO  OREUP    PLOT3D   \
+  PR       PREASSOC PRIMARR2 REDORDER \
+  STREAM   SYMPOLY  \
+  TS       TUPLE    UPSCAT   UPSCAT-  \
+  VECTCAT  VECTCAT- XDPOLY   XEXPPKG  \
+  XF       XF-      XPBWPOLY XPOLY    \
+  XRPOLY   
+
+axiom_algebra_layer_11_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_11))
+
+axiom_algebra_layer_11_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_11)))
+axiom_algebra_layer_12 = \
+  DIOPS    DIOPS-  DIAGG   DIAGG-   BITS    DIRPROD2 IMATRIX \
+  IVECTOR  LPOLY   LSMP    LSMP1    MATCAT2 PTCAT    TRIMAT  \
+  FSAGG    FSAGG-  SYSTEM  BYTEARY
+
+axiom_algebra_layer_12_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_12))
+
+axiom_algebra_layer_12_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_12)))
+axiom_algebra_layer_13 = \
+  KDAGG    KDAGG-   \
+  ASSOCEQ  CARTEN   CLIF     CLIP     \
+  COORDSYS DBASE    DHMATRIX DIOSP    \
+  DIRPCAT  DIRPCAT- D02BBFA  D02BHFA  \
+  D02CJFA  FAXF     FAXF-    FFPOLY2  \
+  FNLA     GRAY     HB       IRSN     \
+  MCALCFN  MHROWRED NUMODE   NUMQUAD  \
+  ODESYS   ODETOOLS ORDFUNS  PERMAN   \
+  PFECAT   PFECAT-  POINT    PSEUDLIN \
+  PTPACK   REP2     SETMN    SEX      \
+  SYMFUNC  VECTOR2     CHAR  
+
+axiom_algebra_layer_13_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_13))
+
+axiom_algebra_layer_13_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_13)))
+axiom_algebra_layer_14 = \
+  TBAGG   TBAGG-   ALIST    FS       FS-      ACF      ACF-     \
+  ACFS     ACFS-    \
+  ASP1     ASP10    ASP24    ASP4     \
+  ASP50    ASP6     ASP73    BALFACT  \
+  BEZOUT   BINARY   BINFILE  BOUNDZRO \
+  BPADICRT BRILL    CDEN     CHVAR    \
+  COMMUPC  CONTFRAC CVMP     CYCLOTOM \
+  CYCLES   DDFACT   DECIMAL  DIRPROD  DISPLAY  DMP      \
+  DPMO     DPOLCAT  DPOLCAT- D01AJFA  \
+  D01AKFA  D01ALFA  D01AMFA  D01APFA  \
+  D01AQFA  EMR      EQ       ERROR    \
+  EVALCYC  E04DGFA  E04FDFA  E04GCFA  \
+  E04JAFA  FACUTIL  FF       FFCG     \
+  FFCGX    FFHOM    FFNB     FFNBX    \
+  FFPOLY   FFX      FFSLPE   FGLMICPK \
+  FILE     FINAALG  FINAALG- FINRALG  \
+  FINRALG-          FLOATRP  FNAME    \
+  FOP      FORMULA  FORT     FRAC     \
+  FTEM     GENEEZ   GENMFACT GENPGCD  \
+  GALFACTU GALPOLYU GB       GBEUCLID \
+  GBF      GBINTERN GHENSEL  GMODPOL  \
+  GOSPER   GRIMAGE  GROEBSOL HDMP     \
+  HDP      HEXADEC  HEUGCD   IBPTOOLS \
+  IFF      IBITS    ICARD    ICDEN    \
+  IDECOMP  IIARRAY2 IMATLIN  IMATQF   \
+  INMODGCD INNMFACT INPSIGN  INTHERTR \
+  INTRAT   INTRF    INTSLPE  INTTR    \
+  ISUMP    LAUPOL   LEADCDET LGROBP   \
+  LIMITRF  LINDEP   LO       LPEFRAC  \
+  LSPP     MATLIN   MCDEN    MDDFACT  \
+  MFINFACT MFLOAT   MINT     MLIFT    \
+  MMAP     MODMON   MONOTOOL MPCPF    \
+  MPC2     MPC3     MPOLY    MPRFF    \
+  MRATFAC  MULTSQFR NORMRETR NPCOEF   \
+  NSUP     NTPOLFN  ODP      ODEPRIM  \
+  ODEPRRIC OMPKG    OMSERVER PADEPAC  \
+  PADICRAT PADICRC  PCOMP    PDECOMP  \
+  PF       PFBR     PFBRU    PFOTOOLS \
+  PFRPAC   PGCD     PINTERPA PLEQN    \
+  PMPLCAT  PMQFCAT  PNTHEORY POLUTIL  \
+  POLTOPOL POLYCATQ POLYLIFT POLYROOT \
+  POLY2    POLY2UP  PRS      PSQFR    \
+  PUSHVAR  QALGSET  QFCAT2   RADIX    \
+  RATFACT  RCFIELD  RCFIELD- RDETR    \
+  RDETRS   REAL0    REAL0Q   REALSOLV \
+  RESRING  RETSOL   RF       RFFACTOR \
+  RMATCAT  RMATCAT- RRCC     RRCC-    \
+  SCPKG    SHDP     SHP      SIGNRF   \
+  SMITH    SMP      SMTS     SOLVEFOR \
+  SPLTREE  STINPROD STTFNC   SUBRESP  \
+  SUMRF    SUP      SUPFRACF TANEXP   \
+  TEMUTL   TEX      TEXTFILE TREE     \
+  TWOFACT  UNIFACT  UP       UPCDEN   \
+  UPDECOMP UPDIVP   UPMP     UPOLYC2  \
+  UPXSCAT  UPSQFREE VIEWDEF  VIEW2D   \
+  VOID     WEIER    WP       \
+ EQTBL  GSTBL   HASHTBL \
+  INTABL  INTFTBL  STBL    STRTBL\
+  TABLE     FST SYMS     SYMTAB
+
+
+axiom_algebra_layer_14_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_14))
+
+axiom_algebra_layer_14_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_14)))
+axiom_algebra_layer_15 = \
+  DSMP     EXPUPXS \
+  FRAMALG  FRAMALG- MDAGG    ODPOL   \
+  PLOT     RMCAT2   ROIRC    SDPOL   \
+  SMATCAT  SMATCAT- TUBETOOL UPXSCCA \
+  UPXSCCA- JAVACODE POLY
+
+axiom_algebra_layer_15_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_15))
+
+axiom_algebra_layer_15_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_15)))
+axiom_algebra_layer_16 = \
+  DPMM     EFUPXS  FFINTBAS FRIDEAL  \
+  FRIDEAL2 FRMOD   \
+  IBATOOL  INTFACT \
+  MSETAGG  MONOGEN MONOGEN- NFINTBAS \
+  SPACE3  FFF
+
+axiom_algebra_layer_16_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_16))
+
+axiom_algebra_layer_16_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_16)))
+axiom_algebra_layer_17 = \
+  CCLASS  FSAGG2  GALFACT IALGFACT \
+  IBACHIN MMLFORM NORMMA  ODERED  OMSAGG   \
+  PERM    PERMGRP PRIMES  PWFFINTB \
+  RDIST   SAE     SAEFACT SAERFFC  \
+  SGCF VIEW3D 
+
+axiom_algebra_layer_17_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_17))
+
+axiom_algebra_layer_17_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_17)))
+axiom_algebra_layer_18 = \
+INTPACK IPF     \
+  KAFILE  PATRES TBCMPPK 
+
+axiom_algebra_layer_18_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_18))
+
+axiom_algebra_layer_18_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_18)))
+axiom_algebra_layer_19 = \
+  ACPLOT   ANTISYM \
+  ANY               ASP27    ASP28   \
+  ASP33    ASP49             ASP7    \
+  ASP78             ASP9     ATTRBUT \
+  BOP      BOP1     COMMONOP COMPCAT \
+  COMPCAT- DRAW     DRAWCFUN DROPT   \
+  DROPT0   D01ANFA  D01ASFA  D03AGNT \
+  EP       E04AGNT  FCPAK1   FEXPR   \
+  FFCAT    FFCAT-   FFCGP    FFNBP   \
+  FFP      FLOAT    FPARFRAC FR      \
+  FRNAALG  FRNAALG- \
+           FUNCTION GDMP     HACKPI  \
+  IDEAL    INFORM   INFORM1  IPRNTPK \
+  IR       ISUPS    KERNEL   LIB     \
+  LMDICT   LODOOPS  MATRIX   MKFLCFN \
+  MSET     M3D      NAGC02   NAGC05  \
+  NAGC06   NAGD03   NAGE01   NAGE02  \
+  NAGE04   NAGF07   NAGS     NAGSP   \
+  NREP     NUMFMT   OC       OC-     \
+  ODEPACK  ODERAT   OMERR    OMERRK  \
+  OPTPACK  OSI      PATTERN  OVAR    \
+  PMKERNEL PMSYM             PRIMELT \
+  QALGSET2 QEQUAT   RECLOS   REP1    \
+  RESULT   QUATCAT  QUATCAT- RFFACT  \
+  RMATRIX  ROMAN    ROUTINE  RPOLCAT \
+  RPOLCAT- RULECOLD SAOS     SEGBIND \
+  SET      SPECOUT  SQMATRIX SWITCH  \
+                    SYSSOLP  UTSCAT  \
+  UTSCAT-  VARIABLE WFFINTBS SPADPRSR \
+  PARSER   PROPFRML
+
+axiom_algebra_layer_19_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_19))
+
+axiom_algebra_layer_19_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_19)))
+axiom_algebra_layer_20 = \
+  AF       ALGFACT  ASP12    ASP55    ASP8 \
+  ALGFF    ALGMANIP ALGMFACT ALGPKG   \
+  ALGSC    AN       APPRULE  ASP19    \
+  ASP20    ASP30    ASP31    ASP35    \
+  ASP41    ASP42    ASP74    ASP77    \
+  ASP80    CINTSLPE COMPFACT COMPLEX  \
+  COMPLPAT CMPLXRT  CPMATCH  CRFP     \
+  CTRIGMNP D01WGTS  D02AGNT  D03EEFA  \
+  DBLRESP  DERHAM   DFSFUN   DRAWCURV \
+  E04NAFA  E04UCFA  EF       EFSTRUC  \
+  ELFUTS   ESTOOLS  EXPEXPAN EXPRODE  \
+  EXPRTUBE EXPR2    FC       FDIVCAT  \
+  FDIVCAT- FDIV2    FFCAT2   FLOATCP  \
+  FORDER   FORTRAN  FSRED    FSUPFACT \
+  FRNAAF2  FSPECF   FS2      FS2UPS   \
+  GAUSSFAC GCNAALG  GENUFACT GENUPS   \
+  GTSET    GPOLSET  IAN      INEP     \
+  INFPROD0 INFSP    INPRODFF INPRODPF \
+  INTAF    INTALG   INTEF    INTG0    \
+  INTHERAL INTPAF   INTPM    INTTOOLS \
+  ITRIGMNP JORDAN   KOVACIC  LF       \
+  LIE      LODOF    LSQM     OMEXPR   \
+  MCMPLX   MULTFACT NAGD01   NAGD02   \
+  NAGF01   NAGF02   NAGF04   NCEP     \
+  NLINSOL  NSMP     NUMERIC  OCT      \
+  OCTCT2   ODEPAL   ODERTRIC PADE     \
+  PAN2EXPR PDEPACK  PFO      PFOQ     \
+  PICOERCE PMASSFS  PMFS     PMPREDFS \
+  PSETPK   QUAT     QUATCT2  RADFF    \
+  RDEEF    RDEEFS   RDIV     RSETCAT  \
+  RSETCAT- RULE     RULESET  SIMPAN   \
+  SFORT    SOLVESER SUMFS    SUTS     \
+  TOOLSIGN TRIGMNIP TRMANIP  ULSCCAT  \
+  ULSCCAT- UPXSSING UTSODE   UTSODETL \
+  UTS2     WUTSET   
+
+axiom_algebra_layer_20_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_20))
+
+axiom_algebra_layer_20_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_20)))
+axiom_algebra_layer_21 = \
+  DEFINTEF DFINTTLS DEFINTRF D01TRNS  \
+  EFULS    ESCONT   EXPR     EXPR2UPS \
+  FDIV     FSCINT   FSINT    FS2EXPXP \
+  GSERIES  HELLFDIV INVLAPLA IR2F     \
+  IRRF2F   LAPLACE  LIMITPS  LODEEF   \
+  NODE1    ODECONST ODEINT   REP      \
+  SOLVERAD SULS     SUPXS    ULS      \
+  ULSCONS  UPXS     UPXSCONS UTS 
+
+axiom_algebra_layer_21_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_21))
+
+axiom_algebra_layer_21_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_21)))
+axiom_algebra_layer_22 = \
+  ASP29    COMBF    D01AGNT  FSPRMELT \
+  INBFF    LODO     LODO1    LODO2    \
+  NTSCAT   REGSET   RGCHAIN  RSETGCD  \
+  RSDCMPK  SFRTCAT  SIGNEF   SNTSCAT  \
+  SOLVETRA SRDCMPK  SREGSET  STTF     \
+  SUBSPACE ZDSOLVE
+
+axiom_algebra_layer_22_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_22))
+
+axiom_algebra_layer_22_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_22)))
+axiom_algebra_layer_23 = \
+  CPIMA    IRURPK   LAZM3PK  LEXTRIPK \
+  NORMPK   QCMPACK  RURPK    SFRGCD   \
+  SFQCMPK  INTRVL   ODEEF    DOMAIN
+
+axiom_algebra_layer_23_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_23))
+
+axiom_algebra_layer_23_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_23)))
+axiom_algebra_layer_user =  RINTERP
+
+axiom_algebra_layer_user_nrlibs = \
+	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_user))
+
+axiom_algebra_layer_user_objects = \
+	$(addprefix $(OUT)/, \
+	   $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_user)))
+
+.PHONY: all all-algebra mkdir-output-directory
+all: all-ax
+
+all-ax all-algebra: stamp
+	@ echo finished $(builddir)
+
+stamp: mkdir-output-directory ${SPADFILES} bootstrap-stamp ${TESTS}
+	-rm -f stamp
+	$(STAMP) stamp
+
+mkdir-output-directory:
+	$(mkinstalldirs) $(OUTSRC)
+
+everything: check lib db cmd gloss
+	@ echo 4303 invoking make in `pwd` with parms:
+	@ echo SYS= ${SYS} LSP= ${LSP}
+	@ echo MNT= ${MNT} LISP=${LISP} BYE=${BYE}
+
+check:
+	@ echo 4305 Checking that INTERP.EXPOSED and NRLIBs are consistent
+	@ echo 4306 libcheck needs to use exposed.lsp, not INTERP.EXPOSED
+
+
+
+
+${OUT}/%.$(FASLEXT): %.NRLIB/code.$(FASLEXT)
+	cp $*.NRLIB/code.$(FASLEXT) ${OUT}/$*.$(FASLEXT)
+
+
+.PRECIOUS: %.NRLIB/code.$(FASLEXT)
+%.NRLIB/code.$(FASLEXT): %.spad
+	@ rm -rf $*.NRLIB
+	${INTERPSYS} --strap=strap --compile $<
+# Compile bootstrap file to machine object code, and the result
+# immediately available for AXIOMsys consumption.
+strap/%.$(FASLEXT): %.lsp
+	$(COMPILE_LISP)
+
+$(OUTSRC)/%.spad: mk-target-src-algabra-dir
+
+${OUTSRC}/%.spad: $(srcdir)/%.spad.pamphlet
+	$(axiom_build_document) --tangle --output=$@ $<
+
+.PHONY: mk-target-src-algabra-dir
+mk-target-src-algabra-dir:
+	@ [ -d $(OUTSRC) ] || $(mkinstalldirs) $(OUTSRC)
+
+.PRECIOUS: $(builddir)/%.tex
+.PRECIOUS: $(builddir)/%.dvi
+
+$(DOC)/%.dvi:  mk-target-doc-dir
+
+.PHONY: mk-target-doc-dir
+mk-target-doc-dir:
+	@ [ -d $(DOC) ] || $(mkinstalldirs) $(DOC)
+
+$(DOC)/%.dvi: $(builddir)/%.dvi
+	$(INSTALL_DATA) $< $@
+
+$(builddir)/%.dvi: $(axiom_build_texdir)/diagrams.tex \
+		   $(axiom_build_texdir)/axiom.sty
+
+$(builddir)/%.dvi: $(builddir)/%.tex
+	$(axiom_build_document) --latex $<
+
+$(builddir)/%.tex: $(srcdir)/%.pamphlet
+	$(axiom_build_document) --weave --output=$@ $<
+
+$(axiom_build_texdir)/diagrams.tex: $(axiom_src_docdir)/diagrams.tex
+	$(INSTALL_DATA) $< $@
+
+SPADPRSR.NRLIB/code.$(FASLEXT): spad-parser.spad
+	@ rm -rf SPADPRSR.NRLIB
+	${INTERPSYS} --compile $<
+
+PARSER.NRLIB/code.$(FASLEXT): script-parser.spad
+	@ rm -rf PARSER.NRLIB
+	${INTERPSYS} --compile $<
+
+
+
+${INPUT}/TESTFR.input: $(srcdir)/fr.spad.pamphlet
+	$(axiom_build_document) --tangle='TEST FR' --output=$@ $<
+
+${INPUT}/INTHEORY.input: $(srcdir)/numtheor.spad.pamphlet
+	$(axiom_build_document) --tangle='TEST INTHEORY' --output=$@ $<
+
+${INPUT}/VIEW2D.input: $(srcdir)/view2D.spad.pamphlet
+	$(axiom_build_document) --tangle='TEST VIEW2D' --output=$@ $<
+
+
+${DOC}/diagrams.tex: $(axiom_src_docdir)/diagrams.tex
+	$(INSTALL_DATA) $< $@
+ 
+$(axiom_algebra_layer_0_objects): strap-stamp
+$(axiom_algebra_layer_1_objects): 0-stamp
+$(axiom_algebra_layer_2_objects): 1-stamp
+$(axiom_algebra_layer_3_objects): 2-stamp
+$(axiom_algebra_layer_4_objects): 3-stamp
+$(axiom_algebra_layer_5_objects): 4-stamp
+$(axiom_algebra_layer_6_objects): 5-stamp
+$(axiom_algebra_layer_7_objects): 6-stamp
+$(axiom_algebra_layer_8_objects): 7-stamp
+$(axiom_algebra_layer_9_objects): 8-stamp
+$(axiom_algebra_layer_10_objects): 9-stamp
+$(axiom_algebra_layer_11_objects): 10-stamp
+$(axiom_algebra_layer_12_objects): 11-stamp
+$(axiom_algebra_layer_13_objects): 12-stamp
+$(axiom_algebra_layer_14_objects): 13-stamp
+$(axiom_algebra_layer_15_objects): 14-stamp
+$(axiom_algebra_layer_16_objects): 15-stamp
+$(axiom_algebra_layer_17_objects): 16-stamp
+$(axiom_algebra_layer_18_objects): 17-stamp
+$(axiom_algebra_layer_19_objects): 18-stamp
+$(axiom_algebra_layer_20_objects): 19-stamp
+$(axiom_algebra_layer_21_objects): 20-stamp
+$(axiom_algebra_layer_22_objects): 21-stamp
+$(axiom_algebra_layer_23_objects): 22-stamp
+$(axiom_algebra_layer_user_objects): 23-stamp
+$(axiom_algebra_bootstrap_objects): user-stamp
+
+strap-stamp: $(axiom_algebra_layer_strap_objects)
+	@ rm -f strap-stamp
+	@ $(STAMP) strap-stamp
+	@ echo =====================================
+	@ echo === algebra bootstrap complete ======
+	@ echo =====================================
+
+0-stamp: strap-stamp $(axiom_algebra_layer_0_objects)
+	@ rm -f 0-stamp
+	@ $(STAMP) 0-stamp
+	@ echo ==================================
+	@ echo === layer 0 of 23 complete ======
+	@ echo ==================================
+
+1-stamp: 0-stamp $(axiom_algebra_layer_1_objects)
+	@ rm -f 1-stamp
+	@ $(STAMP) 1-stamp
+	@ echo ==================================
+	@ echo === layer 1 of 23 complete ======
+	@ echo ==================================
+
+2-stamp: 1-stamp $(axiom_algebra_layer_2_objects)
+	@ rm -f 2-stamp
+	@ $(STAMP) 2-stamp
+	@ echo ==================================
+	@ echo === layer 2 of 23 complete ======
+	@ echo ==================================
+
+3-stamp: 2-stamp $(axiom_algebra_layer_3_objects)
+	@ rm -f 3-stamp
+	@ $(STAMP) 3-stamp
+	@ echo ==================================
+	@ echo === layer 3 of 23 complete ======
+	@ echo ==================================
+
+4-stamp: 3-stamp $(axiom_algebra_layer_4_objects)
+	@ rm -f 4-stamp
+	@ $(STAMP) 4-stamp
+	@ echo ==================================
+	@ echo === layer 4 of 23 complete ======
+	@ echo ==================================
+
+5-stamp: 4-stamp $(axiom_algebra_layer_5_objects)
+	@ rm -f 5-stamp
+	@ $(STAMP) 5-stamp
+	@ echo ==================================
+	@ echo === layer 5 of 23 complete ======
+	@ echo ==================================
+
+6-stamp: 5-stamp $(axiom_algebra_layer_6_objects)
+	@ rm -f 6-stamp
+	@ $(STAMP) 6-stamp
+	@ echo ==================================
+	@ echo === layer 6 of 23 complete ======
+	@ echo ==================================
+
+7-stamp: 6-stamp $(axiom_algebra_layer_7_objects)
+	@ rm -f 7-stamp
+	@ $(STAMP) 7-stamp
+	@ echo ==================================
+	@ echo === layer 7 of 23 complete ======
+	@ echo ==================================
+
+8-stamp: 7-stamp $(axiom_algebra_layer_8_objects)
+	@ rm -f 8-stamp
+	@ $(STAMP) 8-stamp
+	@ echo ==================================
+	@ echo === layer 8 of 23 complete ======
+	@ echo ==================================
+
+9-stamp: 8-stamp $(axiom_algebra_layer_9_objects)
+	@ rm -f 9-stamp
+	@ $(STAMP) 9-stamp
+	@ echo ==================================
+	@ echo === layer 9 of 23 complete ======
+	@ echo ==================================
+
+10-stamp: 9-stamp $(axiom_algebra_layer_10_objects)
+	@ rm -f 10-stamp
+	@ $(STAMP) 10-stamp
+	@ echo ==================================
+	@ echo === layer 10 of 23 complete ======
+	@ echo ==================================
+
+11-stamp: 10-stamp $(axiom_algebra_layer_11_objects)
+	@ rm -f 11-stamp
+	@ $(STAMP) 11-stamp
+	@ echo ==================================
+	@ echo === layer 11 of 23 complete ======
+	@ echo ==================================
+
+12-stamp: 11-stamp $(axiom_algebra_layer_12_objects)
+	@ rm -f 12-stamp
+	@ $(STAMP) 12-stamp
+	@ echo ==================================
+	@ echo === layer 12 of 23 complete ======
+	@ echo ==================================
+
+13-stamp: 12-stamp $(axiom_algebra_layer_13_objects)
+	@ rm -f 13-stamp
+	@ $(STAMP) 13-stamp
+	@ echo ==================================
+	@ echo === layer 13 of 23 complete ======
+	@ echo ==================================
+
+14-stamp: 13-stamp $(axiom_algebra_layer_14_objects)
+	@ rm -f 14-stamp
+	@ $(STAMP) 14-stamp
+	@ echo ==================================
+	@ echo === layer 14 of 23 complete ======
+	@ echo ==================================
+
+15-stamp: 14-stamp $(axiom_algebra_layer_15_objects)
+	@ rm -f 15-stamp
+	@ $(STAMP) 15-stamp
+	@ echo ==================================
+	@ echo === layer 15 of 23 complete ======
+	@ echo ==================================
+
+16-stamp: 15-stamp $(axiom_algebra_layer_16_objects)
+	@ rm -f 16-stamp
+	@ $(STAMP) 16-stamp
+	@ echo ==================================
+	@ echo === layer 16 of 23 complete ======
+	@ echo ==================================
+
+17-stamp: 16-stamp $(axiom_algebra_layer_17_objects)
+	@ rm -f 17-stamp
+	@ $(STAMP) 17-stamp
+	@ echo ==================================
+	@ echo === layer 17 of 23 complete ======
+	@ echo ==================================
+
+18-stamp: 17-stamp $(axiom_algebra_layer_18_objects)
+	@ rm -f 18-stamp
+	@ $(STAMP) 18-stamp
+	@ echo ==================================
+	@ echo === layer 18 of 23 complete ======
+	@ echo ==================================
+
+19-stamp: 18-stamp $(axiom_algebra_layer_19_objects)
+	@ rm -f 19-stamp
+	@ $(STAMP) 19-stamp
+	@ echo ==================================
+	@ echo === layer 19 of 23 complete ======
+	@ echo ==================================
+
+20-stamp: 19-stamp $(axiom_algebra_layer_20_objects)
+	@ rm -f 20-stamp
+	@ $(STAMP) 20-stamp
+	@ echo ==================================
+	@ echo === layer 20 of 23 complete ======
+	@ echo ==================================
+
+21-stamp: 20-stamp $(axiom_algebra_layer_21_objects)
+	@ rm -f 21-stamp
+	@ $(STAMP) 21-stamp
+	@ echo ==================================
+	@ echo === layer 21 of 23 complete ======
+	@ echo ==================================
+
+22-stamp: 21-stamp $(axiom_algebra_layer_22_objects)
+	@ rm -f 22-stamp
+	@ $(STAMP) 22-stamp
+	@ echo ==================================
+	@ echo === layer 22 of 23 complete ======
+	@ echo ==================================
+
+23-stamp: 22-stamp $(axiom_algebra_layer_23_objects)
+	@ rm -f 23-stamp
+	@ $(STAMP) 23-stamp
+	@ echo ==================================
+	@ echo === layer 23 of 23 complete ======
+	@ echo ==================================
+
+user-stamp: 23-stamp $(axiom_algebra_layer_user_objects)
+	@ rm -f user-stamp
+	@ $(STAMP) user-stamp
+
+
+# bootstrap-pre: user-stamp $(axiom_algebra_bootstrap_nrlibs)
+# $(axiom_algebra_bootstrap_nrlibs): user-stamp
+
+# bootstrap-post: bootstrap-pre $(axiom_algebra_bootstrap_objects)
+
+bootstrap-stamp: $(axiom_algebra_bootstrap_objects)
+	@ rm -f bootstrap-stamp
+	@ $(STAMP) bootstrap-stamp
+	@ echo ==================================
+	@ echo ===    algebra complete     ======
+	@ echo ==================================
+
+mostlyclean-local:
+	@rm -f $(OUT)/*.$(FASLEXT) $(OUT)/*.daase
+	@rm -rf *.NRLIB
+	@rm -rf *.DAASE *.daase libdb.text
+	@rm -rf strap
+	@rm -f *stamp
+
+clean-local: mostlyclean-local
+
+distclean-local: clean-local
+
+include extract-lisp-files.mk
+include extract-spad.mk
+
+.NOTPARALLEL:
+
-- 
cgit v1.2.3