diff options
Diffstat (limited to 'src/algebra/manip.spad.pamphlet')
| -rw-r--r-- | src/algebra/manip.spad.pamphlet | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/algebra/manip.spad.pamphlet b/src/algebra/manip.spad.pamphlet index 83657f90..cfe3fcc6 100644 --- a/src/algebra/manip.spad.pamphlet +++ b/src/algebra/manip.spad.pamphlet @@ -67,13 +67,11 @@ PolynomialRoots(E, V, R, P, F):Exports == Implementation where V: OrderedSet R: IntegralDomain P: PolynomialCategory(R, E, V) - F: Field with + F: Join(Field,CoercibleFrom P) with numer : $ -> P ++ numer(x) \undocumented denom : $ -> P ++ denom(x) \undocumented - coerce: P -> $ - ++ coerce(p) \undocumented N ==> NonNegativeInteger Z ==> Integer |