diff options
Diffstat (limited to 'src/algebra/sum.spad.pamphlet')
| -rw-r--r-- | src/algebra/sum.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/sum.spad.pamphlet b/src/algebra/sum.spad.pamphlet index e866dc11..a4eef16f 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, Field with - (coerce: P -> %; numer : % -> P; denom : % -> P)) + Q: Join(RetractableTo Fraction Integer, CoercibleFrom P, Field with + (numer : % -> P; denom : % -> P)) I ==> Integer RN ==> Fraction I |