aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/rf.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/rf.spad.pamphlet')
-rw-r--r--src/algebra/rf.spad.pamphlet3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/rf.spad.pamphlet b/src/algebra/rf.spad.pamphlet
index c8e40f71..764a50a7 100644
--- a/src/algebra/rf.spad.pamphlet
+++ b/src/algebra/rf.spad.pamphlet
@@ -26,8 +26,7 @@ PolynomialCategoryQuotientFunctions(E, V, R, P, F):
V: OrderedSet
R: Ring
P: PolynomialCategory(R, E, V)
- F: Field with
- coerce: P -> %
+ F: Join(Field,CoercibleFrom P) with
numer : % -> P
denom : % -> P