From dd55b5ac1701d057ec49a45bfbc790f628757b52 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Fri, 5 Dec 2008 07:38:09 +0000 Subject: r12404@gauss: gdr | 2008-12-04 21:21:54 -0600 Branch for fixing CoercibleFrom changes. r12405@gauss: gdr | 2008-12-05 01:34:50 -0600 * algebra/fs2ups.spad.pamphlet (FunctionSpaceToUnivariatePowerSeries): Revert previous requirement change on parameter. * algebra/manip.spad.pamphlet (PolynomialRoots): Likewise. * algebra/rf.spad.pamphlet (PolynomialCategoryQuotientFunctions): Likewise. * algebra/sum.spad.pamphlet (GosperSummationMethod): Likewise. * share/algebra: Update databases. --- src/algebra/rf.spad.pamphlet | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/algebra/rf.spad.pamphlet') 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 -- cgit v1.2.3