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/kl.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/kl.spad.pamphlet')
-rw-r--r-- | src/algebra/kl.spad.pamphlet | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/algebra/kl.spad.pamphlet b/src/algebra/kl.spad.pamphlet index e4091c90..9180b693 100644 --- a/src/algebra/kl.spad.pamphlet +++ b/src/algebra/kl.spad.pamphlet @@ -147,7 +147,7 @@ MakeCachableSet(S:SetCategory): Exports == Implementation where ++ Operators applied to elements of a set ++ Author: Manuel Bronstein ++ Date Created: 22 March 1988 -++ Date Last Updated: 10 August 1994 +++ Date Last Updated: May 09, 2009 ++ Description: ++ A kernel over a set S is an operator applied to a given list ++ of arguments from S. @@ -230,8 +230,7 @@ Kernel(S:OrderedSet): Exports == Implementation where k1.posit < k2.posit kernel(fn, x, n) == - ((u := arity fn) case N) and (#x ~= u::N) - => error "Wrong number of arguments" + (#x)::Arity ~= arity fn => error "Wrong number of arguments" enterInCache([fn, x, n, 0]$Rep, triage) -- SPECIALDISP contains a map List S -> OutputForm @@ -308,6 +307,8 @@ KernelFunctions2(R:OrderedSet, S:OrderedSet): with <<license>>= --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. --All rights reserved. +--Copyright (C) 2007-2009, Gabriel Dos Reis. +--All rights reserved. -- --Redistribution and use in source and binary forms, with or without --modification, are permitted provided that the following conditions are |