2 files changed, 40 insertions, 14 deletions
diff --git a/src/algebra/Makefile.am b/src/algebra/Makefile.am
index e6f5a1f4..f0e02c0d 100644
--- a/src/algebra/Makefile.am
+++ b/src/algebra/Makefile.am
@@ -306,7 +306,7 @@ strap-0/IXAGG.$(FASLEXT): strap-0/HOAGG.$(FASLEXT) \
 strap-0/HOAGG.$(FASLEXT): strap-0/AGG.$(FASLEXT) strap-0/FUNCTOR.$(FASLEXT) \
 	strap-0/KOERCE.$(FASLEXT) strap-0/BASTYPE.$(FASLEXT) \
 	strap-0/SETCAT.$(FASLEXT) strap-0/EVALAB.$(FASLEXT)
-strap-0/SETAGG.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+strap-0/SETAGG.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) strap-0/CLAGG.$(FASLEXT)
 strap-0/AGG.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
 strap-0/ELTAGG.$(FASLEXT): strap-0/AGG.$(FASLEXT) strap-0/ELTAB.$(FASLEXT)
 strap-0/ELTAB.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
@@ -574,11 +574,13 @@ strap-1/DIFEXT.$(FASLEXT): strap-1/DSEXT.$(FASLEXT) \
 strap-1/DIFRING.$(FASLEXT): strap-1/RING.$(FASLEXT) \
 	strap-1/DIFFSPC.$(FASLEXT)
 
-strap-1/DIFFSPC.$(FASLEXT): strap-1/DIFFDOM.$(FASLEXT)
+strap-1/DIFFSPC.$(FASLEXT): strap-1/DIFFDOM.$(FASLEXT) \
+	strap-0/NNI.$(FASLEXT)
 
 strap-1/PDRING.$(FASLEXT): strap-1/PDSPC.$(FASLEXT)
 
-strap-1/PDSPC.$(FASLEXT): strap-1/PDDOM.$(FASLEXT)
+strap-1/PDSPC.$(FASLEXT): strap-1/PDDOM.$(FASLEXT) \
+	strap-0/NNI.$(FASLEXT)
 
 strap-1/PDDOM.$(FASLEXT): strap-1/TYPE.$(FASLEXT)
 
@@ -656,7 +658,15 @@ strap-1/BTAGG.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \
 strap-1/FSAGG.$(FASLEXT): strap-1/KDAGG.$(FASLEXT) \
 	strap-1/SETAGG.$(FASLEXT) strap-1/FINAGG.$(FASLEXT)
 
-strap-1/KDAGG.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+strap-1/KDAGG.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
+	strap-1/DIAGG.$(FASLEXT) strap-1/IXAGG.$(FASLEXT) \
+	strap-1/SMAGG.$(FASLEXT)
+
+strap-1/DIAGG.$(FASLEXT): strap-1/DIOPS.$(FASLEXT)
+
+strap-1/DIOPS.$(FASLEXT): strap-1/BGAGG.$(FASLEXT) strap-1/CLAGG.$(FASLEXT)
+
+strap-1/BGAGG.$(FASLEXT): strap-1/SMAGG.$(FASLEXT)
 
 strap-1/LSAGG.$(FASLEXT): strap-1/STAGG.$(FASLEXT) \
 	strap-1/FLAGG.$(FASLEXT) strap-1/ELAGG.$(FASLEXT)
@@ -963,13 +973,15 @@ strap-2/DIVRING.$(FASLEXT): strap-2/ENTIRER.$(FASLEXT) \
 strap-2/FIELD.$(FASLEXT): strap-2/EUCDOM.$(FASLEXT) \
 	strap-2/UFD.$(FASLEXT) strap-2/DIVRING.$(FASLEXT)
 strap-2/DIFFDOM.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
