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