aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/opalg.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/opalg.spad.pamphlet')
-rw-r--r--src/algebra/opalg.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/opalg.spad.pamphlet b/src/algebra/opalg.spad.pamphlet
index 759f9136..4c7a08fe 100644
--- a/src/algebra/opalg.spad.pamphlet
+++ b/src/algebra/opalg.spad.pamphlet
@@ -103,7 +103,7 @@ ModuleOperator(R: Ring, M:LeftModule(R)): Exports == Implementation where
x:$ ** i:Integer ==
i = 0 => 1
- i > 0 => expt(x,i pretend PositiveInteger)$RepeatedSquaring($)
+ positive? i => expt(x,i pretend PositiveInteger)$RepeatedSquaring($)
(inv(retract(x)@TERM)) ** (-i)
evaluateInverse(f, g) ==
@@ -171,7 +171,7 @@ ModuleOperator(R: Ring, M:LeftModule(R)): Exports == Implementation where
for rec in reverse! factors m repeat
e := rec.exp
g := rec.gen
- e > 0 =>
+ positive? e =>
for i in 1..e repeat r := opeval(g, r)
negative? e =>
for i in 1..(-e) repeat r := opInvEval(g, r)