-strap-2/DIFFSPC.$(FASLEXT): strap-2/DIFFDOM.$(FASLEXT)
+strap-2/DIFFSPC.$(FASLEXT): strap-2/DIFFDOM.$(FASLEXT) \
+	strap-1/NNI.$(FASLEXT)
 strap-2/DIFRING.$(FASLEXT): strap-2/RING.$(FASLEXT) \
 	strap-2/DIFFSPC.$(FASLEXT)
 strap-2/DSEXT.$(FASLEXT): strap-2/DIFFSPC.$(FASLEXT) \
 	strap-2/PDSPC.$(FASLEXT)
 strap-2/PDDOM.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
-strap-2/PDSPC.$(FASLEXT): strap-2/PDDOM.$(FASLEXT)
+strap-2/PDSPC.$(FASLEXT): strap-2/PDDOM.$(FASLEXT) \
+	strap-1/NNI.$(FASLEXT)
 strap-2/PDRING.$(FASLEXT): strap-2/PDSPC.$(FASLEXT)
 strap-2/PDRING.$(FASLEXT): strap-2/PDSPC.$(FASLEXT)
 strap-2/DIFEXT.$(FASLEXT): strap-2/DSEXT.$(FASLEXT) \
@@ -1601,7 +1613,8 @@ $(OUT)/AMR.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/OAMON.$(FASLEXT) \
 	$(OUT)/ALGEBRA.$(FASLEXT) $(OUT)/CHARZ.$(FASLEXT) \
 	$(OUT)/CHARNZ.$(FASLEXT) $(OUT)/INTDOM.$(FASLEXT)
 
-$(OUT)/FRETRCT.$(FASLEXT): $(OUT)/RETRACT.$(FASLEXT)
+$(OUT)/FRETRCT.$(FASLEXT): $(OUT)/RETRACT.$(FASLEXT) \
+	strap-2/INT.$(FASLEXT) strap-2/FRAC.$(FASLEXT)
 
 $(OUT)/FLINEXP.$(FASLEXT): $(OUT)/LINEXP.$(FASLEXT) \
 	strap-2/MATRIX.$(FASLEXT)
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in
index 27580997..d9d30fe6 100644
--- a/src/algebra/Makefile.in
+++ b/src/algebra/Makefile.in
@@ -1818,7 +1818,7 @@ strap-0/IXAGG.$(FASLEXT): strap-0/HOAGG.$(FASLEXT) \
 strap-0/HOAGG.$(FASLEXT): strap-0/AGG.$(FASLEXT) strap-0/FUNCTOR.$(FASLEXT) \
 	strap-0/KOERCE.$(FASLEXT) strap-0/BASTYPE.$(FASLEXT) \
 	strap-0/SETCAT.$(FASLEXT) strap-0/EVALAB.$(FASLEXT)
-strap-0/SETAGG.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+strap-0/SETAGG.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) strap-0/CLAGG.$(FASLEXT)
 strap-0/AGG.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
 strap-0/ELTAGG.$(FASLEXT): strap-0/AGG.$(FASLEXT) strap-0/ELTAB.$(FASLEXT)
 strap-0/ELTAB.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
@@ -2086,11 +2086,13 @@ strap-1/DIFEXT.$(FASLEXT): strap-1/DSEXT.$(FASLEXT) \
 strap-1/DIFRING.$(FASLEXT): strap-1/RING.$(FASLEXT) \
 	strap-1/DIFFSPC.$(FASLEXT)
 
-strap-1/DIFFSPC.$(FASLEXT): strap-1/DIFFDOM.$(FASLEXT)
+strap-1/DIFFSPC.$(FASLEXT): strap-1/DIFFDOM.$(FASLEXT) \
+	strap-0/NNI.$(FASLEXT)
 
 strap-1/PDRING.$(FASLEXT): strap-1/PDSPC.$(FASLEXT)
 
