diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-09 22:31:07 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-09 22:31:07 +0000 |
| commit | 2e9dc79676f737f2b905560a8a70d8fbed27b04a (patch) | |
| tree | d60514a4e0de2779d03b35d4441998e96f3549c4 /src/algebra/expr.spad.pamphlet | |
| parent | 4b4a0dc6ce39b7ee849f81ddf66355713f0cbf27 (diff) | |
| download | open-axiom-2e9dc79676f737f2b905560a8a70d8fbed27b04a.tar.gz | |
* algebra/term.spad.pamphlet (zero?$Arity): New.
(one?$Arity): Likewise.
* algebra/op.spad.pamphlet (BasicOperator): Now belongs to
OperatorCategory(Symbol).
(operator$BasicOperator): One more overload.
* algebra/expr.spad.pamphlet (operator$Expression): Tidy.
* algebra/fspace.spad.pamphlet (elt$ExpressionSpace): Likewise.
* algebra/kl.spad.pamphlet (kernel$Kernel): Likewise.
Diffstat (limited to 'src/algebra/expr.spad.pamphlet')
| -rw-r--r-- | src/algebra/expr.spad.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/expr.spad.pamphlet b/src/algebra/expr.spad.pamphlet index fa8cfe82..5124454a 100644 --- a/src/algebra/expr.spad.pamphlet +++ b/src/algebra/expr.spad.pamphlet @@ -231,8 +231,7 @@ Expression(R:OrderedSet): Exports == Implementation where belong?(op)$FSD => operator(op)$FSD belong?(op)$ESD => operator(op)$ESD nullary? op and has?(op, SYMBOL) => operator(kernel(name op)$K) - (n := arity op) case "failed" => operator name op - operator(name op, n::NonNegativeInteger) + operator(name op, arity op) reduc(x, l) == for k in l repeat @@ -365,8 +364,7 @@ Expression(R:OrderedSet): Exports == Implementation where belong?(op)$FSD => operator(op)$FSD belong?(op)$ESD => operator(op)$ESD nullary? op and has?(op, SYMBOL) => operator(kernel(name op)$K) - (n := arity op) case "failed" => operator name op - operator(name op, n::NonNegativeInteger) + operator(name op, arity op) if R has Ring then Rep := MP |