diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-13 13:21:47 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-13 13:21:47 +0000 |
| commit | 73b7a18b6957e3d880ac2850117fca6d402c1186 (patch) | |
| tree | 5d177b2d0e8c069f222f39bb9664c25d09a476f5 /src/algebra/kl.spad.pamphlet | |
| parent | c84e0cd0c4f99d9fe869cb58bd51eeec7f52ef93 (diff) | |
| download | open-axiom-73b7a18b6957e3d880ac2850117fca6d402c1186.tar.gz | |
* configure.ac.pamphlet: Disable use of libtool to build shared
libraries.
* config: Update autotools to newer versions.
src/
* algebra/kl.spad.pamphlet (MakeCachableSet): Remove.
* algebra/Makefile.pamphlet (axiom_algebra_layer_6): Don't build it.
Diffstat (limited to 'src/algebra/kl.spad.pamphlet')
| -rw-r--r-- | src/algebra/kl.spad.pamphlet | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/src/algebra/kl.spad.pamphlet b/src/algebra/kl.spad.pamphlet index d365fb44..f9b26e86 100644 --- a/src/algebra/kl.spad.pamphlet +++ b/src/algebra/kl.spad.pamphlet @@ -106,41 +106,7 @@ SortedCache(S:CachableSet): Exports == Implementation where x @ -\section{domain MKCHSET MakeCachableSet} -<<domain MKCHSET MakeCachableSet>>= -)abbrev domain MKCHSET MakeCachableSet -++ Make a cachable set from any set -++ Author: Manuel Bronstein -++ Date Created: ??? -++ Date Last Updated: 14 May 1991 -++ Description: -++ MakeCachableSet(S) returns a cachable set which is equal to S as a set. -MakeCachableSet(S:SetCategory): Exports == Implementation where - Exports == Join(CachableSet, HomotopicTo S) - Implementation == add - import SortedCache(%) - - Rep := Record(setpart: S, pos: NonNegativeInteger) - clearCache() - - position x == x.pos - setPosition(x, n) == (x.pos := n; void) - coerce(x:%):S == x.setpart - coerce(x:%):OutputForm == x::S::OutputForm - coerce(s:S):% == enterInCache([s, 0]$Rep, s = #1::S) - - x < y == - if position(x) = 0 then enterInCache(x, x::S = #1::S) - if position(y) = 0 then enterInCache(y, y::S = #1::S) - position(x) < position(y) - - x = y == - if position(x) = 0 then enterInCache(x, x::S = #1::S) - if position(y) = 0 then enterInCache(y, y::S = #1::S) - position(x) = position(y) - -@ \section{domain KERNEL Kernel} <<domain KERNEL Kernel>>= )abbrev domain KERNEL Kernel @@ -349,7 +315,6 @@ KernelFunctions2(R:OrderedSet, S:OrderedSet): with <<category CACHSET CachableSet>> <<package SCACHE SortedCache>> -<<domain MKCHSET MakeCachableSet>> <<domain KERNEL Kernel>> <<package KERNEL2 KernelFunctions2>> @ |