More algebra dependencies.

2 files changed, 56 insertions, 32 deletions

diff --git a/src/algebra/Makefile.am b/src/algebra/Makefile.am
index f0e02c0d..9093e09f 100644
--- a/src/algebra/Makefile.am
+++ b/src/algebra/Makefile.am
@@ -368,7 +368,11 @@ strap-0/SYNTAX.$(FASLEXT): strap-0/UTYPE.$(FASLEXT) \
 	strap-0/KOERCE.$(FASLEXT) strap-0/INFORM.$(FASLEXT)
 strap-0/FR.$(FASLEXT): strap-0/INTDOM.$(FASLEXT) strap-0/FUNCTOR.$(FASLEXT) \
 	strap-0/DIFEXT.$(FASLEXT) strap-0/FEVALAB.$(FASLEXT) \
-	strap-0/ALGEBRA.$(FASLEXT) strap-0/FRETRCT.$(FASLEXT)
+	strap-0/ALGEBRA.$(FASLEXT) strap-0/FRETRCT.$(FASLEXT) \
+	strap-0/GCDDOM.$(FASLEXT) strap-0/REAL.$(FASLEXT) \
+	strap-0/UFD.$(FASLEXT) strap-0/KONVERT.$(FASLEXT) \
+	strap-0/INS.$(FASLEXT) strap-0/ELTAB.$(FASLEXT) \
+	strap-0/EVALAB.$(FASLEXT) strap-0/IEVALAB.$(FASLEXT)
 
 strap-0/PATTERN.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \
 	strap-0/RETRACT.$(FASLEXT)
@@ -588,11 +592,11 @@ strap-1/TRANFUN.$(FASLEXT): strap-1/TRIGCAT.$(FASLEXT) \
 	strap-1/ATRIG.$(FASLEXT) strap-1/HYPCAT.$(FASLEXT) \
 	strap-1/AHYP.$(FASLEXT) strap-1/ELEMFUN.$(FASLEXT)
 
-strap-1/TRIGCAT.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-0/RING.$(FASLEXT)
-strap-1/ATRIG.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-0/RING.$(FASLEXT)
-strap-1/HYPCAT.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-0/RING.$(FASLEXT)
+strap-1/TRIGCAT.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT)
+strap-1/ATRIG.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT)
+strap-1/HYPCAT.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT)
 strap-1/AHYP.$(FASLEXT): strap-1/TYPE.$(FASLEXT)
-strap-1/ELEMFUN.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-0/MONOID.$(FASLEXT)
+strap-1/ELEMFUN.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-1/MONOID.$(FASLEXT)
 
 strap-1/IDPC.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) strap-1/FUNCTOR.$(FASLEXT)
 
@@ -783,7 +787,8 @@ strap-1/DFLOAT.$(FASLEXT): strap-1/FPS.$(FASLEXT) \
 
 strap-1/FLOAT.$(FASLEXT): strap-1/FPS.$(FASLEXT) \
 	strap-1/DIFRING.$(FASLEXT) strap-1/TRANFUN.$(FASLEXT) \
-	strap-1/KONVERT.$(FASLEXT) strap-1/KVTFROM.$(FASLEXT)
+	strap-1/KONVERT.$(FASLEXT) strap-1/KVTFROM.$(FASLEXT) \
+	strap-1/INT.$(FASLEXT)
 
 strap-1/SUP.$(FASLEXT): strap-1/UPOLYC.$(FASLEXT) strap-1/PR.$(FASLEXT) \
 	strap-1/FPC.$(FASLEXT) strap-1/FFIELDC.$(FASLEXT)
@@ -808,7 +813,8 @@ strap-1/MATRIX.$(FASLEXT): strap-1/MATCAT.$(FASLEXT) \
 	strap-1/IARRAY2.$(FASLEXT)
 
 strap-1/IARRAY2.$(FASLEXT): strap-1/ARR2CAT.$(FASLEXT) \
-	strap-1/PRIMARR.$(FASLEXT) strap-1/STRING.$(FASLEXT)
+	strap-1/PRIMARR.$(FASLEXT) strap-1/INT.$(FASLEXT) \
+	strap-1/FLAGG.$(FASLEXT) strap-0/STRING.$(FASLEXT) 
 
 strap-1/PRIMARR.$(FASLEXT): strap-1/A1AGG.$(FASLEXT)
 
@@ -1038,9 +1044,9 @@ 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-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/TRIGCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-2/RING.$(FASLEXT)
+strap-2/ATRIG.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-2/RING.$(FASLEXT)
+strap-2/HYPCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-2/RING.$(FASLEXT)
 strap-2/AHYP.$(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)
