diff options
author | dos-reis <gdr@axiomatics.org> | 2009-05-31 20:49:02 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-05-31 20:49:02 +0000 |
commit | 803d7a62fb91bb4083a0aaaaa20749574292e967 (patch) | |
tree | 96fa55d12fe4f5e203c239e140f533b7a2824852 /src/algebra/term.spad.pamphlet | |
parent | 748e67afa492ccf46498cfa33541327aa11ad584 (diff) | |
download | open-axiom-803d7a62fb91bb4083a0aaaaa20749574292e967.tar.gz |
* algebra/term.spad.pamphlet (is?$OperatorCategory): New.
* algebra/op.spad.pamphlet (BasicOperator): Don't export is? here.
Inherit it from OperatorCategory Symbol.
* algebra/catdef.spad.pamphlet (LeftLinearSet): New category.
(RightLinearSet): Likewise.
(LinearSet): Likewise.
(AbelianGroup): Extend LeftLinearSet Integer.
(LeftModule): Extend LeftLinearSet R.
(Module): Extend LinearSet R.
(RightModule): Extend RightLinearSet R.
* algebra/exposed.lsp.pamphlet: Expose LeftLinearSet,
RightLinearSet, and LinearSet.
* algebra/Makefile.pamphlet: Tidy.
Diffstat (limited to 'src/algebra/term.spad.pamphlet')
-rw-r--r-- | src/algebra/term.spad.pamphlet | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/algebra/term.spad.pamphlet b/src/algebra/term.spad.pamphlet index 6a9071c7..da897986 100644 --- a/src/algebra/term.spad.pamphlet +++ b/src/algebra/term.spad.pamphlet @@ -72,12 +72,15 @@ Arity(): Public == Private where OperatorCategory(S: SetCategory): Category == SetCategory with name: % -> S - ++ name(op) returns the externam name of `op'. + ++ \spad{name(op)} returns the externam name of \spad{op}. arity: % -> Arity - ++ arity(op) returns the arity of the operator `op'. + ++ \spad{arity(op)} returns the arity of the operator \spad{op}. + is?: (%,S) -> Boolean + ++ \spad{is?(op,n)} holds if the name of the operator \spad{op} + ++ is \spad{n}. add coerce(op: %): OutputForm == name(op)::OutputForm - + is?(op,n) == name op = n @ |