diff options
Diffstat (limited to 'src/algebra/naalgc.spad.pamphlet')
-rw-r--r-- | src/algebra/naalgc.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/naalgc.spad.pamphlet b/src/algebra/naalgc.spad.pamphlet index c256691a..ce4b81ef 100644 --- a/src/algebra/naalgc.spad.pamphlet +++ b/src/algebra/naalgc.spad.pamphlet @@ -119,12 +119,12 @@ MonadWithUnit(): Category == Monad with expt(x,n pretend PositiveInteger) rightPower(a: %,n: NonNegativeInteger) == zero? n => 1 - res := 1 + res: % := 1 for i in 1..n repeat res := res * a res leftPower(a: %,n: NonNegativeInteger) == zero? n => 1 - res := 1 + res: % := 1 for i in 1..n repeat res := a * res res |