diff options
Diffstat (limited to 'src/algebra/kl.spad.pamphlet')
-rw-r--r-- | src/algebra/kl.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/kl.spad.pamphlet b/src/algebra/kl.spad.pamphlet index d07e5b90..de767784 100644 --- a/src/algebra/kl.spad.pamphlet +++ b/src/algebra/kl.spad.pamphlet @@ -19,7 +19,7 @@ ++ Description: ++ A cachable set is a set whose elements keep an integer as part ++ of their structure. -CachableSet: Category == OrderedSet with +CachableSet: Category == SetCategory with position : % -> NonNegativeInteger ++ position(x) returns the integer n associated to x. setPosition: (%, NonNegativeInteger) -> Void @@ -118,13 +118,13 @@ SortedCache(S:CachableSet): Exports == Implementation where ++ Description: ++ A kernel over a set S is an operator applied to a given list ++ of arguments from S. -Kernel(S:OrderedSet): Exports == Implementation where +Kernel(S: SetCategory): Exports == Implementation where O ==> OutputForm N ==> NonNegativeInteger OP ==> BasicOperator - Exports ==> Join(CachableSet, Patternable S) with + Exports ==> Join(CachableSet, OrderedSet, Patternable S) with name : % -> Symbol ++ name(op(a1,...,an)) returns the name of op. operator: % -> OP @@ -219,7 +219,7 @@ Kernel(S:OrderedSet): Exports == Implementation where ((func := property(operator k1, SPECIALEQUAL)) case None) and (((func@None) pretend ((%, %) -> Boolean)) (k1, k2)) => 0 for x1 in argument(k1) for x2 in argument(k2) repeat - x1 ~= x2 => return B2Z(x1 < x2) + x1 ~= x2 => return B2Z before?(x1,x2) 0 if S has ConvertibleTo InputForm then |