diff options
author | dos-reis <gdr@axiomatics.org> | 2008-12-26 00:48:34 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-12-26 00:48:34 +0000 |
commit | fb209a840dc764bdfa285ad3cb7575df21a43289 (patch) | |
tree | 22c5f97139814096d211f26b4daa059b0d85d10b /src/algebra/term.spad.pamphlet | |
parent | a4c3f01ad687e6b8a29db845f725c00b06016f36 (diff) | |
download | open-axiom-fb209a840dc764bdfa285ad3cb7575df21a43289.tar.gz |
r12485@gauss: gdr | 2008-12-17 16:26:21 -0600
Branch to improve reflection.
r12493@gauss: gdr | 2008-12-20 23:29:51 -0600
Add domain representations for constructors.
r12494@gauss: gdr | 2008-12-21 14:27:37 -0600
Consolidate constructor domains.
r12502@gauss: gdr | 2008-12-22 20:36:21 -0600
Constructors are values.
r12504@gauss: gdr | 2008-12-25 13:58:01 -0600
r12505@gauss: gdr | 2008-12-25 18:48:04 -0600
Commit ChangeLog.
Diffstat (limited to 'src/algebra/term.spad.pamphlet')
-rw-r--r-- | src/algebra/term.spad.pamphlet | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/src/algebra/term.spad.pamphlet b/src/algebra/term.spad.pamphlet index 532bd720..ff88acfe 100644 --- a/src/algebra/term.spad.pamphlet +++ b/src/algebra/term.spad.pamphlet @@ -58,7 +58,7 @@ Arity(): Public == Private where )abbrev category OPERCAT OperatorCategory ++ Author: Gabriel Dos Reis ++ Date Created: December 04, 2008 -++ Date Last Updated: December 04, 2008 +++ Date Last Updated: December 17, 2008 ++ Description: ++ This category specifies the interface for operators used to build ++ terms, in the sense of Universal Algebra. The domain parameter S @@ -69,12 +69,6 @@ OperatorCategory(S: SetCategory): Category == ++ name(op) returns the externam name of `op'. arity: % -> Arity ++ arity(op) returns the arity of the operator `op'. - operator: S -> % - ++ operator(s) returns an operator object with external name `s', - ++ and of arbitrary arity. - operator: (S,NonNegativeInteger) -> % - ++ operator(s,n) returns an operator object with external - ++ name `s', and of arity `n'. add coerce(op: %): OutputForm == name(op)::OutputForm |