diff options
Diffstat (limited to 'src/algebra/modmon.spad.pamphlet')
| -rw-r--r-- | src/algebra/modmon.spad.pamphlet | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/algebra/modmon.spad.pamphlet b/src/algebra/modmon.spad.pamphlet index 0d4241e2..79ad7718 100644 --- a/src/algebra/modmon.spad.pamphlet +++ b/src/algebra/modmon.spad.pamphlet @@ -21,7 +21,7 @@ ModMonic(R,Rep): C == T where R: Ring Rep: UnivariatePolynomialCategory(R) - C == UnivariatePolynomialCategory(R) with + C == Join(UnivariatePolynomialCategory(R),CoercibleFrom Rep) with --operations setPoly : Rep -> Rep ++ setPoly(x) \undocumented @@ -31,8 +31,6 @@ ModMonic(R,Rep): C == T ++ reduce(x) \undocumented lift: % -> Rep --reduce lift = identity ++ lift(x) \undocumented - coerce: Rep -> % - ++ coerce(x) \undocumented Vectorise: % -> Vector(R) ++ Vectorise(x) \undocumented UnVectorise: Vector(R) -> % |