2 files changed, 59 insertions, 16 deletions

diff --git a/src/algebra/Makefile.am b/src/algebra/Makefile.am
index ac17cfc8..2445be95 100644
--- a/src/algebra/Makefile.am
+++ b/src/algebra/Makefile.am
@@ -596,6 +596,10 @@ strap-1/QFCAT.$(FASLEXT): strap-1/FIELD.$(FASLEXT) \
 	strap-1/CHARNZ.$(FASLEXT) strap-1/EUCDOM.$(FASLEXT) \
 	strap-1/PFECAT.$(FASLEXT)
 
+strap-1/FEVALAB.$(FASLEXT): strap-1/FUNCTOR.$(FASLEXT) \
+	strap-1/EVALAB.$(FASLEXT) strap-1/IEVALAB.$(FASLEXT) \
+	strap-1/ELTAB.$(FASLEXT)
+
 strap-1/FPATMAB.$(FASLEXT): strap-1/PATMAB.$(FASLEXT)
 
 strap-1/PATAB.$(FASLEXT): strap-1/KONVERT.$(FASLEXT)
@@ -616,6 +620,8 @@ 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/LSAGG.$(FASLEXT): strap-1/STAGG.$(FASLEXT) \
 	strap-1/FLAGG.$(FASLEXT) strap-1/ELAGG.$(FASLEXT)
 
@@ -794,7 +800,7 @@ strap-2/KONVERT.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
 strap-2/RETRACT.$(FASLEXT): strap-2/KRCFROM.$(FASLEXT)
 strap-2/BASTYPE.$(FASLEXT): strap-2/TYPE.$(FASLEXT) \
 	strap-1/BOOLEAN.$(FASLEXT)
-strap-2/FRETRCT.$(FASLEXT): strap-2/RETRACT.$(FASLEXT)
+strap-2/FRETRCT.$(FASLEXT): strap-2/RETRACT.$(FASLEXT) strap-1/INS.$(FASLEXT)
 strap-2/SETCAT.$(FASLEXT): strap-2/BASTYPE.$(FASLEXT) \
 	strap-2/KOERCE.$(FASLEXT) strap-1/SINT.$(FASLEXT)
 strap-2/FINITE.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
@@ -900,6 +906,7 @@ strap-2/RNS.$(FASLEXT): strap-2/FIELD.$(FASLEXT) strap-2/ORDRING.$(FASLEXT) \
 	strap-2/RETRACT.$(FASLEXT) strap-2/RADCAT.$(FASLEXT) \
 	strap-2/KONVERT.$(FASLEXT) strap-2/PATMAB.$(FASLEXT) \
 	strap-2/CHARZ.$(FASLEXT)
+strap-2/RADCAT.$(FASLEXT): strap-1/INS.$(FASLEXT)
 strap-2/PFECAT.$(FASLEXT): strap-2/UFD.$(FASLEXT) strap-2/CHARZ.$(FASLEXT)
 strap-2/QFCAT.$(FASLEXT): strap-2/FIELD.$(FASLEXT) \
 	strap-2/ALGEBRA.$(FASLEXT) strap-2/RETRACT.$(FASLEXT) \
@@ -911,6 +918,10 @@ strap-2/QFCAT.$(FASLEXT): strap-2/FIELD.$(FASLEXT) \
 	strap-2/CHARNZ.$(FASLEXT) strap-2/EUCDOM.$(FASLEXT) \
 	strap-2/PFECAT.$(FASLEXT)
 
+strap-2/FEVALAB.$(FASLEXT): strap-2/FUNCTOR.$(FASLEXT) \
+	strap-2/EVALAB.$(FASLEXT) strap-2/IEVALAB.$(FASLEXT) \
+	strap-2/ELTAB.$(FASLEXT)
+
 strap-2/CHARNZ.$(FASLEXT): strap-2/RING.$(FASLEXT)
 
 strap-2/FPATMAB.$(FASLEXT): strap-2/PATMAB.$(FASLEXT)
