From 2918e9b3cf5c5a39c85c765a79236e01a9540629 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sat, 25 Feb 2012 02:52:24 +0000 Subject: * 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. --- src/algebra/Makefile.in | 23 +++++++++++++++++------ 1 file changed, 17 insertions(+), 6 deletions(-) (limited to 'src/algebra/Makefile.in') 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- -- cgit v1.2.3