aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/naalgc.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-06-11 21:51:23 +0000
committerdos-reis <gdr@axiomatics.org>2009-06-11 21:51:23 +0000
commit7bd82b57975bbc1ff5b87fed0739815c620ecdcc (patch)
tree4cf4d2b4af144e87a86cc1ac2f85a5f4148cb8fb /src/algebra/naalgc.spad.pamphlet
parentfb75980589a0611aee3b8e5e25408725a5c5a531 (diff)
downloadopen-axiom-7bd82b57975bbc1ff5b87fed0739815c620ecdcc.tar.gz
* algebra/: Remove quotes from operator namaes in signatures.
Diffstat (limited to 'src/algebra/naalgc.spad.pamphlet')
-rw-r--r--src/algebra/naalgc.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/naalgc.spad.pamphlet b/src/algebra/naalgc.spad.pamphlet
index cae5d5ea..9593ca63 100644
--- a/src/algebra/naalgc.spad.pamphlet
+++ b/src/algebra/naalgc.spad.pamphlet
@@ -28,7 +28,7 @@
++ with a binary operation.
Monad(): Category == SetCategory with
--operations
- "*": (%,%) -> %
+ *: (%,%) -> %
++ a*b is the product of \spad{a} and b in a set with
++ a binary operation.
rightPower: (%,PositiveInteger) -> %
@@ -39,7 +39,7 @@ Monad(): Category == SetCategory 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,1) := a}.
- "**": (%,PositiveInteger) -> %
+ **: (%,PositiveInteger) -> %
++ a**n returns the \spad{n}-th power of \spad{a},
++ defined by repeated squaring.
add