@@ -922,11 +933,11 @@ strap-2/FLINEXP.$(FASLEXT): strap-2/LINEXP.$(FASLEXT)
 strap-2/TRANFUN.$(FASLEXT): strap-2/TRIGCAT.$(FASLEXT) \
 	strap-2/ATRIG.$(FASLEXT) strap-2/HYPCAT.$(FASLEXT) \
 	strap-2/AHYP.$(FASLEXT) strap-2/ELEMFUN.$(FASLEXT)
-strap-2/TRIGCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
-strap-2/ATRIG.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
-strap-2/HYPCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+strap-2/TRIGCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT)
+strap-2/ATRIG.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT)
+strap-2/HYPCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT)
 strap-2/AHYP.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
-strap-2/ELEMFUN.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+strap-2/ELEMFUN.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/MONOID.$(FASLEXT)
 strap-2/IDPC.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) strap-2/FUNCTOR.$(FASLEXT)
 strap-2/AMR.$(FASLEXT): strap-2/RING.$(FASLEXT) strap-2/BMODULE.$(FASLEXT) \
 	strap-2/ALGEBRA.$(FASLEXT) strap-2/FIELD.$(FASLEXT) \
@@ -974,11 +985,11 @@ strap-2/HOAGG.$(FASLEXT): strap-2/AGG.$(FASLEXT) strap-2/FUNCTOR.$(FASLEXT) \
 	strap-2/KOERCE.$(FASLEXT) strap-2/BASTYPE.$(FASLEXT) \
 	strap-2/SETCAT.$(FASLEXT) strap-2/EVALAB.$(FASLEXT)
 strap-2/SETAGG.$(FASLEXT): strap-2/CLAGG.$(FASLEXT) strap-2/SETCAT.$(FASLEXT)
-strap-2/AGG.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+strap-2/AGG.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/INS.$(FASLEXT)
 strap-2/ELTAGG.$(FASLEXT): strap-2/AGG.$(FASLEXT) strap-2/ELTAB.$(FASLEXT)
 strap-2/ELTAB.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
 strap-2/EVALAB.$(FASLEXT): strap-2/IEVALAB.$(FASLEXT)
-strap-2/IEVALAB.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+strap-2/IEVALAB.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
 strap-2/SEXCAT.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \
 	strap-2/KVTFROM.$(FASLEXT) strap-2/ELTAB.$(FASLEXT)
 strap-2/MATCAT.$(FASLEXT): strap-2/ARR2CAT.$(FASLEXT) \
@@ -1003,14 +1014,19 @@ strap-2/FLOAT.$(FASLEXT): strap-2/FPS.$(FASLEXT) \
 	strap-2/KONVERT.$(FASLEXT) strap-2/KVTFROM.$(FASLEXT)
 strap-2/SUP.$(FASLEXT): strap-2/UPOLYC.$(FASLEXT) strap-2/PR.$(FASLEXT) \
 	strap-2/FPC.$(FASLEXT) strap-2/FFIELDC.$(FASLEXT)
+strap-2/FFIELDC.$(FASLEXT): strap-1/FPC.$(FASLEXT)
+strap-2/FPC.$(FASLEXT): strap-1/FIELD.$(FASLEXT)
 strap-2/PR.$(FASLEXT): strap-2/FAMR.$(FASLEXT) strap-2/FM.$(FASLEXT)
 strap-2/FM.$(FASLEXT): strap-2/IDPAG.$(FASLEXT)
 strap-2/IDPAG.$(FASLEXT): strap-2/ABELGRP.$(FASLEXT) \
 	strap-2/IDPAM.$(FASLEXT)
 strap-2/IDPAM.$(FASLEXT): strap-2/ABELMON.$(FASLEXT)  \
 	strap-2/IDPC.$(FASLEXT) strap-2/IDPO.$(FASLEXT)
+strap-2/IDPO.$(FASLEXT): strap-2/IDPC.$(FASLEXT)
 strap-2/VECTOR.$(FASLEXT): strap-2/VECTCAT.$(FASLEXT) \
 	strap-2/ARRAY1.$(FASLEXT)
