diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-25 18:04:22 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-25 18:04:22 +0000 |
| commit | e9cb4189b0833dd88163889d9b68a00b2e15f26c (patch) | |
| tree | 1ed2443eedbd14e14b9ce6474bc9bfa1b392a3f8 /src/algebra/kl.spad.pamphlet | |
| parent | 785f36fcc98e8cbbd206342a73b274bc361508d6 (diff) | |
| download | open-axiom-e9cb4189b0833dd88163889d9b68a00b2e15f26c.tar.gz | |
* algebra/kl.spad.pamphlet (KernelFunctions2): Remove OrderedSet
requirements.
* algebra/op.spad.pamphlet (BasicOperatorFunctions1): Likewise.
Diffstat (limited to 'src/algebra/kl.spad.pamphlet')
| -rw-r--r-- | src/algebra/kl.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/kl.spad.pamphlet b/src/algebra/kl.spad.pamphlet index de767784..14077426 100644 --- a/src/algebra/kl.spad.pamphlet +++ b/src/algebra/kl.spad.pamphlet @@ -258,7 +258,7 @@ Kernel(S: SetCategory): Exports == Implementation where )abbrev package KERNEL2 KernelFunctions2 ++ Description: ++ This package exports some auxiliary functions on kernels -KernelFunctions2(R:OrderedSet, S:OrderedSet): with +KernelFunctions2(R: SetCategory, S: SetCategory): with constantKernel: R -> Kernel S ++ constantKernel(r) \undocumented constantIfCan : Kernel S -> Union(R, "failed") |