diff options
author | dos-reis <gdr@axiomatics.org> | 2009-06-11 21:51:23 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-06-11 21:51:23 +0000 |
commit | 7bd82b57975bbc1ff5b87fed0739815c620ecdcc (patch) | |
tree | 4cf4d2b4af144e87a86cc1ac2f85a5f4148cb8fb /src/algebra/sex.spad.pamphlet | |
parent | fb75980589a0611aee3b8e5e25408725a5c5a531 (diff) | |
download | open-axiom-7bd82b57975bbc1ff5b87fed0739815c620ecdcc.tar.gz |
* algebra/: Remove quotes from operator namaes in signatures.
Diffstat (limited to 'src/algebra/sex.spad.pamphlet')
-rw-r--r-- | src/algebra/sex.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/sex.spad.pamphlet b/src/algebra/sex.spad.pamphlet index f5776682..42dfb0c9 100644 --- a/src/algebra/sex.spad.pamphlet +++ b/src/algebra/sex.spad.pamphlet @@ -70,7 +70,7 @@ SExpressionCategory(Str, Sym, Int, Flt, Expr): Category == Decl where ++ car((a1,...,an)) returns a1. cdr: % -> % ++ cdr((a1,...,an)) returns \spad{(a2,...,an)}. - "#": % -> Integer + #: % -> Integer ++ #((a1,...,an)) returns n. elt: (%, Integer) -> % ++ elt((a1,...,an), i) returns \spad{ai}. |