+strap-2/ARRAY1.$(FASLEXT): strap-1/A1AGG.$(FASLEXT)
+strap-2/VECTCAT.$(FASLEXT): strap-1/A1AGG.$(FASLEXT)
 strap-2/IARRAY1.$(FASLEXT): strap-2/A1AGG.$(FASLEXT) \
 	strap-2/PRIMARR.$(FASLEXT)
 strap-2/PRIMARR.$(FASLEXT): strap-2/A1AGG.$(FASLEXT)
@@ -1057,6 +1073,9 @@ strap-2/BOOLEAN.$(FASLEXT): strap-2/PROPLOG.$(FASLEXT) \
 	strap-2/ORDFIN.$(FASLEXT) strap-2/KONVERT.$(FASLEXT) \
 	strap-1/PI.$(FASLEXT)
 
+strap-2/BTAGG.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \
+	strap-1/BOOLE.$(FASLEXT) strap-1/LOGIC.$(FASLEXT) \
+	strap-1/A1AGG.$(FASLEXT)
 
 #
 #
@@ -1224,10 +1243,12 @@ $(OUT)/SINT.$(FASLEXT): $(OUT)/INT.$(FASLEXT)
 $(OUT)/NNI.$(FASLEXT): $(OUT)/INT.$(FASLEXT)
 $(OUT)/PI.$(FASLEXT): $(OUT)/NNI.$(FASLEXT)
 
-$(OUT)/IEVALAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT)
+$(OUT)/IEVALAB.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT)
 $(OUT)/EVALAB.$(FASLEXT): $(OUT)/IEVALAB.$(FASLEXT)
 $(OUT)/ELTAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT)
 
+$(OUT)/SETCAT.$(FASLEXT): $(OUT)/BASTYPE.$(FASLEXT)
+
 $(OUT)/UTYPE.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT)
 $(OUT)/AHYP.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT)
 $(OUT)/PRIMCAT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT)
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in
index 7a96f77e..44cbb2de 100644
--- a/src/algebra/Makefile.in
+++ b/src/algebra/Makefile.in
@@ -2102,6 +2102,10 @@ strap-1/QFCAT.$(FASLEXT): strap-1/FIELD.$(FASLEXT) \
 	strap-1/CHARNZ.$(FASLEXT) strap-1/EUCDOM.$(FASLEXT) \
 	strap-1/PFECAT.$(FASLEXT)
 
+strap-1/FEVALAB.$(FASLEXT): strap-1/FUNCTOR.$(FASLEXT) \
+	strap-1/EVALAB.$(FASLEXT) strap-1/IEVALAB.$(FASLEXT) \
+	strap-1/ELTAB.$(FASLEXT)
+
 strap-1/FPATMAB.$(FASLEXT): strap-1/PATMAB.$(FASLEXT)
 
 strap-1/PATAB.$(FASLEXT): strap-1/KONVERT.$(FASLEXT)
@@ -2122,6 +2126,8 @@ 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/LSAGG.$(FASLEXT): strap-1/STAGG.$(FASLEXT) \
 	strap-1/FLAGG.$(FASLEXT) strap-1/ELAGG.$(FASLEXT)
 
@@ -2300,7 +2306,7 @@ strap-2/KONVERT.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
 strap-2/RETRACT.$(FASLEXT): strap-2/KRCFROM.$(FASLEXT)
 strap-2/BASTYPE.$(FASLEXT): strap-2/TYPE.$(FASLEXT) \
 	strap-1/BOOLEAN.$(FASLEXT)
-strap-2/FRETRCT.$(FASLEXT): strap-2/RETRACT.$(FASLEXT)
+strap-2/FRETRCT.$(FASLEXT): strap-2/RETRACT.$(FASLEXT) strap-1/INS.$(FASLEXT)
 strap-2/SETCAT.$(FASLEXT): strap-2/BASTYPE.$(FASLEXT) \
 	strap-2/KOERCE.$(FASLEXT) strap-1/SINT.$(FASLEXT)
 strap-2/FINITE.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
