diff options
Diffstat (limited to 'src/algebra/ore.spad.pamphlet')
| -rw-r--r-- | src/algebra/ore.spad.pamphlet | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/algebra/ore.spad.pamphlet b/src/algebra/ore.spad.pamphlet index 9617f107..3e2f769c 100644 --- a/src/algebra/ore.spad.pamphlet +++ b/src/algebra/ore.spad.pamphlet @@ -275,6 +275,8 @@ ApplyUnivariateSkewPolynomial(R:Ring, M: LeftModule R, @ \section{domain AUTOMOR Automorphism} <<domain AUTOMOR Automorphism>>= +import Integer +import NonNegativeInteger )abbrev domain AUTOMOR Automorphism ++ Author: Manuel Bronstein ++ Date Created: 31 January 1994 @@ -308,7 +310,7 @@ Automorphism(R:Ring): Join(Group, Eltable(R, R)) with f = g == EQ(f, g)$Lisp elt(f, r) == apply(f, r, 1) inv f == apply(f, #1, - #2) - f ** n == apply(f, #1, n * #2) + (f: %) ** (n: Integer) == apply(f, #1, n * #2) coerce(f:%):OutputForm == message("R -> R") morphism(f:(R, Integer) -> R):% == f morphism(f:R -> R):% == morphism(f, err) |