diff options
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") |