@@ -2406,6 +2412,7 @@ strap-2/RNS.$(FASLEXT): strap-2/FIELD.$(FASLEXT) strap-2/ORDRING.$(FASLEXT) \
 	strap-2/RETRACT.$(FASLEXT) strap-2/RADCAT.$(FASLEXT) \
 	strap-2/KONVERT.$(FASLEXT) strap-2/PATMAB.$(FASLEXT) \
 	strap-2/CHARZ.$(FASLEXT)
+strap-2/RADCAT.$(FASLEXT): strap-1/INS.$(FASLEXT)
 strap-2/PFECAT.$(FASLEXT): strap-2/UFD.$(FASLEXT) strap-2/CHARZ.$(FASLEXT)
 strap-2/QFCAT.$(FASLEXT): strap-2/FIELD.$(FASLEXT) \
 	strap-2/ALGEBRA.$(FASLEXT) strap-2/RETRACT.$(FASLEXT) \
@@ -2417,6 +2424,10 @@ strap-2/QFCAT.$(FASLEXT): strap-2/FIELD.$(FASLEXT) \
 	strap-2/CHARNZ.$(FASLEXT) strap-2/EUCDOM.$(FASLEXT) \
 	strap-2/PFECAT.$(FASLEXT)
 
+strap-2/FEVALAB.$(FASLEXT): strap-2/FUNCTOR.$(FASLEXT) \
+	strap-2/EVALAB.$(FASLEXT) strap-2/IEVALAB.$(FASLEXT) \
+	strap-2/ELTAB.$(FASLEXT)
+
 strap-2/CHARNZ.$(FASLEXT): strap-2/RING.$(FASLEXT)
 
 strap-2/FPATMAB.$(FASLEXT): strap-2/PATMAB.$(FASLEXT)
@@ -2428,11 +2439,11 @@ strap-2/FLINEXP.$(FASLEXT): strap-2/LINEXP.$(FASLEXT)
 strap-2/TRANFUN.$(FASLEXT): strap-2/TRIGCAT.$(FASLEXT) \
 	strap-2/ATRIG.$(FASLEXT) strap-2/HYPCAT.$(FASLEXT) \
 	strap-2/AHYP.$(FASLEXT) strap-2/ELEMFUN.$(FASLEXT)
-strap-2/TRIGCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
-strap-2/ATRIG.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
-strap-2/HYPCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+strap-2/TRIGCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT)
+strap-2/ATRIG.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT)
+strap-2/HYPCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT)
 strap-2/AHYP.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
-strap-2/ELEMFUN.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+strap-2/ELEMFUN.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/MONOID.$(FASLEXT)
 strap-2/IDPC.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) strap-2/FUNCTOR.$(FASLEXT)
 strap-2/AMR.$(FASLEXT): strap-2/RING.$(FASLEXT) strap-2/BMODULE.$(FASLEXT) \
 	strap-2/ALGEBRA.$(FASLEXT) strap-2/FIELD.$(FASLEXT) \
@@ -2480,11 +2491,11 @@ strap-2/HOAGG.$(FASLEXT): strap-2/AGG.$(FASLEXT) strap-2/FUNCTOR.$(FASLEXT) \
 	strap-2/KOERCE.$(FASLEXT) strap-2/BASTYPE.$(FASLEXT) \
 	strap-2/SETCAT.$(FASLEXT) strap-2/EVALAB.$(FASLEXT)
 strap-2/SETAGG.$(FASLEXT): strap-2/CLAGG.$(FASLEXT) strap-2/SETCAT.$(FASLEXT)
-strap-2/AGG.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+strap-2/AGG.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/INS.$(FASLEXT)
 strap-2/ELTAGG.$(FASLEXT): strap-2/AGG.$(FASLEXT) strap-2/ELTAB.$(FASLEXT)
 strap-2/ELTAB.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
 strap-2/EVALAB.$(FASLEXT): strap-2/IEVALAB.$(FASLEXT)
