diff options
Diffstat (limited to 'src/algebra/poly.spad.pamphlet')
| -rw-r--r-- | src/algebra/poly.spad.pamphlet | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/algebra/poly.spad.pamphlet b/src/algebra/poly.spad.pamphlet index 9cdc6ad8..ff21510e 100644 --- a/src/algebra/poly.spad.pamphlet +++ b/src/algebra/poly.spad.pamphlet @@ -785,9 +785,7 @@ SparseUnivariatePolynomialFunctions2(R:Ring, S:Ring): with ++ Note: if the coefficient ring is a field, then this domain forms a euclidean domain. UnivariatePolynomial(x:Symbol, R:Ring): - UnivariatePolynomialCategory(R) with - coerce: Variable(x) -> % - ++ coerce(x) converts the variable x to a univariate polynomial. + Join(UnivariatePolynomialCategory(R),CoercibleFrom Variable x) with fmecg: (%,NonNegativeInteger,R,%) -> % ++ fmecg(p1,e,r,p2) finds X : p1 - r * X**e * p2 == SparseUnivariatePolynomial(R) add |