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/op.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/op.spad.pamphlet')
-rw-r--r-- | src/algebra/op.spad.pamphlet | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/algebra/op.spad.pamphlet b/src/algebra/op.spad.pamphlet index a467dd0e..09fba256 100644 --- a/src/algebra/op.spad.pamphlet +++ b/src/algebra/op.spad.pamphlet @@ -78,8 +78,6 @@ BasicOperator(): Exports == Implementation where input : $ -> Union(List SEX -> SEX, "failed") ++ input(op) returns the "%input" property of op if ++ it has one attached, "failed" otherwise. - is? : ($, Symbol) -> Boolean - ++ is?(op, s) tests if the name of op is s. has? : (%, Identifier) -> Boolean ++ \spad{has?(op,p)} tests if property \spad{s} is attached to \spad{op}. assert : (%, Identifier) -> $ |