-strap-2/IEVALAB.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+strap-2/IEVALAB.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
 strap-2/SEXCAT.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \
 	strap-2/KVTFROM.$(FASLEXT) strap-2/ELTAB.$(FASLEXT)
 strap-2/MATCAT.$(FASLEXT): strap-2/ARR2CAT.$(FASLEXT) \
@@ -2509,14 +2520,19 @@ strap-2/FLOAT.$(FASLEXT): strap-2/FPS.$(FASLEXT) \
 	strap-2/KONVERT.$(FASLEXT) strap-2/KVTFROM.$(FASLEXT)
 strap-2/SUP.$(FASLEXT): strap-2/UPOLYC.$(FASLEXT) strap-2/PR.$(FASLEXT) \
 	strap-2/FPC.$(FASLEXT) strap-2/FFIELDC.$(FASLEXT)
+strap-2/FFIELDC.$(FASLEXT): strap-1/FPC.$(FASLEXT)
+strap-2/FPC.$(FASLEXT): strap-1/FIELD.$(FASLEXT)
 strap-2/PR.$(FASLEXT): strap-2/FAMR.$(FASLEXT) strap-2/FM.$(FASLEXT)
 strap-2/FM.$(FASLEXT): strap-2/IDPAG.$(FASLEXT)
 strap-2/IDPAG.$(FASLEXT): strap-2/ABELGRP.$(FASLEXT) \
 	strap-2/IDPAM.$(FASLEXT)
 strap-2/IDPAM.$(FASLEXT): strap-2/ABELMON.$(FASLEXT)  \
 	strap-2/IDPC.$(FASLEXT) strap-2/IDPO.$(FASLEXT)
+strap-2/IDPO.$(FASLEXT): strap-2/IDPC.$(FASLEXT)
 strap-2/VECTOR.$(FASLEXT): strap-2/VECTCAT.$(FASLEXT) \
 	strap-2/ARRAY1.$(FASLEXT)
+strap-2/ARRAY1.$(FASLEXT): strap-1/A1AGG.$(FASLEXT)
+strap-2/VECTCAT.$(FASLEXT): strap-1/A1AGG.$(FASLEXT)
 strap-2/IARRAY1.$(FASLEXT): strap-2/A1AGG.$(FASLEXT) \
 	strap-2/PRIMARR.$(FASLEXT)
 strap-2/PRIMARR.$(FASLEXT): strap-2/A1AGG.$(FASLEXT)
@@ -2563,6 +2579,10 @@ strap-2/BOOLEAN.$(FASLEXT): strap-2/PROPLOG.$(FASLEXT) \
 	strap-2/ORDFIN.$(FASLEXT) strap-2/KONVERT.$(FASLEXT) \
 	strap-1/PI.$(FASLEXT)
 
+strap-2/BTAGG.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \
+	strap-1/BOOLE.$(FASLEXT) strap-1/LOGIC.$(FASLEXT) \
+	strap-1/A1AGG.$(FASLEXT)
+
 #
 #
 
@@ -2597,10 +2617,12 @@ $(OUT)/SINT.$(FASLEXT): $(OUT)/INT.$(FASLEXT)
 $(OUT)/NNI.$(FASLEXT): $(OUT)/INT.$(FASLEXT)
 $(OUT)/PI.$(FASLEXT): $(OUT)/NNI.$(FASLEXT)
 
-$(OUT)/IEVALAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT)
+$(OUT)/IEVALAB.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT)
 $(OUT)/EVALAB.$(FASLEXT): $(OUT)/IEVALAB.$(FASLEXT)
 $(OUT)/ELTAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT)
 
+$(OUT)/SETCAT.$(FASLEXT): $(OUT)/BASTYPE.$(FASLEXT)
+
 $(OUT)/UTYPE.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT)
 $(OUT)/AHYP.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT)
 $(OUT)/PRIMCAT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT)