diff options
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/Makefile.in | 2 | ||||
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 2 | ||||
| -rw-r--r-- | src/algebra/exposed.lsp.pamphlet | 1 | ||||
| -rw-r--r-- | src/algebra/kl.spad.pamphlet | 35 |
4 files changed, 2 insertions, 38 deletions
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>> @ |