aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/sum.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/sum.spad.pamphlet')
-rw-r--r--src/algebra/sum.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
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