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 2eee8450..37f1babe 100644 --- a/src/algebra/naalgc.spad.pamphlet +++ b/src/algebra/naalgc.spad.pamphlet @@ -119,12 +119,12 @@ MonadWithUnit(): Category == Monad with x:% ** n:NonNegativeInteger == zero? n => 1 expt(x,n pretend PositiveInteger) - rightPower(a,n) == + rightPower(a: %,n: NonNegativeInteger) == zero? n => 1 res := 1 for i in 1..n repeat res := res * a res - leftPower(a,n) == + leftPower(a: %,n: NonNegativeInteger) == zero? n => 1 res := 1 for i in 1..n repeat res := a * res |