@@ -1122,8 +1128,9 @@ 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/FFIELDC.$(FASLEXT): strap-2/FPC.$(FASLEXT) strap-2/STEP.$(FASLEXT) \
+	strap-2/DIFRING.$(FASLEXT) strap-2/PFECAT.$(FASLEXT)
+strap-2/FPC.$(FASLEXT): strap-2/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) \
@@ -1133,8 +1140,11 @@ strap-2/IDPAM.$(FASLEXT): strap-2/ABELMON.$(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/ARRAY1.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) \
+	strap-1/PRIMARR.$(FASLEXT) strap-1/NNI.$(FASLEXT) \
+	strap-1/INT.$(FASLEXT)
+strap-2/VECTCAT.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) \
+	strap-1/INT.$(FASLEXT)
 strap-2/IARRAY1.$(FASLEXT): strap-2/A1AGG.$(FASLEXT) \
 	strap-2/PRIMARR.$(FASLEXT)
 strap-2/PRIMARR.$(FASLEXT): strap-2/A1AGG.$(FASLEXT)
@@ -1180,7 +1190,8 @@ strap-2/CCLASS.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \
 	strap-2/FSAGG.$(FASLEXT) strap-2/KONVERT.$(FASLEXT) \
 	strap-2/IBITS.$(FASLEXT)
 strap-2/TABLE.$(FASLEXT): strap-2/TBAGG.$(FASLEXT)
-strap-2/IBITS.$(FASLEXT): strap-2/BTAGG.$(FASLEXT)
+strap-2/IBITS.$(FASLEXT): strap-2/BTAGG.$(FASLEXT) \
+	strap-1/NNI.$(FASLEXT) strap-1/INT.$(FASLEXT)
 strap-2/MAYBE.$(FASLEXT): strap-2/UTYPE.$(FASLEXT) \
 	strap-2/RETRACT.$(FASLEXT) strap-2/KOERCE.$(FASLEXT) \
 	strap-2/BOOLEAN.$(FASLEXT)
@@ -1631,7 +1642,8 @@ $(OUT)/DFLOAT.$(FASLEXT): $(OUT)/FPS.$(FASLEXT) \
 	$(OUT)/DIFRING.$(FASLEXT) $(OUT)/TRANFUN.$(FASLEXT) \
 	$(OUT)/KONVERT.$(FASLEXT)
 
-$(OUT)/TRANFUN.$(FASLEXT): strap-2/TRIGCAT.$(FASLEXT) \
+$(OUT)/TRANFUN.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/FIELD.$(FASLEXT) \
+	strap-2/TRIGCAT.$(FASLEXT) \
 	strap-2/ATRIG.$(FASLEXT) strap-2/HYPCAT.$(FASLEXT) \
 	strap-2/AHYP.$(FASLEXT) strap-2/ELEMFUN.$(FASLEXT)
 
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in
index d9d30fe6..f2b64692 100644
--- a/src/algebra/Makefile.in
+++ b/src/algebra/Makefile.in
@@ -1880,7 +1880,11 @@ strap-0/SYNTAX.$(FASLEXT): strap-0/UTYPE.$(FASLEXT) \
 	strap-0/KOERCE.$(FASLEXT) strap-0/INFORM.$(FASLEXT)
 strap-0/FR.$(FASLEXT): strap-0/INTDOM.$(FASLEXT) strap-0/FUNCTOR.$(FASLEXT) \
 	strap-0/DIFEXT.$(FASLEXT) strap-0/FEVALAB.$(FASLEXT) \
-	strap-0/ALGEBRA.$(FASLEXT) strap-0/FRETRCT.$(FASLEXT)
+	strap-0/ALGEBRA.$(FASLEXT) strap-0/FRETRCT.$(FASLEXT) \
+	strap-0/GCDDOM.$(FASLEXT) strap-0/REAL.$(FASLEXT) \
+	strap-0/UFD.$(FASLEXT) strap-0/KONVERT.$(FASLEXT) \
+	strap-0/INS.$(FASLEXT) strap-0/ELTAB.$(FASLEXT) \
+	strap-0/EVALAB.$(FASLEXT) strap-0/IEVALAB.$(FASLEXT)
 
 strap-0/PATTERN.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \
 	strap-0/RETRACT.$(FASLEXT)
@@ -2100,11 +2104,11 @@ strap-1/TRANFUN.$(FASLEXT): strap-1/TRIGCAT.$(FASLEXT) \
 	strap-1/ATRIG.$(FASLEXT) strap-1/HYPCAT.$(FASLEXT) \
 	strap-1/AHYP.$(FASLEXT) strap-1/ELEMFUN.$(FASLEXT)
 
-strap-1/TRIGCAT.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-0/RING.$(FASLEXT)
-strap-1/ATRIG.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-0/RING.$(FASLEXT)
-strap-1/HYPCAT.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-0/RING.$(FASLEXT)
+strap-1/TRIGCAT.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT)
+strap-1/ATRIG.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT)
+strap-1/HYPCAT.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT)
 strap-1/AHYP.$(FASLEXT): strap-1/TYPE.$(FASLEXT)
