aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/Makefile.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
-rw-r--r--src/algebra/Makefile.pamphlet129
1 files changed, 87 insertions, 42 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index b9ea75d0..7c4f46fd 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -361,7 +361,7 @@ $(OUT)/PATAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT)
$(OUT)/BOOLEAN.$(FASLEXT): $(OUT)/PROPLOG.$(FASLEXT)
$(OUT)/VECTCAT.$(FASLEXT): $(OUT)/RADCAT.$(FASLEXT)
$(OUT)/IARRAY1.$(FASLEXT): $(OUT)/PRIMARR.$(FASLEXT)
-$(OUT)/PROPERTY.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT)
+$(OUT)/PROPERTY.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) $(OUT)/PAIR.$(FASLEXT)
$(OUT)/BINDING.$(FASLEXT): $(OUT)/PROPERTY.$(FASLEXT)
$(OUT)/OPERCAT.$(FASLEXT): $(OUT)/ARITY.$(FASLEXT)
$(OUT)/REF.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/IDENT.$(FASLEXT)
@@ -391,12 +391,11 @@ axiom_algebra_layer_1_objects = \
<<layer2>>=
axiom_algebra_layer_2 = \
SYNTAX INTRET SEGXCAT CONTOUR LIST3 MKFUNC \
- COMMONOP KTVLOGIC FNCAT SCACHE BOP BOP1 \
+ COMMONOP FNCAT SCACHE BOP BOP1 \
DOMTMPLT FCTRDATA
$(OUT)/FNCAT.$(FASLEXT): $(OUT)/HOMOTOP.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT)
$(OUT)/SYNTAX.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT)
-$(OUT/KTVLOGIC.$(FASLEXT): $(OUT)/PROPLOG.$(FASLEXT)
$(OUT)/COMMONOP.$(FASLEXT): $(OUT)/BOP.$(FASLEXT)
$(OUT)/DOMTMPLT.$(FASLEXT): $(OUT)/SYNTAX.$(FASLEXT)
$(OUT)/FCTRDATA.$(FASLEXT): $(OUT)/DOMTMPLT.$(FASLEXT)
@@ -483,13 +482,14 @@ axiom_algebra_layer_5_objects = \
$(OUT)/CHARPOL.$(FASLEXT): $(OUT)/SETCAT-.$(FASLEXT)
$(OUT)PROPFRML.$(FASLEXT): $(OUT)/KERNEL.$(FASLEXT)
+$(OUT)/KTVLOGIC.$(FASLEXT): $(OUT)/PROPLOG.$(FASLEXT) $(OUT)/BYTE.$(FASLEXT)
axiom_algebra_layer_6 = \
PROPFRML AUTOMOR CARTEN2 CHARPOL COMPLEX2 \
DIFEXT DIFEXT- ES1 ES2 GRMOD GRMOD- \
HYPCAT HYPCAT- MODRING NASRING NASRING- \
SORTPAK ZMOD \
- OAMONS BYTE SYSINT SYSNNI
+ KTVLOGIC OAMONS BYTE SYSINT SYSNNI
axiom_algebra_layer_6_nrlibs = \
$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_6))
@@ -504,8 +504,9 @@ axiom_algebra_layer_6_objects = \
\end{verbatim}
<<layer7>>=
+$(OUT)/IFAMON.$(FASLEXT): $(OUT)/LMOPS.$(FASLEXT)
axiom_algebra_layer_7 = \
- BTCAT BTCAT- FMCAT IDPOAM \
+ BTCAT BTCAT- LMOPS FMCAT IDPOAM \
IFAMON GRALG GRALG- \
INT8 INT16 INT32 INT64 UINT8 UINT16 \
UINT32 UINT64
@@ -521,11 +522,16 @@ axiom_algebra_layer_7_objects = \
\subsection{Layer8}
<<layer8>>=
+
+$(OUT)/BSTREE.$(FASLEXT): $(OUT)/BTREE.$(FASLEXT)
+$(OUT)/ITAYLOR.$(FASLEXT): $(OUT)/STREAM.$(FASLEXT)
+$(OUT)/STREAM.$(FASLEXT): $(OUT)/LZSTAGG.$(FASLEXT)
+
axiom_algebra_layer_8 = \
BSTREE BTOURN CARD DRAWHACK FACTFUNC FMTC \
FR2 FRAC2 FRUTIL ITAYLOR MLO NAALG \
NAALG- OP ORDCOMP2 RANDSRC UNISEG2 XALG \
- ARR2CAT ARR2CAT-
+ BTREE STREAM LZSTAGG LZSTAGG- ARR2CAT ARR2CAT-
axiom_algebra_layer_8_nrlibs = \
$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_8))
@@ -538,13 +544,15 @@ axiom_algebra_layer_8_objects = \
\subsection{Layer9}
<<layer9>>=
+$(OUT)/ODEIFTBL.$(FASLEXT): $(OUT)/TABLE.$(FASLEXT) $(OUT)/INTABL.$(FASLEXT)
+
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 \
+ XFALG ZLINDEP BBTREE TABLE INTABL \
ODEIFTBL NIPROB ODEPROB OPTPROB \
PDEPROB COLOR SIG FMONCAT
@@ -560,16 +568,32 @@ axiom_algebra_layer_9_objects = \
\subsection{Layer10}
<<layer10>>=
+$(OUT)/D01GBFA.$(FASLEXT): $(OUT)/RESULT.$(FASLEXT) $(OUT)/ANY.$(FASLEXT) \
+ $(OUT)/SEX.$(FASLEXT) $(OUT)/HASHTBL.$(FASLEXT)
+
+$(OUT)/SEX.$(FASLEXT): $(OUT)/SEXOF.$(FASLEXT)
+$(OUT)/LEXP.$(FASLEXT): $(OUT)/XPBWPOLY.$(FASLEXT)
+$(OUT)/XPBWPOLY.$(FASLEXT): $(OUT)/XPOLYC.$(FASLEXT)
+$(OUT)/PENDTREE.$(FASLEXT): $(OUT)/TREE.$(FASLEXT)
+$(OUT)/QFORM.$(FASLEXT): $(OUT)/SQMATRIX.$(FASLEXT)
+$(OUT)/SQMATRIX.$(FASLEXT): $(OUT)/SMATCAT.$(FASLEXT) \
+ $(OUT)/MATRIX.$(FASLEXT) $(OUT)/IIARRAY2.$(FASLEXT)
+$(OUT)/SMATCAT.$(FASLEXT): $(OUT)/RMATCAT.$(FASLEXT)
+$(OUT)/RMATCAT.$(FASLEXT): $(OUT)/DIRPROD.$(FASLEXT)
+$(OUT)/DIRPROD.$(FASLEXT): $(OUT)/DIRPCAT.$(FASLEXT)
+$(OUT)/DIRPCAT.$(FASLEXT): $(OUT)/VSPACE.$(FASLEXT) $(OUT)/IVECTOR.$(FASLEXT)
+$(OUT)/MATRIX.$(FASLEXT): $(OUT)/MATCAT.$(FASLEXT)
+
axiom_algebra_layer_10 = \
- BFUNCT BPADIC \
- BTREE CRAPACK DEQUEUE DLIST \
+ RESULT BFUNCT BPADIC ANY \
+ SEXOF 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 \
+ SEX HASHTBL TREE MAGMA \
MESH MOEBIUS MODFIELD MODOP \
MRING MTHING NCNTFRAC NCODIV \
NUMTUBE ODR OFMONOID ONECOMP \
@@ -579,12 +603,15 @@ axiom_algebra_layer_10 = \
PINTERP PLOTTOOL PFR PMDOWN \
PRTITION PMINS PMLSAGG PMTOOLS \
PSCAT PSCAT- QFORM QUEUE \
- SEG SEG2 SEXOF \
+ SQMATRIX SEG SEG2 \
STACK STTAYLOR TABLBUMP TABLEAU \
TOPSP TRANFUN TRANFUN- TUBE \
UDPO UNISEG VIEW VSPACE \
- VSPACE- XPOLYC XPR BTAGG BTAGG- \
- FUNDESC
+ VSPACE- XPOLYC XPR BTAGG BTAGG- \
+ FUNDESC XPBWPOLY SMATCAT SMATCAT- \
+ RMATRIX RMATCAT RMATCAT- DIRPROD \
+ DIRPCAT DIRPCAT- IVECTOR MATRIX \
+ MATCAT MATCAT- IIARRAY2
axiom_algebra_layer_10_nrlibs = \
@@ -598,6 +625,8 @@ axiom_algebra_layer_10_objects = \
\subsection{Layer11}
<<layer11>>=
+$(OUT)/ARRAY2.$(FASLEXT): $(OUT)/IFARRAY.$(FASLEXT)
+
axiom_algebra_layer_11 = \
APPLYORE ARRAY1 ARRAY12 ARRAY2 \
ASTACK COMBINAT \
@@ -605,13 +634,13 @@ axiom_algebra_layer_11 = \
FLALG GALUTIL HEAP \
IARRAY2 IFARRAY INTCAT INTHEORY \
IRREDFFX LFCAT LODOCAT LODOCAT- \
- LWORD MATCAT MATCAT- MATSTOR \
+ LWORD MATSTOR \
ORESUP OREPCTO OREUP PLOT3D \
PR PREASSOC PRIMARR2 REDORDER \
- STREAM SYMPOLY \
+ SYMPOLY \
TS TUPLE UPSCAT UPSCAT- \
XDPOLY XEXPPKG \
- XF XF- XPBWPOLY XPOLY \
+ XF XF- XPOLY \
XRPOLY
axiom_algebra_layer_11_nrlibs = \
@@ -627,7 +656,7 @@ axiom_algebra_layer_11_objects = \
<<layer12>>=
axiom_algebra_layer_12 = \
ULSCAT BITS DIRPROD2 IMATRIX \
- IVECTOR LPOLY LSMP LSMP1 MATCAT2 PTCAT TRIMAT \
+ LPOLY LSMP LSMP1 MATCAT2 PTCAT TRIMAT \
SYSTEM HOSTNAME PORTNUM
axiom_algebra_layer_12_nrlibs = \
@@ -648,13 +677,13 @@ axiom_algebra_layer_13 = \
ASSOCEQ CARTEN CLIF CLIP \
UPOLYC UPOLYC- \
COORDSYS DBASE DHMATRIX DIOSP \
- DIRPCAT DIRPCAT- D02BBFA D02BHFA \
+ 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 \
+ PTPACK REP2 SETMN \
SYMFUNC VECTOR2 CHAR \
INBCON INBCON- OUTBCON OUTBCON-
@@ -670,13 +699,14 @@ axiom_algebra_layer_13_objects = \
<<layer14>>=
$(OUT)/FS.$(FASLEXT): $(OUT)/UPOLYC.$(FASLEXT)
+$(OUT)/FTEM.$(FASLEXT): $(OUT)/TEXTFILE.$(FASLEXT)
axiom_algebra_layer_14 = \
FS FS- ACF ACF- \
ACFS ACFS- BALFACT BEZOUT BINARY BINFILE BOUNDZRO \
BPADICRT BRILL CDEN CHVAR \
COMMUPC CONTFRAC CVMP CYCLOTOM \
- CYCLES DDFACT DECIMAL DIRPROD DISPLAY DMP \
+ CYCLES DDFACT DECIMAL DISPLAY DMP \
DPMO DPOLCAT DPOLCAT- D01AJFA \
D01AKFA D01ALFA D01AMFA D01APFA \
D01AQFA EMR EQ ERROR \
@@ -693,7 +723,7 @@ axiom_algebra_layer_14 = \
GOSPER GRIMAGE GROEBSOL HDMP \
HDP HEXADEC HEUGCD IBPTOOLS \
IFF IBITS ICARD ICDEN \
- IDECOMP IIARRAY2 IMATLIN IMATQF \
+ IDECOMP IMATLIN IMATQF \
INMODGCD INNMFACT INPSIGN INTHERTR \
INTRAT INTRF INTSLPE INTTR \
ISUMP LAUPOL LEADCDET LGROBP \
@@ -715,20 +745,20 @@ axiom_algebra_layer_14 = \
RATFACT RCFIELD RCFIELD- RDETR \
RDETRS REAL0 REAL0Q REALSOLV \
RESRING RETSOL RF RFFACTOR \
- RMATCAT RMATCAT- RRCC RRCC- \
+ RRCC RRCC- \
SCPKG SHDP SHP SIGNRF \
SMITH SMP SMTS SOLVEFOR \
SPLTREE STINPROD STTFNC SUBRESP \
SUMRF SUP SUPFRACF TANEXP \
- TEMUTL TEX TEXTFILE TREE \
+ TEMUTL TEX TEXTFILE \
TWOFACT UNIFACT UP UPCDEN \
UPDECOMP UPDIVP UPMP UPOLYC2 \
UPXSCAT UPSQFREE VIEWDEF VIEW2D \
WEIER WP \
- EQTBL GSTBL HASHTBL \
- INTABL INTFTBL STBL STRTBL\
- TABLE FST SYMS SYMTAB \
- IOBCON
+ EQTBL GSTBL \
+ INTFTBL STBL STRTBL\
+ FST SYMS SYMTAB \
+ IOBCON
axiom_algebra_layer_14_nrlibs = \
@@ -742,12 +772,22 @@ axiom_algebra_layer_14_objects = \
\subsection{Layer15}
<<layer15>>=
+$(OUT)/EXPUPXS.$(FASLEXT): $(OUT)/UPXS.$(FASLEXT)
+$(OUT)/UPXS.$(FASLEXT): $(OUT)/UPXSCAT.$(FASLEXT) $(OUT)/UPXSCONS.$(FASLEXT) \
+ $(OUT)/ULS.$(FASLEXT)
+$(OUT)/UPXSCONS.$(FASLEXT): $(OUT)/UPXSCCA.$(FASLEXT)
+$(OUT)/ULS.$(FASLEXT): $(OUT)/ULSCONS.$(FASLEXT)
+$(OUT)/ULSCONS.$(FASLEXT): $(OUT)/ULSCCAT.$(FASLEXT)
+$(OUT)/ULSCCAT.$(FASLEXT): $(OUT)/UTS.$(FASLEXT)
+$(OUT)/UTS.$(FASLEXT): $(OUT)/UTSCAT.$(FASLEXT)
+
axiom_algebra_layer_15 = \
- DSMP EXPUPXS \
+ DSMP EXPUPXS UPXS UPXSCONS \
FRAMALG FRAMALG- MDAGG ODPOL \
PLOT RMCAT2 ROIRC SDPOL \
- SMATCAT SMATCAT- TUBETOOL UPXSCCA \
- UPXSCCA- JAVACODE POLY BYTEBUF OVERSET
+ ULS ULSCONS TUBETOOL UPXSCCA \
+ UPXSCCA- JAVACODE POLY BYTEBUF OVERSET \
+ ULSCCAT ULSCCAT- UTS UTSCAT UTSCAT-
axiom_algebra_layer_15_nrlibs = \
$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_15))
@@ -817,7 +857,7 @@ axiom_algebra_layer_18_objects = \
$(OUT)/TSETCAT.$(FASLEXT): $(OUT)/PSETCAT.$(FASLEXT) $(OUT)/RPOLCAT.$(FASLEXT)
axiom_algebra_layer_19 = \
- ACPLOT ANTISYM ANY ATTRBUT \
+ ACPLOT ANTISYM ATTRBUT \
COMPCAT \
COMPCAT- DRAW DRAWCFUN DROPT \
DROPT0 D01ANFA D01ASFA D03AGNT \
@@ -828,7 +868,7 @@ axiom_algebra_layer_19 = \
FUNCTION GDMP HACKPI \
IDEAL INFORM INFORM1 IPRNTPK \
IR ISUPS LIB \
- LMDICT LODOOPS MATRIX MKFLCFN \
+ LMDICT LODOOPS MKFLCFN \
MSET M3D NAGC02 NAGC05 \
NAGC06 NAGD03 NAGE01 NAGE02 \
NAGE04 NAGF07 NAGS NAGSP \
@@ -837,12 +877,12 @@ axiom_algebra_layer_19 = \
OPTPACK OSI PATTERN OVAR \
PMKERNEL PMSYM PRIMELT \
QALGSET2 QEQUAT RECLOS REP1 \
- RESULT QUATCAT QUATCAT- RFFACT \
- RMATRIX ROMAN ROUTINE RNGBIND \
+ QUATCAT QUATCAT- RFFACT \
+ ROMAN ROUTINE RNGBIND \
RULECOLD SAOS SEGBIND \
- SET SPECOUT SQMATRIX SWITCH \
- SYSSOLP UTSCAT \
- UTSCAT- VARIABLE WFFINTBS SPADPRSR \
+ SET SPECOUT SWITCH \
+ SYSSOLP \
+ VARIABLE WFFINTBS SPADPRSR \
PARSER TSETCAT TSETCAT-
axiom_algebra_layer_19_nrlibs = \
@@ -856,6 +896,9 @@ axiom_algebra_layer_19_objects = \
\subsection{Layer20}
<<layer20>>=
+$(OUT)/AN.$(FASLEXT): $(OUT)/IAN.$(FASLEXT)
+$(OUT)/IAN.$(FASLEXT): $(OUT)/EXPR.$(FASLEXT)
+
axiom_algebra_layer_20 = \
AF ALGFACT ALGFF ALGMANIP ALGMFACT ALGPKG \
ALGSC AN APPRULE CINTSLPE COMPFACT COMPLEX \
@@ -887,7 +930,7 @@ axiom_algebra_layer_20 = \
SFORT SOLVESER SUMFS SUTS \
TOOLSIGN TRIGMNIP TRMANIP ULSCCAT \
ULSCCAT- UPXSSING UTSODE UTSODETL \
- UTS2 WUTSET
+ UTS2 WUTSET EXPR
axiom_algebra_layer_20_nrlibs = \
$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_20))
@@ -900,15 +943,17 @@ axiom_algebra_layer_20_objects = \
\subsection{Layer21}
<<layer21>>=
+$(OUT)/FDIV.$(FASLEXT): $(OUT)/HELLFDIV.$(FASLEXT)
+
axiom_algebra_layer_21 = \
DEFINTEF DFINTTLS DEFINTRF D01TRNS \
- EFULS ESCONT EXPR EXPR2UPS \
+ EFULS ESCONT 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
+ SOLVERAD SULS SUPXS \
+ UPXSCONS
axiom_algebra_layer_21_nrlibs = \
$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_21))
@@ -1442,7 +1487,7 @@ ${OUT}/%.$(FASLEXT): %.NRLIB/code.$(FASLEXT)
.PREVIOUS: %.spad
.PRECIOUS: %.NRLIB/code.$(FASLEXT)
%.NRLIB/code.$(FASLEXT): %.spad
- ${INTERPSYS} --strap=strap --system-algebra --optimize=2 --compile $<
+ ${INTERPSYS} --strap=strap --system-algebra --optimize=3 --compile $<
@
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 17:11:09 +0000