4 files changed, 7 insertions, 5 deletions
diff --git a/src/algebra/fs2ups.spad.pamphlet b/src/algebra/fs2ups.spad.pamphlet
index a27834ae..b43416e3 100644
--- a/src/algebra/fs2ups.spad.pamphlet
+++ b/src/algebra/fs2ups.spad.pamphlet
@@ -34,7 +34,7 @@ FunctionSpaceToUnivariatePowerSeries(R,FE,Expon,UPS,TRAN,x):_
   R     : Join(GcdDomain,OrderedSet,RetractableTo Integer,_
                LinearlyExplicitRingOver Integer)
   FE    : Join(AlgebraicallyClosedField,TranscendentalFunctionCategory,_
-               FunctionSpace R, CoercibleFrom Expon)
+               FunctionSpace R) with coerce: Expon -> %
   Expon : OrderedRing
   UPS   : Join(UnivariatePowerSeriesCategory(FE,Expon),Field,_
                TranscendentalFunctionCategory)
diff --git a/src/algebra/manip.spad.pamphlet b/src/algebra/manip.spad.pamphlet
index cfe3fcc6..afdb165c 100644
--- a/src/algebra/manip.spad.pamphlet
+++ b/src/algebra/manip.spad.pamphlet
@@ -67,7 +67,8 @@ PolynomialRoots(E, V, R, P, F):Exports == Implementation where
   V: OrderedSet
   R: IntegralDomain
   P: PolynomialCategory(R, E, V)
-  F: Join(Field,CoercibleFrom P) with
+  F: Field with
+    coerce: P -> %
     numer : $ -> P
 	++ numer(x) \undocumented
     denom : $ -> P
diff --git a/src/algebra/rf.spad.pamphlet b/src/algebra/rf.spad.pamphlet
index 764a50a7..c8e40f71 100644
--- a/src/algebra/rf.spad.pamphlet
+++ b/src/algebra/rf.spad.pamphlet
@@ -26,7 +26,8 @@ PolynomialCategoryQuotientFunctions(E, V, R, P, F):
   V: OrderedSet
   R: Ring
   P: PolynomialCategory(R, E, V)
-  F: Join(Field,CoercibleFrom P) with
+  F: Field with
+    coerce: P -> %
     numer : % -> P
     denom : % -> P
 
diff --git a/src/algebra/sum.spad.pamphlet b/src/algebra/sum.spad.pamphlet
index a4eef16f..e866dc11 100644
--- a/src/algebra/sum.spad.pamphlet
+++ b/src/algebra/sum.spad.pamphlet
@@ -79,8 +79,8 @@ GosperSummationMethod(E, V, R, P, Q): Exports == Impl where
     V: OrderedSet
     R: IntegralDomain
     P: PolynomialCategory(R, E, V)
-    Q: Join(RetractableTo Fraction Integer, CoercibleFrom P, Field with
-              (numer : % -> P; denom : % -> P))
+    Q: Join(RetractableTo Fraction Integer, Field with
+              (coerce: P -> %; numer : % -> P; denom : % -> P))
 
     I   ==> Integer
     RN  ==> Fraction I