aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/exposed.lsp.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-12-09 16:14:56 +0000
committerdos-reis <gdr@axiomatics.org>2008-12-09 16:14:56 +0000
commit8f409fc75c64b9c486ec74419de9785c00629a17 (patch)
treefda5668068185bc6ef2e6b337094e89868716c62 /src/algebra/exposed.lsp.pamphlet
parent3351c2b4a9ce2106178bd1eae40b7559b03ba621 (diff)
downloadopen-axiom-8f409fc75c64b9c486ec74419de9785c00629a17.tar.gz
* algebra/term.spad.pamphlet: New. Implement Arity and
OperatorCategory. * algebra/Makefile.pamphlet (axiom_algebra_layer_15): Include ARITY. (axiom_algebra_layer_16): Include OPERCAT. * share/algebra: Update databases.
Diffstat (limited to 'src/algebra/exposed.lsp.pamphlet')
-rw-r--r--src/algebra/exposed.lsp.pamphlet2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet
index 42325b06..4193cb77 100644
--- a/src/algebra/exposed.lsp.pamphlet
+++ b/src/algebra/exposed.lsp.pamphlet
@@ -60,6 +60,7 @@
(|AlgebraGivenByStructuralConstants| . ALGSC)
(|Any| . ANY)
(|AnyFunctions1| . ANY1)
+ (|Arity| . ARITY)
(|ArrayStack| . ASTACK)
(|AssociatedJordanAlgebra| . JORDAN)
(|AssociatedLieAlgebra| . LIE)
@@ -703,6 +704,7 @@
(|OctonionCategory| . OC)
(|OneDimensionalArrayAggregate| . A1AGG)
(|OpenMath| . OM)
+ (|OperatorCategory| . OPERCAT)
(|OrderedAbelianGroup| . OAGROUP)
(|OrderedAbelianMonoid| . OAMON)
(|OrderedAbelianMonoidSup| . OAMONS)