From 1ed74da03b758f49e7aa31dc1ac8a8a0860467ab Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 16 Jun 2010 15:22:19 +0000
Subject: 	* algebra/catdef.spad.pamphlet (DifferentialRing): Now extends
 	DifferentialSpace.

---
 src/algebra/Makefile.pamphlet | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

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

diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index 0019edc1..c5618b5a 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -135,7 +135,7 @@ axiom_algebra_bootstrap = \
   ABELGRP  ABELGRP- ABELMON  ABELMON- \
   ABELSG   ABELSG-  ALAGG    BOOLEAN  \
   CABMON   CHAR     CLAGG    CLAGG-   \
-  COMRING  DFLOAT   DIFRING  DIFRING- \
+  COMRING  DFLOAT   DIFRING           \
   DIVRING  DIVRING- ENTIRER           \
            EUCDOM   EUCDOM-  FFIELDC  \
   FFIELDC- FPS      FPS-     GCDDOM   \
@@ -213,11 +213,12 @@ $(OUT)/FLAGG.$(FASLEXT): $(OUT)/BMODULE.$(FASLEXT) $(OUT)/PID.$(FASLEXT) \
 	$(OUT)/OAGROUP.$(FASLEXT) $(OUT)/RETRACT.$(FASLEXT) \
 	$(OUT)/LINEXP.$(FASLEXT) $(OUT)/PATMAB.$(FASLEXT) \
 	$(OUT)/REAL.$(FASLEXT) $(OUT)/CHARZ.$(FASLEXT) \
-	$(OUT)/DIFFDOM.$(FASLEXT)
+	$(OUT)/DIFFSPC.$(FASLEXT)
 $(OUT)/A1AGG.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/LOGIC.$(FASLEXT) \
 	$(OUT)/FLAGG.$(FASLEXT) $(OUT)/LOGIC-.$(FASLEXT)
 $(OUT)/SRAGG.$(FASLEXT): $(OUT)/A1AGG.$(FASLEXT)
-$(OUT)/ISTRING.$(FASLEXT): $(OUT)/SRAGG.$(FASLEXT) $(OUT)/DIFFDOM-.$(FASLEXT)
+$(OUT)/ISTRING.$(FASLEXT): $(OUT)/SRAGG.$(FASLEXT) \
+	$(OUT)/DIFFSPC-.$(FASLEXT) $(OUT)/DIFFDOM-.$(FASLEXT)
 $(OUT)/STAGG.$(FASLEXT): $(OUT)/URAGG.$(FASLEXT) $(OUT)/LNAGG.$(FASLEXT)
 $(OUT)/LNAGG.$(FASLEXT): $(OUT)/SEGCAT.$(FASLEXT)
 $(OUT)/SEGCAT.$(FASLEXT): $(OUT)/KRCFROM.$(FASLEXT)
@@ -378,11 +379,12 @@ $(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)
+$(OUT)/DIFRING.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT)
 
 axiom_algebra_layer_1 = \
   ABELGRP  ABELGRP- ABELMON  ABELMON- FORTCAT   ITUPLE   \
   CABMON   MONOID   MONOID-  RING     RING-     COMRING  \
-  DIFRING  DIFRING- ENTIRER  INTDOM   INTDOM-   OINTDOM  \
+  DIFRING           ENTIRER  INTDOM   INTDOM-   OINTDOM  \
   GCDDOM   GCDDOM-  UFD      UFD-     ES        ES-      \
   PATAB    PPCURVE  PSCURVE  CACHSET  RESLATC   REF      \
   IDENT             BINDING  ALIST    BOOLEAN   PRIMARR  \
-- 
cgit v1.2.3