diff options
author | dos-reis <gdr@axiomatics.org> | 2012-02-25 02:52:24 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2012-02-25 02:52:24 +0000 |
commit | 2918e9b3cf5c5a39c85c765a79236e01a9540629 (patch) | |
tree | 1cb35fbd8df84932eb2c5b7fc452f48fe6107bb6 /src/algebra/Makefile.in | |
parent | 230e2d3f27c556cf2c61127ea8f525dc17c5aa9a (diff) | |
download | open-axiom-2918e9b3cf5c5a39c85c765a79236e01a9540629.tar.gz |
* algebra/catdef.spad.pamphlet (BinaryOperatorCategory): New.
(BinaryOperation): Likewise.
(IdempotentOperatorCategory): Likewise.
(SemiGroupOperatorCategory): Likewise.
(SemiGroupOperation): Likewise.
(MonoidOperatorCategory): Likewise.
(MonoidOperation): Likewise.
* algebra/exposed.lsp.pamphlet: Expose them.
* algebra/Makefile.in (oa_algebra_layer_0): Include IDEMOPC,
SGPOPC, SPGOP, MONOPC, BINOPC.
(axiom_algebra_layer_1): Include MONOP.
Diffstat (limited to 'src/algebra/Makefile.in')
-rw-r--r-- | src/algebra/Makefile.in | 23 |
1 files changed, 17 insertions, 6 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 7f30bb8e..0077bbde 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -1428,17 +1428,25 @@ $(OUT)/DSEXT.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) $(OUT)/PDSPC.$(FASLEXT) $(OUT)/ORDTYPE.$(FASLEXT): $(OUT)/BASTYPE.$(FASLEXT) $(OUT)/ORDSTRCT.$(FASLEXT): $(OUT)/ORDTYPE.$(FASLEXT) $(OUT)/HOMOTOP.$(FASLEXT) +$(OUT)/BINOPC.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/BINOP.$(FASLEXT): $(OUT)/BINOPC.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/IDEMOPC.$(FASLEXT): $(OUT)/BINOPC.$(FASLEXT) $(OUT)/BASTYPE.$(FASLEXT) +$(OUT)/SGPOPC.$(FASLEXT): $(OUT)/BINOPC.$(FASLEXT) $(OUT)/BASTYPE.$(FASLEXT) +$(OUT)/SGPOP.$(FASLEXT): $(OUT)/SGPOPC.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) \ + $(OUT)/BINOP.$(FASLEXT) +$(OUT)/MONOPC.$(FASLEXT): $(OUT)/SGPOPC.$(FASLEXT) + oa_algebra_layer_0 = \ AHYP ATTREG CFCAT ELTAB KOERCE KONVERT \ KRCFROM KVTFROM IEVALAB IEVALAB- EVALAB EVALAB- \ RETRACT RETRACT- SETCAT SETCAT- VOID SEGCAT \ - MSYSCMD FINITE FINITE- OUT \ + MSYSCMD FINITE FINITE- IDEMOPC OUT \ PRIMCAT PRINT PTRANFN SPFCAT TYPE UTYPE \ - BMODULE BASTYPE BASTYPE- STEP LMODULE \ + BMODULE SGPOPC BASTYPE BASTYPE- STEP LMODULE \ RMODULE ALGEBRA ALGEBRA- SGROUP SGROUP- ABELSG \ - ABELSG- ORDSET OASGP FILECAT SEXCAT \ + ABELSG- ORDSET SGPOP OASGP FILECAT SEXCAT \ MODULE MODULE- PID OAGROUP OAGROUP- OCAMON \ - OAMON OAMON- DIOID \ + OAMON OAMON- DIOID MONOPC \ RNG ORDFIN LLINSET RLINSET LINSET OAMONS \ MKBCFUNC MKRECORD MKUCFUNC DROPT1 PLOT1 ITFUN2 \ ITFUN3 STREAM1 STREAM2 STREAM3 ANY1 SEGBIND2 \ @@ -1458,7 +1466,7 @@ oa_algebra_layer_0 = \ DSEXT DSEXT- ORDTYPE ORDTYPE- ORDSTRCT \ BOOLE BOOLE- REF ALIST PRIMARR SRING \ INS INS- DIVRING DIVRING- EUCDOM EUCDOM- \ - FPS FPS- RNS RNS- \ + BINOPC BINOP FPS FPS- RNS RNS- \ POLYCAT POLYCAT- QFCAT QFCAT- \ INT NNI PI SINT SYMBOL DFLOAT @@ -1523,6 +1531,9 @@ $(OUT)/DMEXT.$(FASLEXT): $(OUT)/DSEXT.$(FASLEXT) $(OUT)/DIFFMOD.$(FASLEXT) \ $(OUT)/PDMOD.$(FASLEXT) $(OUT)/STREAM.$(FASLEXT): $(OUT)/LZSTAGG.$(FASLEXT) +$(OUT)/MONOP.$(FASLEXT): $(OUT)/MONOPC.$(FASLEXT) $(OUT)/PAIR.$(FASLEXT) \ + $(OUT)/SETCAT.$(FASLEXT) + axiom_algebra_layer_1 = \ ABELGRP ABELGRP- ABELMON ABELMON- ITUPLE \ CABMON MONOID MONOID- RING RING- COMRING \ @@ -1532,7 +1543,7 @@ axiom_algebra_layer_1 = \ IDENT OUTFORM BINDING BOOLEAN \ ORDRING FEVALAB FEVALAB- IARRAY1 \ OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \ - FIELD FIELD- VECTCAT VECTCAT- \ + FIELD FIELD- VECTCAT VECTCAT- MONOP \ PROPERTY ARITY OPERCAT OPERCAT- PAIR STREAM \ RADCAT RADCAT- PDMOD DMEXT LZSTAGG LZSTAGG- |