diff options
Diffstat (limited to 'src/algebra/ore.spad.pamphlet')
| -rw-r--r-- | src/algebra/ore.spad.pamphlet | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/algebra/ore.spad.pamphlet b/src/algebra/ore.spad.pamphlet index 3e2f769c..87268627 100644 --- a/src/algebra/ore.spad.pamphlet +++ b/src/algebra/ore.spad.pamphlet @@ -506,9 +506,7 @@ SparseUnivariateSkewPolynomial(R:Ring, sigma:Automorphism R, delta: R -> R): ++ coefficient field in a named variable. ++ The multiplication is given by \spad{x a = \sigma(a) x + \delta a}. UnivariateSkewPolynomial(x:Symbol, R:Ring, sigma:Automorphism R, delta: R -> R): - UnivariateSkewPolynomialCategory R with - coerce: Variable x -> % - ++ coerce(x) returns x as a skew-polynomial. + Join(UnivariateSkewPolynomialCategory R,CoercibleFrom Variable x) == SparseUnivariateSkewPolynomial(R, sigma, delta) add Rep := SparseUnivariateSkewPolynomial(R, sigma, delta) coerce(v:Variable(x)):% == monomial(1, 1) |