-strap-1/PDSPC.$(FASLEXT): strap-1/PDDOM.$(FASLEXT)
+strap-1/PDSPC.$(FASLEXT): strap-1/PDDOM.$(FASLEXT) \
+	strap-0/NNI.$(FASLEXT)
 
 strap-1/PDDOM.$(FASLEXT): strap-1/TYPE.$(FASLEXT)
 
@@ -2168,7 +2170,15 @@ strap-1/BTAGG.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \
 strap-1/FSAGG.$(FASLEXT): strap-1/KDAGG.$(FASLEXT) \
 	strap-1/SETAGG.$(FASLEXT) strap-1/FINAGG.$(FASLEXT)
 
-strap-1/KDAGG.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+strap-1/KDAGG.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
+	strap-1/DIAGG.$(FASLEXT) strap-1/IXAGG.$(FASLEXT) \
+	strap-1/SMAGG.$(FASLEXT)
+
+strap-1/DIAGG.$(FASLEXT): strap-1/DIOPS.$(FASLEXT)
+
+strap-1/DIOPS.$(FASLEXT): strap-1/BGAGG.$(FASLEXT) strap-1/CLAGG.$(FASLEXT)
+
+strap-1/BGAGG.$(FASLEXT): strap-1/SMAGG.$(FASLEXT)
 
 strap-1/LSAGG.$(FASLEXT): strap-1/STAGG.$(FASLEXT) \
 	strap-1/FLAGG.$(FASLEXT) strap-1/ELAGG.$(FASLEXT)
@@ -2475,13 +2485,15 @@ strap-2/DIVRING.$(FASLEXT): strap-2/ENTIRER.$(FASLEXT) \
 strap-2/FIELD.$(FASLEXT): strap-2/EUCDOM.$(FASLEXT) \
 	strap-2/UFD.$(FASLEXT) strap-2/DIVRING.$(FASLEXT)
 strap-2/DIFFDOM.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
-strap-2/DIFFSPC.$(FASLEXT): strap-2/DIFFDOM.$(FASLEXT)
+strap-2/DIFFSPC.$(FASLEXT): strap-2/DIFFDOM.$(FASLEXT) \
+	strap-1/NNI.$(FASLEXT)
 strap-2/DIFRING.$(FASLEXT): strap-2/RING.$(FASLEXT) \
 	strap-2/DIFFSPC.$(FASLEXT)
 strap-2/DSEXT.$(FASLEXT): strap-2/DIFFSPC.$(FASLEXT) \
 	strap-2/PDSPC.$(FASLEXT)
 strap-2/PDDOM.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
-strap-2/PDSPC.$(FASLEXT): strap-2/PDDOM.$(FASLEXT)
+strap-2/PDSPC.$(FASLEXT): strap-2/PDDOM.$(FASLEXT) \
+	strap-1/NNI.$(FASLEXT)
 strap-2/PDRING.$(FASLEXT): strap-2/PDSPC.$(FASLEXT)
 strap-2/PDRING.$(FASLEXT): strap-2/PDSPC.$(FASLEXT)
 strap-2/DIFEXT.$(FASLEXT): strap-2/DSEXT.$(FASLEXT) \
@@ -2980,7 +2992,8 @@ $(OUT)/AMR.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/OAMON.$(FASLEXT) \
 	$(OUT)/ALGEBRA.$(FASLEXT) $(OUT)/CHARZ.$(FASLEXT) \
 	$(OUT)/CHARNZ.$(FASLEXT) $(OUT)/INTDOM.$(FASLEXT)
 
-$(OUT)/FRETRCT.$(FASLEXT): $(OUT)/RETRACT.$(FASLEXT)
+$(OUT)/FRETRCT.$(FASLEXT): $(OUT)/RETRACT.$(FASLEXT) \
+	strap-2/INT.$(FASLEXT) strap-2/FRAC.$(FASLEXT)
 
 $(OUT)/FLINEXP.$(FASLEXT): $(OUT)/LINEXP.$(FASLEXT) \
 	strap-2/MATRIX.$(FASLEXT)