aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/kl.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-11-20 20:05:35 +0000
committerdos-reis <gdr@axiomatics.org>2008-11-20 20:05:35 +0000
commit003d8009ff08ef11901956ac887422cea0cc4b55 (patch)
tree490f1f62576c12798021f11af19bea21f8cc579a /src/algebra/kl.spad.pamphlet
parent87f397a2fabcf265efb39d1be4c2b87633579e19 (diff)
downloadopen-axiom-003d8009ff08ef11901956ac887422cea0cc4b55.tar.gz
* algebra/wtpol.spad.pamphlet (WeightedPolynomials): No
HomotopicTo P. (OrdinaryWeightedPolynomials): Likewise. * algebra/modmonom.spad.pamphlet (ModuleMonomial): Now HomotopicTo MM. * algebra/matrix.spad.pamphlet (coerce$RectangularMatrix): Remove redundant signature. * algebra/lodop.spad.pamphlet (OrdinaryDifferentialRing): Now HomotopicTo HomotopicTo R. * algebra/alql.spad.pamphlet (DataList): Now HomotopicTo List S. * algebra/array1.spad.pamphlet (Tuple): Now HomotopicTo PrimitiveArray S. * algebra/kl.spad.pamphlet (CachableSet): Now HomotopicTo S. * algebra/java.spad.pamphlet (JavaBytecode): Now HomotopicTo Byte. * algebra/fname.spad.pamphlet (FileNameCategory): Extends HomotopicTo String. * algebra/data.spad.pamphlet (Byte): Now HomotopicTo Character.
Diffstat (limited to 'src/algebra/kl.spad.pamphlet')
-rw-r--r--src/algebra/kl.spad.pamphlet7
1 files changed, 2 insertions, 5 deletions
diff --git a/src/algebra/kl.spad.pamphlet b/src/algebra/kl.spad.pamphlet
index 26a8b374..e4091c90 100644
--- a/src/algebra/kl.spad.pamphlet
+++ b/src/algebra/kl.spad.pamphlet
@@ -116,11 +116,8 @@ SortedCache(S:CachableSet): Exports == Implementation where
++ Description:
++ MakeCachableSet(S) returns a cachable set which is equal to S as a set.
MakeCachableSet(S:SetCategory): Exports == Implementation where
- Exports ==> Join(CachableSet, CoercibleTo S) with
- coerce: S -> %
- ++ coerce(s) returns s viewed as an element of %.
-
- Implementation ==> add
+ Exports == Join(CachableSet, HomotopicTo S)
+ Implementation == add
import SortedCache(%)
Rep := Record(setpart: S, pos: NonNegativeInteger)