-strap-1/ELEMFUN.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-0/MONOID.$(FASLEXT)
+strap-1/ELEMFUN.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-1/MONOID.$(FASLEXT)
 
 strap-1/IDPC.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) strap-1/FUNCTOR.$(FASLEXT)
 
@@ -2295,7 +2299,8 @@ strap-1/DFLOAT.$(FASLEXT): strap-1/FPS.$(FASLEXT) \
 
 strap-1/FLOAT.$(FASLEXT): strap-1/FPS.$(FASLEXT) \
 	strap-1/DIFRING.$(FASLEXT) strap-1/TRANFUN.$(FASLEXT) \
-	strap-1/KONVERT.$(FASLEXT) strap-1/KVTFROM.$(FASLEXT)
+	strap-1/KONVERT.$(FASLEXT) strap-1/KVTFROM.$(FASLEXT) \
+	strap-1/INT.$(FASLEXT)
 
 strap-1/SUP.$(FASLEXT): strap-1/UPOLYC.$(FASLEXT) strap-1/PR.$(FASLEXT) \
 	strap-1/FPC.$(FASLEXT) strap-1/FFIELDC.$(FASLEXT)
@@ -2320,7 +2325,8 @@ strap-1/MATRIX.$(FASLEXT): strap-1/MATCAT.$(FASLEXT) \
 	strap-1/IARRAY2.$(FASLEXT)
 
 strap-1/IARRAY2.$(FASLEXT): strap-1/ARR2CAT.$(FASLEXT) \
-	strap-1/PRIMARR.$(FASLEXT) strap-1/STRING.$(FASLEXT)
+	strap-1/PRIMARR.$(FASLEXT) strap-1/INT.$(FASLEXT) \
+	strap-1/FLAGG.$(FASLEXT) strap-0/STRING.$(FASLEXT) 
 
 strap-1/PRIMARR.$(FASLEXT): strap-1/A1AGG.$(FASLEXT)
 
@@ -2550,9 +2556,9 @@ 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-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/TRIGCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-2/RING.$(FASLEXT)
+strap-2/ATRIG.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-2/RING.$(FASLEXT)
+strap-2/HYPCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-2/RING.$(FASLEXT)
 strap-2/AHYP.$(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)
@@ -2634,8 +2640,9 @@ 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/FFIELDC.$(FASLEXT): strap-2/FPC.$(FASLEXT) strap-2/STEP.$(FASLEXT) \
+	strap-2/DIFRING.$(FASLEXT) strap-2/PFECAT.$(FASLEXT)
+strap-2/FPC.$(FASLEXT): strap-2/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) \
@@ -2645,8 +2652,11 @@ strap-2/IDPAM.$(FASLEXT): strap-2/ABELMON.$(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/ARRAY1.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) \
+	strap-1/PRIMARR.$(FASLEXT) strap-1/NNI.$(FASLEXT) \
+	strap-1/INT.$(FASLEXT)
+strap-2/VECTCAT.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) \
+	strap-1/INT.$(FASLEXT)
 strap-2/IARRAY1.$(FASLEXT): strap-2/A1AGG.$(FASLEXT) \
 	strap-2/PRIMARR.$(FASLEXT)
 strap-2/PRIMARR.$(FASLEXT): strap-2/A1AGG.$(FASLEXT)
@@ -2692,7 +2702,8 @@ strap-2/CCLASS.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \
 	strap-2/FSAGG.$(FASLEXT) strap-2/KONVERT.$(FASLEXT) \
 	strap-2/IBITS.$(FASLEXT)
 strap-2/TABLE.$(FASLEXT): strap-2/TBAGG.$(FASLEXT)
-strap-2/IBITS.$(FASLEXT): strap-2/BTAGG.$(FASLEXT)
+strap-2/IBITS.$(FASLEXT): strap-2/BTAGG.$(FASLEXT) \
+	strap-1/NNI.$(FASLEXT) strap-1/INT.$(FASLEXT)
 strap-2/MAYBE.$(FASLEXT): strap-2/UTYPE.$(FASLEXT) \
 	strap-2/RETRACT.$(FASLEXT) strap-2/KOERCE.$(FASLEXT) \
 	strap-2/BOOLEAN.$(FASLEXT)
@@ -3010,7 +3021,8 @@ $(OUT)/DFLOAT.$(FASLEXT): $(OUT)/FPS.$(FASLEXT) \
 	$(OUT)/DIFRING.$(FASLEXT) $(OUT)/TRANFUN.$(FASLEXT) \
 	$(OUT)/KONVERT.$(FASLEXT)
 
-$(OUT)/TRANFUN.$(FASLEXT): strap-2/TRIGCAT.$(FASLEXT) \
+$(OUT)/TRANFUN.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/FIELD.$(FASLEXT) \
+	strap-2/TRIGCAT.$(FASLEXT) \
 	strap-2/ATRIG.$(FASLEXT) strap-2/HYPCAT.$(FASLEXT) \
 	strap-2/AHYP.$(FASLEXT) strap-2/ELEMFUN.$(FASLEXT)