aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/ChangeLog5
-rw-r--r--src/algebra/Makefile.in2
-rw-r--r--src/algebra/Makefile.pamphlet2
-rw-r--r--src/algebra/exposed.lsp.pamphlet1
-rw-r--r--src/algebra/kl.spad.pamphlet35
5 files changed, 7 insertions, 38 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index 2b01db03..8f23ad2f 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2009-05-13 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * algebra/kl.spad.pamphlet (MakeCachableSet): Remove.
+ * algebra/Makefile.pamphlet (axiom_algebra_layer_6): Don't build it.
+
2009-05-11 Gabriel Dos Reis <gdr@cs.tamu.edu>
* interp/property.lisp: "not" is prefix operator with "not " for
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in
index 29b333fe..2d28c0e7 100644
--- a/src/algebra/Makefile.in
+++ b/src/algebra/Makefile.in
@@ -479,7 +479,7 @@ $(OUT)/CHARPOL.$(FASLEXT): $(OUT)/SETCAT-.$(FASLEXT)
axiom_algebra_layer_6 = \
AUTOMOR CARTEN2 CHARPOL COMPLEX2 \
DIFEXT DIFEXT- ES1 ES2 GRMOD GRMOD- \
- HYPCAT HYPCAT- MKCHSET MODRING NASRING NASRING- \
+ HYPCAT HYPCAT- MODRING NASRING NASRING- \
SORTPAK ZMOD \
OAMONS BYTE SYSINT SYSNNI
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index f677bcaa..32cf09ed 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -463,7 +463,7 @@ $(OUT)/CHARPOL.$(FASLEXT): $(OUT)/SETCAT-.$(FASLEXT)
axiom_algebra_layer_6 = \
AUTOMOR CARTEN2 CHARPOL COMPLEX2 \
DIFEXT DIFEXT- ES1 ES2 GRMOD GRMOD- \
- HYPCAT HYPCAT- MKCHSET MODRING NASRING NASRING- \
+ HYPCAT HYPCAT- MODRING NASRING NASRING- \
SORTPAK ZMOD \
OAMONS BYTE SYSINT SYSNNI
diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet
index 6240abfa..c1ca17ae 100644
--- a/src/algebra/exposed.lsp.pamphlet
+++ b/src/algebra/exposed.lsp.pamphlet
@@ -986,7 +986,6 @@
(|LyndonWord| . LWORD)
(|Magma| . MAGMA)
(|MakeBinaryCompiledFunction| . MKBCFUNC)
- (|MakeCachableSet| . MKCHSET)
(|MakeUnaryCompiledFunction| . MKUCFUNC)
(|MappingPackageInternalHacks1| . MAPHACK1)
(|MappingPackageInternalHacks2| . MAPHACK2)
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>>
@