diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-22 08:25:59 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-22 08:25:59 -0800 |
| commit | 7b6b9b1e80d0fe90a9009864f107735d244aa0d7 (patch) | |
| tree | f1c17e82882d683f13a60ba64ae75f14ec4b529a /src/algebra/naalgc.spad.pamphlet | |
| parent | bb57192d02a82f2236857bcbd2accca4f01f4395 (diff) | |
| download | open-axiom-7b6b9b1e80d0fe90a9009864f107735d244aa0d7.tar.gz | |
Remove antiquated syntax for operator declaration.
Diffstat (limited to 'src/algebra/naalgc.spad.pamphlet')
| -rw-r--r-- | src/algebra/naalgc.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/naalgc.spad.pamphlet b/src/algebra/naalgc.spad.pamphlet index 3f85f7ef..145580f9 100644 --- a/src/algebra/naalgc.spad.pamphlet +++ b/src/algebra/naalgc.spad.pamphlet @@ -93,7 +93,7 @@ MonadWithUnit(): Category == Monad with ++ leftPower(a,n) returns the \spad{n}-th left power of \spad{a}, ++ i.e. \spad{leftPower(a,n) := a * leftPower(a,n-1)} and ++ \spad{leftPower(a,0) := 1}. - "**": (%,NonNegativeInteger) -> % + **: (%,NonNegativeInteger) -> % ++ \spad{a**n} returns the \spad{n}-th power of \spad{a}, ++ defined by repeated squaring. recip: % -> Union(%,"failed") |