aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/ore.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/ore.spad.pamphlet')
-rw-r--r--src/algebra/ore.spad.pamphlet4
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)