3 files changed, 9 insertions, 3 deletions
diff --git a/src/algebra/ffp.spad.pamphlet b/src/algebra/ffp.spad.pamphlet
index 67b32b90..c5832f93 100644
--- a/src/algebra/ffp.spad.pamphlet
+++ b/src/algebra/ffp.spad.pamphlet
@@ -35,7 +35,7 @@
 )abbrev domain FFP FiniteFieldExtensionByPolynomial
 ++ Authors: R.Sutor, J. Grabmeier, O. Gschnitzer, A. Scheerhorn
 ++ Date Created:
-++ Date Last Updated: 31 March 1991
+++ Date Last Updated: May 29, 2009
 ++ Basic Operations:
 ++ Related Constructors:
 ++ Also See: FiniteFieldCyclicGroupExtensionByPolynomial,
@@ -263,6 +263,7 @@ FiniteFieldExtensionByPolynomial(GF:FiniteFieldCategory,_
 
     characteristic() == characteristic()$GF
 
+    before?(x,y) == before?(x,y)$Rep
 @
 \section{domain FFX FiniteFieldExtension}
 <<domain FFX FiniteFieldExtension>>=
diff --git a/src/algebra/fmod.spad.pamphlet b/src/algebra/fmod.spad.pamphlet
index 5140356b..47182caf 100644
--- a/src/algebra/fmod.spad.pamphlet
+++ b/src/algebra/fmod.spad.pamphlet
@@ -14,7 +14,7 @@
 )abbrev domain ZMOD IntegerMod
 ++ Author:
 ++ Date Created:
-++ Date Last Updated:
+++ Date Last Updated: May 29, 2009
 ++ Basic Functions:
 ++ Related Constructors:
 ++ Also See:
@@ -66,6 +66,8 @@ IntegerMod(p:PositiveInteger):
        (c1, c2, g) := extendedEuclidean(x, q)$Rep
        not one? g => "failed"
        positiveRemainder(c1, q)
+    
+    before?(x,y) == before?(x,y)$Rep
 
   else
     Rep:= Integer
@@ -94,6 +96,8 @@ IntegerMod(p:PositiveInteger):
        (c1, c2, g) := extendedEuclidean(x, p)$Rep
        not one? g => "failed"
        positiveRemainder(c1, p)
+    
+    before?(x,y) == before?(x,y)$Rep
 
 @
 \section{License}
diff --git a/src/algebra/pf.spad.pamphlet b/src/algebra/pf.spad.pamphlet
index 21b8979a..611fbcff 100644
--- a/src/algebra/pf.spad.pamphlet
+++ b/src/algebra/pf.spad.pamphlet
@@ -16,7 +16,7 @@
 -- This domain does not check, PrimeField does.
 ++ Authors: N.N., J.Grabmeier, A.Scheerhorn
 ++ Date Created: ?, November 1990, 26.03.1991
-++ Date Last Updated: 12 April 1991
+++ Date Last Updated: May 29, 2009
 ++ Basic Operations:
 ++ Related Constructors: PrimeField
 ++ Also See:
@@ -191,6 +191,7 @@ InnerPrimeField(p:PositiveInteger): Exports == Implementation where
 
     charthRoot(x: %): % == x
 
+    before?(x,y) == before?(convert x, convert y)$I
 @
 \section{domain PF PrimeField}
 <<domain PF PrimeField>>=