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.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/ore.spad.pamphlet b/src/algebra/ore.spad.pamphlet
index 4542935d..126af607 100644
--- a/src/algebra/ore.spad.pamphlet
+++ b/src/algebra/ore.spad.pamphlet
@@ -307,7 +307,7 @@ Automorphism(R:Ring): Join(Group, Eltable(R, R)) with
1 == ident
err r == error "Morphism is not invertible"
ident(r, n) == r
- f = g == EQ(f, g)$Lisp
+ f = g == %peq(f,g)$Foreign(Builtin)
elt(f, r) == apply(f, r, 1)
inv f == apply(f, #1, - #2)
(f: %) ** (n: Integer) == apply(f, #1, n * #2)