diff options
| -rw-r--r-- | src/ChangeLog | 4 | ||||
| -rw-r--r-- | src/algebra/Makefile.in | 40 | ||||
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 517 |
3 files changed, 46 insertions, 515 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index af7c3aae..eedae6c5 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,9 @@ 2009-04-20 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/Makefile.pamphlet: Move Fortran domains to user layer. + +2009-04-20 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/sys-constants.boot ($Identifier): New. * interp/compiler.boot (compQuote): Use the target mode if appropriate. * interp/i-spec2.boot (upQUOTE): Likewise. diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 2824de44..2539cb09 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -303,11 +303,13 @@ axiom_algebra_layer_1_objects = \ $(addprefix $(OUT)/, \ $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_1))) axiom_algebra_layer_2 = \ - ELTAGG ELTAGG- FMC FMFUN FORTFN FVC \ - SYNTAX FVFUN INTRET IXAGG IXAGG- SEGXCAT \ + ELTAGG ELTAGG- \ + SYNTAX INTRET IXAGG IXAGG- SEGXCAT \ CONTOUR LIST3 MKFUNC OASGP KTVLOGIC FNCAT \ IDENT +$(OUT)/ELTAGG.$(FASLEXT): $(OUT)/AGG.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/IXAGG.$(FASLEXT): $(OUT)/ELTAGG.$(FASLEXT) $(OUT)/SYNTAX.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) axiom_algebra_layer_2_nrlibs = \ @@ -419,7 +421,7 @@ axiom_algebra_layer_9_objects = \ $(addprefix $(OUT)/, \ $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_9))) axiom_algebra_layer_10 = \ - ASP34 BFUNCT BPADIC \ + BFUNCT BPADIC \ BTREE CRAPACK DEQUEUE DLIST \ DRAWCX D01GBFA D02EJFA D03FAFA \ DRAWPT FAMR FAMR- FLASORT \ @@ -507,10 +509,7 @@ axiom_algebra_layer_13_objects = \ $(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 \ + ACFS ACFS- BALFACT BEZOUT BINARY BINFILE BOUNDZRO \ BPADICRT BRILL CDEN CHVAR \ COMMUPC CONTFRAC CVMP CYCLOTOM \ CYCLES DDFACT DECIMAL DIRPROD DISPLAY DMP \ @@ -624,10 +623,7 @@ 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 \ + ACPLOT ANTISYM ANY ATTRBUT \ BOP BOP1 COMMONOP COMPCAT \ COMPCAT- DRAW DRAWCFUN DROPT \ DROPT0 D01ANFA D01ASFA D03AGNT \ @@ -662,12 +658,8 @@ 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 \ + AF ALGFACT ALGFF ALGMANIP ALGMFACT ALGPKG \ + ALGSC AN APPRULE CINTSLPE COMPFACT COMPLEX \ COMPLPAT CMPLXRT CPMATCH CRFP \ CTRIGMNP D01WGTS D02AGNT D03EEFA \ DBLRESP DERHAM DFSFUN DRAWCURV \ @@ -721,7 +713,7 @@ axiom_algebra_layer_21_objects = \ $(addprefix $(OUT)/, \ $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_21))) axiom_algebra_layer_22 = \ - ASP29 COMBF D01AGNT FSPRMELT \ + COMBF D01AGNT FSPRMELT \ INBFF LODO LODO1 LODO2 \ NTSCAT REGSET RGCHAIN RSETGCD \ RSDCMPK SFRTCAT SIGNEF SNTSCAT \ @@ -754,7 +746,13 @@ axiom_algebra_layer_user = \ CASEAST HASAST ISAST CATAST WHEREAST COMMAAST \ QQUTAST DEFAST MACROAST SPADXPT SPADAST \ INBFILE OUTBFILE IOBFILE RGBCMDL RGBCSPC \ - CTOR IP4ADDR NETCLT INETCLTS + CTOR IP4ADDR NETCLT INETCLTS \ + FMC FMFUN FORTFN FVC FVFUN ASP34 \ + ASP1 ASP10 ASP24 ASP4 ASP50 ASP6 \ + ASP73 ASP27 ASP28 ASP33 ASP49 ASP7 \ + ASP78 ASP9 ASP12 ASP55 ASP8 ASP19 \ + ASP20 ASP30 ASP31 ASP35 ASP41 ASP42 \ + ASP74 ASP77 ASP80 ASP29 axiom_algebra_layer_user_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_user)) @@ -822,6 +820,10 @@ $(OUT)/CTOR.$(FASLEXT): $(OUT)/CTORKIND.$(FASLEXT) \ $(OUT)/NETCLT.$(FASLEXT): $(OUT)/IOBCON.$(FASLEXT) $(OUT)/INETCLTS.$(FASLEXT): $(OUT)/NETCLT.$(FASLEXT) + +$(OUT)/ASP34.$(FASLEXT): $(OUT)/FMC.$(FASLEXT) + + .PHONY: all all-algebra mkdir-output-directory all: all-ax diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 109a39d1..f02b8443 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -165,17 +165,6 @@ axiom_algebra_bootstrap_objects = \ \subsection{Layer 0} -\subsubsection{Completed spad files} - -\begin{verbatim} -attreg.spad.pamphlet (ATTREG) -dhmatrix.spad.pamphlet (DHMATRIX) -omcat.spad.pamphlet (OM) -print.spad.pamphlet (PRINT) -ptranfn.spad.pamphlet (PTRANFN) -system.spad.pamphlet (MSYSCMD) -\end{verbatim} - <<layer0>>= $(OUT)/UTYPE.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) @@ -236,8 +225,6 @@ axiom_algebra_layer_0_objects = \ \subsection{Layer 1} -\subsubsection{Completed spad files} - <<layer1>>= $(OUT)/AGG.$(FASLEXT) $(OUT)/AGG-.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) @@ -278,15 +265,15 @@ axiom_algebra_layer_1_objects = \ \subsection{Layer 2} -\subsubsection{Completed spad files} - <<layer2>>= axiom_algebra_layer_2 = \ - ELTAGG ELTAGG- FMC FMFUN FORTFN FVC \ - SYNTAX FVFUN INTRET IXAGG IXAGG- SEGXCAT \ + ELTAGG ELTAGG- \ + SYNTAX INTRET IXAGG IXAGG- SEGXCAT \ CONTOUR LIST3 MKFUNC OASGP KTVLOGIC FNCAT \ IDENT +$(OUT)/ELTAGG.$(FASLEXT): $(OUT)/AGG.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/IXAGG.$(FASLEXT): $(OUT)/ELTAGG.$(FASLEXT) $(OUT)/SYNTAX.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) axiom_algebra_layer_2_nrlibs = \ @@ -299,12 +286,6 @@ axiom_algebra_layer_2_objects = \ \subsection{Layer 3} -\subsubsection{Completed spad files} - -\begin{verbatim} -grdef.spad.pamphlet (GRDEF) -\end{verbatim} - <<layer3>>= axiom_algebra_layer_3 = \ GRDEF SCOPE MAPHACK1 MAPHACK2 MAPHACK3 MAPPKG1 \ @@ -322,16 +303,6 @@ axiom_algebra_layer_3_objects = \ \subsubsection{Completed spad files} -\begin{verbatim} -annacat.spad.pamphlet (NIPROB ODEPROB PDEPROB OPTPROB NUMINT ODECAT PDECAT - OPTCAT) -color.spad.pamphlet (COLOR PALETTE) -mappkg.spad.pamphlet (MAPHACK1 MAPHACK2 MAPHACK3 MAPPKG1 MAPPKG2 MAPPKG3) -paramete.spad.pamphlet (PARPCURV PARPC2 PARSCURV PARSC2 PARSURF PARSU2 -suchthat.spad.pamphlet (SUCH) -ystream.spad.pamphlet (YSTREAM) -\end{verbatim} - <<layer4>>= axiom_algebra_layer_4 = \ ANON COMM COMPPROP ESCONT1 EXIT \ @@ -376,13 +347,6 @@ axiom_algebra_layer_5_objects = \ \subsection{Layer6} -\subsubsection{Completed spad files} - -\begin{verbatim} -fmod.spad.pamphlet (ZMOD) -sortpak.spad.pamphlet (SORTPAK) -\end{verbatim} - <<layer6>>= $(OUT)/CHARPOL.$(FASLEXT): $(OUT)/SETCAT-.$(FASLEXT) @@ -403,8 +367,6 @@ axiom_algebra_layer_6_objects = \ \subsection{Layer7} -\subsubsection{Completed spad files} - \begin{verbatim} \end{verbatim} @@ -425,13 +387,6 @@ axiom_algebra_layer_7_objects = \ \subsection{Layer8} -\subsubsection{Completed spad files} - -\begin{verbatim} -card.spad.pamphlet (CARD) -fortcat.spad.pamphlet (FORTFN FMC FORTCAT FVC FMTC FMFUN FVFUN) -\end{verbatim} - <<layer8>>= axiom_algebra_layer_8 = \ BSTREE BTOURN CARD DRAWHACK FACTFUNC FMTC \ @@ -449,16 +404,6 @@ axiom_algebra_layer_8_objects = \ \subsection{Layer9} -\subsubsection{Completed spad files} - -\begin{verbatim} -degred.spad.pamphlet (DEGRED) -indexedp.spad.pamphlet (IDPC IDPO IDPAM IDPOAM IDPOAMS IDPAG) -product.spad.pamphlet (PRODUCT) -retract.spad.pamphlet (RETRACT FRETRCT RATRET) -sf.spad.pamphlet (REAL RADCAT RNS FPS DFLOAT) -\end{verbatim} - <<layer9>>= axiom_algebra_layer_9 = \ AMR AMR- DEGRED DLP EAB ESTOOLS1 \ @@ -481,32 +426,9 @@ axiom_algebra_layer_9_objects = \ \subsection{Layer10} -\subsubsection{Completed spad files} - -\begin{verbatim} -complet.spad.pamphlet (ORDCOMP ORDCOMP2 ONECOMP ONECOMP2 INFINITY) -cra.spad.pamphlet (CRAPACK) -defaults.spad.pamphlet (REPSQ REPDB FLASORT) -drawpak.spad.pamphlet (DRAWCX) -free.spad.pamphlet (LMOPS FMONOID FGROUP FAMONC IFAMON FAMONOID FAGROUP) -fourier.spad.pamphlet (FCOMP FSERIES) -functions.spad.pamphlet (BFUNCT) -mesh.spad.pamphlet (MESH) -moebius.spad.pamphlet (MOEBIUS) -mring.spad.pamphlet (MRING MRF2) -opalg.spad.pamphlet (MODOP OP) -partperm.spad.pamphlet (PARTPERM) -pgrobner.spad.pamphlet (PGROEB) -plottool.spad.pamphlet (PLOTTOOL) -setorder.spad.pamphlet (UDPO UDVO) -sttaylor.spad.pamphlet (STTAYLOR) -tableau.spad.pamphlet (TABLBUMP TABLEAU) -viewpack.spad.pamphlet (VIEW) -\end{verbatim} - <<layer10>>= axiom_algebra_layer_10 = \ - ASP34 BFUNCT BPADIC \ + BFUNCT BPADIC \ BTREE CRAPACK DEQUEUE DLIST \ DRAWCX D01GBFA D02EJFA D03FAFA \ DRAWPT FAMR FAMR- FLASORT \ @@ -542,28 +464,6 @@ axiom_algebra_layer_10_objects = \ \subsection{Layer11} -\subsubsection{Completed spad files} - -\begin{verbatim} -array1.spad.pamphlet (PRIMARR PRIMARR2 TUPLE IFARRAY FARRAY IARRAY1 ARRAY1 - ARRAY12) -bags.spad.pamphlet (STACK ASTACK QUEUE DEQUEUE HEAP) -combinat.spad.pamphlet (COMBINAT) -ffx.spad.pamphlet (IRREDFFX) -galutil.spad.pamphlet (GALUTIL) -matstor.spad.pamphlet (MATSTOR) -ore.spad.pamphlet (OREPCAT APPLYORE AUTOMOR OREPCTO ORESUP OREUP) -plot3d.spad.pamphlet (PLOT3D) -prtition.spad.pamphlet (PRTITION SYMPOLY) -stream.spad.pamphlet (LZSTAGG CSTTOOLS STREAM STREAM1 STREAM2 STREAM3) -trigcat.spad.pamphlet (ELEMFUN AHYP ATRIG HYPCAT TRANFUN TRIGCAT PRIMCAT - LFCAT CFCAT SPFCAT) -xlpoly.spad.pamphlet (MAGMA LWORD LIECAT FLALG XEXPPKG LPOLY PBWLB XPBWPOLY - LEXP) -xpoly.spad.pamphlet (OFMONOID FMCAT FM1 XALG XFALG XPOLYC XPR XDPOLY XRPOLY - XPOLY) -\end{verbatim} - <<layer11>>= axiom_algebra_layer_11 = \ STRING \ @@ -592,11 +492,6 @@ axiom_algebra_layer_11_objects = \ \subsection{Layer12} -\subsubsection{Completed spad files} - -\begin{verbatim} -\end{verbatim} - <<layer12>>= axiom_algebra_layer_12 = \ DIOPS DIOPS- DIAGG DIAGG- BITS DIRPROD2 IMATRIX \ @@ -613,32 +508,6 @@ axiom_algebra_layer_12_objects = \ \subsection{Layer13} -\subsubsection{Completed spad files} - -\begin{verbatim} -carten.spad.pamphlet (GRMOD GRALG CARTEN CARTEN2) -catdef.spad.pamphlet (ABELGRP ABELMON ABELSG ALGEBRA BASTYPE BMODULE CABMON - CHARNZ CHARZ COMRING DIFRING DIFEXT DIVRING ENTIRER - EUCDOM FIELD FINITE FLINEXP GCDDOM GROUP INTDOM LMODULE - LINEXP MODULE MONOID OAGROUP OAMON OAMONS OASGP OCAMON - ORDFIN OINTDOM ORDMON ORDRING ORDSET PDRING PFECAT PID - RMODULE RING RNG SGROUP SETCAT STEP UFD VSPACE) -clifford.spad.pamphlet (QFORM CLIF) -clip.spad.pamphlet (CLIP) -coordsys.spad.pamphlet (COORDSYS) -dhmatrix.spad.pamphlet (DHMATRIX) -d02routine.spad.pamphlet (D02BBFA D02BHFA D02CJFA D02EJFA) -ffpoly2.spad.pamphlet (FFPOLY2) -irsn.spad.pamphlet (IRSN) -numode.spad.pamphlet (NUMODE) -numquad.spad.pamphlet (NUMQUAD) -perman.spad.pamphlet (GRAY PERMAN) -pseudolin.spad.pamphlet (PSEUDLIN) -rep2.spad.pamphlet (REP2) -sex.spad.pamphlet (SEXCAT SEXOF SEX) -solvedio.spad.pamphlet (DIOSP) -\end{verbatim} - <<layer13>>= axiom_algebra_layer_13 = \ KDAGG KDAGG- \ @@ -664,105 +533,10 @@ axiom_algebra_layer_13_objects = \ \subsection{Layer14} -\subsubsection{Completed spad files} - -\begin{verbatim} -allfact.spad.pamphlet (MRATFAC MPRFF MPCPF GENMFACT RFFACTOR SUPFRACF) -array2.spad.pamphlet (ARR2CAT IIARRAY2 IARRAY2 ARRAY2) -bezout.spad.pamphlet (BEZOUT) -boolean.spad.pamphlet (REF LOGIC BOOLEAN IBITS BITS) -brill.spad.pamphlet (BRILL) -cden.spad.pamphlet (ICDEN CDEN UPCDEN MCDEN) -contfrac.spad.pamphlet (CONTFRAC NCNTFRAC) -cycles.spad.pamphlet (CYCLES EVALCYC) -cyclotom.spad.pamphlet (CYCLOTOM) -ddfact.spad.pamphlet (DDFACT) -equation2.spad.pamphlet (EQ EQ2 FEVALAB) -error.spad.pamphlet (ERROR) -facutil.spad.pamphlet (FACUTIL PUSHVAR) -ffcat.spad.pamphlet (FPC XF FAXF DLP FFIELDC FFSLPE) -fff.spad.pamphlet (FFF) -ffhom.spad.pamphlet (FFHOM) -ffpoly.spad.pamphlet (FFPOLY) -fname.spad.pamphlet (FNCAT FNAME) -formula.spad.pamphlet (FORMULA FORMULA1) -fraction.spad.pamphlet (LO LA QFCAT QFCAT2 FRAC LPEFRAC FRAC2) -galfactu.spad.pamphlet (GALFACTU) -galpolyu.spad.pamphlet (GALPOLYU) -gb.spad.pamphlet (GB) -gbeuclid.spad.pamphlet (GBEUCLID) -gbintern.spad.pamphlet (GBINTERN) -gdirprod.spad.pamphlet (ORDFUNS ODP HDP SHDP) -geneez.spad.pamphlet (GENEEZ) -ghensel.spad.pamphlet (GHENSEL) -gpgcd.spad.pamphlet (GENPGCD) -gpol.spad.pamphlet (LAUPOL) -groebf.spad.pamphlet (GBF) -groebsol.spad.pamphlet (GROEBSOL) -intrf.spad.pamphlet (SUBRESP MONOTOOL INTHERTR INTTR INTRAT INTRF) -idecomp.spad.pamphlet (IDECOMP) -leadcdet.spad.pamphlet (LEADCDET) -lindep.spad.pamphlet (LINDEP ZLINDEP) -lingrob.spad.pamphlet (LGROBP) -listgcd.spad.pamphlet (HEUGCD) -matfuns.spad.pamphlet (IMATLIN MATCAT2 RMCAT2 IMATQF MATLIN) -mfinfact.spad.pamphlet (MFINFACT) -mlift.spad.pamphlet (MLIST) -moddfact.spad.pamphlet (MDDFACT) -modmon.spad.pamphlet (MODMON) -modring.spad.pamphlet (MODRING EMR MODFIELD) -mts.spad.pamphlet (SMTS TS) -multsqfr.spad.pamphlet (MULTSQFR) -newpoint.spad.pamphlet (PTCAT POINT COMPPROP SUBSPACE PTPACK PTFUNC2) -numtheor.spad.pamphlet (INTHEORY PNTHEORY) -npcoef.spad.pamphlet (NPCOEF) -omdev.spad.pamphlet (OMENC OMDEV OMCONN OMPKG) -omserver.spad.pamphlet (OMSERVER) -padic.spad.pamphlet (PADICCT IPADIC PADIC BPADIC PADICRC PADICRAT BPADICRT) -pdecomp.spad.pamphlet (PCOMP PDECOMP) -pfbr.spad.pamphlet (PFBRU PFBR) -pfr.spad.pamphlet (PFR PFRPAC) -pgcd.spad.pamphlet (PGCD) -pinterp.spad.pamphlet (PINTERPA PINTERP) -pleqn.spad.pamphlet (PLEQN) -poltopol.spad.pamphlet (MPC2 MPC3 POLTOPOL) -poly.spad.pamphlet (FM PR SUP SUP2 UP UP2 POLY2UP UPSQFREE PSQFR UPMP) -polycat.spad.pamphlet (AMR FAMR POLYCAT POLYLIFT UPOLYC UPOLYC2 COMMUPC) -prs.spad.pamphlet (PRS) -radix.spad.pamphlet (RADIX BINARY DECIMAL HEXADEC RADUTIL) -ratfact.spad.pamphlet (RATFACT) -rderf.spad.pamphlet (RDETR) -realzero.spad.pamphlet (REAL0) -real0q.spad.pamphlet (REAL0Q) -resring.spad.pamphlet (RESRING) -rf.spad.pamphlet (POLYCATQ RF) -solvefor.spad.pamphlet (SOLVEFOR) -solvelin.spad.pamphlet (LSMP LSMP1 LSPP) -smith.spad.pamphlet (SMITH) -sttf.spad.pamphlet (STTF STTFNC) -sturm.spad.pamphlet (SHP) -sum.spad.pamphlet (ISUMP GOSPER SUMRF) -tex.spad.pamphlet (TEX) -tree.spad.pamphlet (TREE BTCAT BTREE BSTREE BTOURN BBTREE PENDTREE) -twofact.spad.pamphlet (NORMRETR TWOFACT) -unifact.spad.pamphlet (UNIFACT) -updecomp.spad.pamphlet (UPDECOMP) -updivp.spad.pamphlet (UPDIVP) -viewDef.spad.pamphlet (VIEWDEF) -vector.spad.pamphlet (VECTCAT IVECTOR VECTOR VECTOR2 DIRPCAT DIRPROD DIRPROD2) -view2D.spad.pamphlet (GRIMAGE VIEW2D) -void.spad.pamphlet (VOID EXIT) -weier.spad.pamphlet (WEIER) -wtpol.spad.pamphlet (WP OWP) -\end{verbatim} - <<layer14>>= 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 \ + ACFS ACFS- BALFACT BEZOUT BINARY BINFILE BOUNDZRO \ BPADICRT BRILL CDEN CHVAR \ COMMUPC CONTFRAC CVMP CYCLOTOM \ CYCLES DDFACT DECIMAL DIRPROD DISPLAY DMP \ @@ -830,14 +604,6 @@ axiom_algebra_layer_14_objects = \ \subsection{Layer15} -\subsubsection{Completed spad files} - -\begin{verbatim} -dpolcat.spad.pamphlet (DVARCAT ODVAR SDVAR DPOLCAT DSMP ODPOL SDPOL) -matcat.spad.pamphlet (MATCAT RMATCAT SMATCAT) -plot.spad.pamphlet (PLOT PLOT1) -\end{verbatim} - <<layer15>>= axiom_algebra_layer_15 = \ DSMP EXPUPXS ARITY \ @@ -856,14 +622,6 @@ axiom_algebra_layer_15_objects = \ \subsection{Layer16} -\subsubsection{Completed spad files} - -\begin{verbatim} -efupxs.spad.pamphlet (EFUPXS) -lodop.spad.pamphlet (MLO OMLO NCODIV ODR DPMO DPMM) -space.spad.pamphlet (SPACEC SPACE3 TOPSP) -\end{verbatim} - <<layer16>>= axiom_algebra_layer_16 = \ DPMM EFUPXS FFINTBAS FRIDEAL OPERCAT OPERCAT- \ @@ -882,27 +640,6 @@ axiom_algebra_layer_16_objects = \ \subsection{Layer17} -\subsubsection{Completed spad files} - -\begin{verbatim} -algext.spad.pamphlet (SAE) -aggcat.spad.pamphlet (AGG HOAGG CLAGG BGAGG SKAGG QUAGG DQAGG PRQAGG DIOPS - DIAGG MDAGG SETAGG FSAGG MSETAGG OMSAGG KDAGG ELTAB - ELTAGG ISAGG TBAGG RCAGG BRAGG DLAGG URAGG STAGG LNAGG - FLAGG A1AGG ELAGG LSAGG ALAGG SRAGG BTAGG ITAGG) -aggcat2.spad.pamphlet (FLAGG2 FSAGG2) -galfact.spad.pamphlet (GALFACT) -intfact.spad.pamphlet (PRIMES IROOT INTFACT) -mathml.spad.pamphlet (MMLFORM) -padiclib.spad.pamphlet (IBPTOOLS IBACHIN PWFFINTB) -perm.spad.pamphlet (PERMCAT PERM) -permgrps.spad.pamphlet (PERMGRP PGE) -random.spad.pamphlet (RANDSRC RDIST INTBIT RIDIST RFDIST) -sgcf.spad.pamphlet (SGCF) -string.spad.pamphlet (CHAR CCLASS ISTRING STRING STRICAT) -view3D.spad.pamphlet (VIEW3D) -\end{verbatim} - <<layer17>>= axiom_algebra_layer_17 = \ CCLASS FSAGG2 GALFACT IALGFACT CTORCAT CTORCAT- \ @@ -921,15 +658,6 @@ axiom_algebra_layer_17_objects = \ \subsection{Layer18} -\subsubsection{Completed spad files} - -\begin{verbatim} -d01Package.spad.pamphlet (INTPACK) -list.spad.pamphlet (ILIST LIST LIST2 LIST3 LIST2MAP ALIST) -pf.spad.pamphlet (IPF PF) -table.spad.pamphlet (HASHTBL INTABL TABLE EQTBL STRTBL GSTBL STBL) -\end{verbatim} - <<layer18>>= axiom_algebra_layer_18 = \ INTPACK IPF CATCTOR DOMCTOR CTORCALL \ @@ -945,79 +673,9 @@ axiom_algebra_layer_18_objects = \ \subsection{Layer19} -\subsubsection{Completed spad files} - -\begin{verbatim} -acplot.spad.pamphlet (REALSOLV ACPLOT) -alql.spad.pamphlet (DLIST ICARD DBASE QEQUAT MTHING OPQUERY) -any.spad.pamphlet (NONE NONE1 ANY ANY1) -c02.spad.pamphlet (NAGC02) -c05.spad.pamphlet (NAGC05) -c06.spad.pamphlet (NAGC06) -d01routine.spad.pamphlet (D01AJFA D01AKFA D01AMFA D01APFA D01AQFA D01ALFA - D01ANFA D01ASFA D01GBFA D01FCFA) -d02Package.spad.pamphlet (ODEPACK) -d03agents.spad.pamphlet (D03AGNT) -d03Package.spad.pamphlet (PDEPACK) -drawopt.spad.pamphlet (DROPT DROPT1 DROPT0) -eigen.spad.pamphlet (EP CHARPOL) -e01.spad.pamphlet (NAGE01) -e02.spad.pamphlet (NAGE02) -e04.spad.pamphlet (NAGE04) -e04agents.spad.pamphlet (E04AGNT) -e04Package.spad.pamphlet (OPTPACK) -ffcg.spad.pamphlet (FFCGP FFCGX FFCG) -ffp.spad.pamphlet (FFP FFX IFF FF) -files.spad.pamphlet (FILECAT FILE TEXTFILE BINFILE KAFILE LIB) -float.spad.pamphlet (FLOAT) -fnla.spad.pamphlet (OSI COMM HB FNLA) -fortpak.spad.pamphlet (FCPAK1 NAGSP FORT FOP TEMUTL MCALCFN) -forttyp.spad.pamphlet (FST FT SYMTAB SYMS) -fparfrac.spad.pamphlet (FPARFRAC) -fr.spad.pamphlet (FR FRUTIL FR2) -f07.spad.pamphlet (NAGF07) -gdpoly.spad.pamphlet (GDMP DMP HDMP) -ideal.spad.pamphlet (IDEAL) -intaux.spad.pamphlet (IR IR2) -intclos.spad.pamphlet (TRIMAT IBATOOL FFINTBAS WFFINTBS NFINTBAS) -integer.spad.pamphlet (INTSLPE INT NNI PI ROMAN) -kl.spad.pamphlet (CACHSET SCACHE MKCHSET KERNEL KERNEL2) -lmdict.spad.pamphlet (LMDICT) -matrix.spad.pamphlet (IMATRIX MATRIX RMATRIX SQMATRIX) -misc.spad.pamphlet (SAOS) -mkfunc.spad.pamphlet (INFORM INFORM1 MKFUNC MKUCFUNC MKBCFUNC MKFLCFN) -modgcd.spad.pamphlet (INMODGCD) -mset.spad.pamphlet (MSET) -multpoly.spad.pamphlet (POLY POLY2 MPOLY SMP INDE) -naalgc.spad.pamphlet (MONAD MONADWU NARNG NASRING NAALG FINAALG FRNAALG) -newdata.spad.pamphlet (IPRNTPK TBCMPPK SPLNODE SPLTREE) -omerror.spad.pamphlet (OMERRK OMERR) -op.spad.pamphlet (BOP BOP1 COMMONOP) -out.spad.pamphlet (OUT SPECOUT DISPLAY) -outform.spad.pamphlet (NUMFMT OUTFORM) -patmatch1.spad.pamphlet (PATRES PATRES2 PATLRES PATMAB FPATMAB PMSYM PMKERNEL - PMDOWN PMTOOLS PMLSAGG) -pattern.spad.pamphlet (PATTERN PATTERN1 PATTERN2 PATAB) -pscat.spad.pamphlet (PSCAT UPSCAT UTSCAT ULSCAT UPXSCAT MTSCAT) -qalgset.spad.pamphlet (QALGSET QALGSET2) -reclos.spad.pamphlet (POLUTIL RRCC RCFIELD ROIRC RECLOS) -rep1.spad.pamphlet (REP1) -routines.spad.pamphlet (ROUTINE ATTRBUT) -s.spad.pamphlet (NAGS) -seg.spad.pamphlet (SEGCAT SEGXCAT SEG SEG2 SEGBIND SETBIND2 UNISEG UNISEG2 - INCRMAPS) -sets.spad.pamphlet (SET) -sups.spad.pamphlet (ISUPS) -syssolp.spad.pamphlet (SYSSOLP) -variable.spad.pamphlet (OVAR VARIABLE RULECOLD FUNCTION ANON) -\end{verbatim} - <<layer19>>= axiom_algebra_layer_19 = \ - ACPLOT ANTISYM \ - ANY ASP27 ASP28 \ - ASP33 ASP49 ASP7 \ - ASP78 ASP9 ATTRBUT \ + ACPLOT ANTISYM ANY ATTRBUT \ BOP BOP1 COMMONOP COMPCAT \ COMPCAT- DRAW DRAWCFUN DROPT \ DROPT0 D01ANFA D01ASFA D03AGNT \ @@ -1055,89 +713,10 @@ axiom_algebra_layer_19_objects = \ \subsection{Layer20} -\subsubsection{Completed spad files} - -\begin{verbatim} -algfact.spad.pamphlet (IALGFACT SAEFACT RFFACT SAERFFC ALGFACT) -algfunc.spad.pamphlet (ACF ACFS AF) -asp.spad.pamphlet (ASP1 ASP10 ASP12 ASP19 ASP20 ASP24 ASP27 ASP28 ASP29 ASP30 - ASP31 ASP33 ASP34 ASP35 ASP4 ASP41 ASP42 ASP49 ASP50 ASP55 - ASP6 ASP7 ASP73 ASP74 ASP77 ASP78 ASP8 ASP80 ASP9) -constant.spad.pamphlet (IAN AN) -cmplxrt.spad.pamphlet (CMPLXRT) -crfp.spad.pamphlet (CRFP) -curve.spad.pamphlet (FFCAT MMAP FFCAT2 CHAVAR RDFF ALGFF) -derham.spad.pamphlet (LALG EAB ANTISYM DERHAM) -draw.spad.pamphlet (DRAWCFUN DRAW DRAWCURV DRAWPT) -d01.spad.pamphlet (NAGD01) -efstruc.spad.pamphlet (SYMFUNC TANEXP EFSTRUC ITRIGMNP TRIGMNIP CTRIGMNP) -elemntry.spad.pamphlet (EF) -elfuts.spad.pamphlet (ELFUTS) -expexpan.spad.pamphlet (EXPUPXS UPXSSING EXPEXPAN) -exprode.spad.pamphlet (EXPRODE) -e04routine.spad.pamphlet (E04DFGA E04FDFA E04GCFA E04JAFA E04MBFA E04NAFA - E04UCFA) -f01.spad.pamphlet (NAGF01) -f02.spad.pamphlet (NAGF02) -f04.spad.pamphlet (NAGF04) -fortmac.spad.pamphlet (MINT MFLOAT MCMPLX) -fortran.spad.pamphlet (RESULT FC FORTRAN M3D SFORT SWITCH FTEM FEXPR) -fspace.spad.pamphlet (ES ES1 ES2 FS FS2) -fs2ups.spad.pamphlet (FS2UPS) -funcpkgs.spad.pamphlet (FSUPFACT) -gaussfac.spad.pamphlet (GAUSSFAC) -gaussian.spad.pamphlet (COMPCAT COMPLPAT CPMATCH COMPLEX COMPLEX2 COMPFACT - CINTSLPE) -generic.spad.pamphlet (GCNAALG CVMP) -genufact.spad.pamphlet (GENUFACT) -genups.spad.pamphlet (GENUPS) -infprod.spad.pamphlet (STINPROD INFPROD0 INPRODPF INPRODFF) -intaf.spad.pamphlet (INTG0 INTPAF INTAF) -intalg.spad.pamphlet (DBLRESP INTHERAL INTALG) -intef.spad.pamphlet (INTEF) -intpm.spad.pamphlet (INTPM) -kovacic.spad.pamphlet (KOVACIC) -lie.spad.pamphlet (LIE JORDAN LSQM) -liouv.spad.pamphlet (LF) -lodof.spad.pamphlet (SETMN PREASSOC ASSOCEQ LODOF) -manip.spad.pamphlet (FACTFUNC POLYROOT ALGMANIP SIMPAN TRMANIP) -multfact.spad.pamphlet (INNMFACT MULTFACT ALGMFACT) -naalg.spad.pamphlet (ALGSC SCPKG ALGPKG FRNAAF2) -newpoly.spad.pamphlet (NSUP NSUP2 RPOLCAT NSMP) -nlinsol.spad.pamphlet (RETSOL NLINSOL) -numeigen.spad.pamphlet (IFSPRMELT.oNEP NREP NCEP) -numeric.spad.pamphlet (NUMERIC DRAWHACK) -numsolve.spad.pamphlet (INFSP FLOATRP FLOATCP) -oct.spad.pamphlet (OC OCT OCTCT2) -odealg.spad.pamphlet (ODESYS ODERED ODEPAL) -openmath.spad.pamphlet (OMEXPR) -pade.spad.pamphlet (PADEPAC PADE) -patmatch2.spad.pamphlet (PMINS PMQFCAT PMPLCT PMFS PATMATCH) -pfo.spad.pamphlet (FORDER RDIV PFOTOOLS PFOQ FSRED PFO) -polset.spad.pamphlet (PSETCAT GPOLSET) -primelt.spad.pamphlet (PRIMELT FSPRMELT) -quat.spad.pamphlet (QUATCAT QUAT QUATCT2) -rdeef.spad.pamphlet (INTTOOLS RDEEF) -rdesys.spad.pamphlet (RDETRS RDEEFS) -riccati.spad.pamphlet (ODEPRRIC ODERTRIC) -rule.spad.pamphlet (RULE APPRULE RULESET) -sign.spad.pamphlet (TOOLSIGN INPSIGN SIGNRF LIMITRF) -special.spad.pamphlet (DFSFUN ORTHPOL NTPOLFN) -suts.spad.pamphlet (SUTS) -tools.spad.pamphlet (ESTOOLS ESTOOLS1 ESTOOLS2) -triset.spad.pamphlet (TSETCAT GTSET PSETPK) -tube.spad.pamphlet (TUBE TUBETOOL EXPRTUBE NUMTUBE) -utsode.spad.pamphlet (UTSODE) -\end{verbatim} - <<layer20>>= 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 \ + AF ALGFACT ALGFF ALGMANIP ALGMFACT ALGPKG \ + ALGSC AN APPRULE CINTSLPE COMPFACT COMPLEX \ COMPLPAT CMPLXRT CPMATCH CRFP \ CTRIGMNP D01WGTS D02AGNT D03EEFA \ DBLRESP DERHAM DFSFUN DRAWCURV \ @@ -1178,37 +757,6 @@ axiom_algebra_layer_20_objects = \ \subsection{Layer21} -\subsubsection{Completed spad files} - -\begin{verbatim} -cont.spad.pamphlet (ESCONT ESCONT1) -ddfact.spad.pamphlet (DDFACT) -defintef.spad.pamphlet (DEFINTEF) -defintrf.spad.pamphlet (DFINTTLS DEFINTRF) -divisor.spad.pamphlet (FRIDEAL FRIDEAL2 MHROWRED FRMOD FDIVCAT HELLFDIV FDIV - FDIV2) -d01transform.spad.pamphlet (D01TRNS) -efuls.spad.pamphlet (EFULS) -expr.spad.pamphlet (EXPR PAN2EXPR EXPR2 PMPREDFS PMASSFS PMPRED PMASS HACKPI - PICOERCE) -expr2ups.spad.pamphlet (EXPR2UPS) -fs2expxp.spad.pamphlet (FS2EXPXP) -gseries.spad.pamphlet (GSERIES) -integrat.spad.pamphlet (FSCINT FSINT) -irexpand.spad.pamphlet (IR2F IRRF2F) -laplace.spad.pamphlet (LAPLACE INVLAPLA) -laurent.spad.pamphlet (ULSCCAT ULSCONS ULS USL2) -nlode.spad.pamphlet (NODE1) -oderf.spad.pamphlet (BALFACT BOUNDZRO ODEPRIM UTSODETL ODERAT ODETOOLS ODEINT - ODECONST) -puiseux.spad.pamphlet (UPXSCCA UPXSCONS UPXS UPXS2) -radeigen.spad.pamphlet (REP) -solverad.spad.pamphlet (SOLVERAD) -suls.spad.pamphlet (SULS) -supxs.spad.pamphlet (SUPXS) -taylor.spad.pamphlet (ITAYLOR UTS UTS2) -\end{verbatim} - <<layer21>>= axiom_algebra_layer_21 = \ DEFINTEF DFINTTLS DEFINTRF D01TRNS \ @@ -1230,28 +778,9 @@ axiom_algebra_layer_21_objects = \ \subsection{Layer22} -\subsubsection{Completed spad files} - -\begin{verbatim} -asp.spad.pamphlet (ASP29) -combfunc.spad.pamphlet (COMBF) -d01agents.spad.pamphlet (D01AGNT SNTSCAT) -ffnb.spad.pamphlet (INBFF) -limitps.spad.pamphlet (SIGNEF) -lodo.spad.pamphlet (LODO LODO1 LODO2) -newpoint.spad.pamphlet (SUBSPACE) -nregset.spad.pamphlet (NTSCAT) -primelt.spad.pamphlet (FSPRMELT) -regset.spad.pamphlet (REGSET RSETGCD RSDCMPK) -sregset.spad.pamphlet (SFRTCAT SRDCMPK SREGSET) -sttf.spad.pamphlet (STTF) -transsolve.spad.pamphlet (SOLVETRA) -zerodim.spad.pamphlet (RGCHAIN ZDSOLVE) -\end{verbatim} -\subsection{Layer21} <<layer22>>= axiom_algebra_layer_22 = \ - ASP29 COMBF D01AGNT FSPRMELT \ + COMBF D01AGNT FSPRMELT \ INBFF LODO LODO1 LODO2 \ NTSCAT REGSET RGCHAIN RSETGCD \ RSDCMPK SFRTCAT SIGNEF SNTSCAT \ @@ -1268,20 +797,6 @@ axiom_algebra_layer_22_objects = \ \subsection{Final layer spad files} -These files have not yet been fully analyzed for dependencies but -have added in alphabetical order in this final layer. This -ordering is apparently adequate. - -These files all depend on layer22. -\begin{verbatim} -algcat.spad.pamphlet (CPIMA) -nregset.spad.pamphlet (NORMPK) -nsregset.spad.pamphlet (LAZM3PK) -regset.spad.pamphlet (QCMPACK) -sregset.spad.pamphlet (SFRGCD SFQCMPK) -zerodim.spad.pamphlet (LEXTRIPK IRURPK RURPK) -\end{verbatim} - <<layer23>>= axiom_algebra_layer_23 = \ CPIMA IRURPK LAZM3PK LEXTRIPK \ @@ -1310,7 +825,13 @@ axiom_algebra_layer_user = \ CASEAST HASAST ISAST CATAST WHEREAST COMMAAST \ QQUTAST DEFAST MACROAST SPADXPT SPADAST \ INBFILE OUTBFILE IOBFILE RGBCMDL RGBCSPC \ - CTOR IP4ADDR NETCLT INETCLTS + CTOR IP4ADDR NETCLT INETCLTS \ + FMC FMFUN FORTFN FVC FVFUN ASP34 \ + ASP1 ASP10 ASP24 ASP4 ASP50 ASP6 \ + ASP73 ASP27 ASP28 ASP33 ASP49 ASP7 \ + ASP78 ASP9 ASP12 ASP55 ASP8 ASP19 \ + ASP20 ASP30 ASP31 ASP35 ASP41 ASP42 \ + ASP74 ASP77 ASP80 ASP29 axiom_algebra_layer_user_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_user)) @@ -1377,6 +898,10 @@ $(OUT)/CTOR.$(FASLEXT): $(OUT)/CTORKIND.$(FASLEXT) \ $(OUT)/NETCLT.$(FASLEXT): $(OUT)/IOBCON.$(FASLEXT) $(OUT)/INETCLTS.$(FASLEXT): $(OUT)/NETCLT.$(FASLEXT) + + +$(OUT)/ASP34.$(FASLEXT): $(OUT)/FMC.$(FASLEXT) + @ \section{Broken Files} |