From 003d8009ff08ef11901956ac887422cea0cc4b55 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 20 Nov 2008 20:05:35 +0000
Subject: 	* 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.

---
 src/algebra/modmonom.spad.pamphlet | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'src/algebra/modmonom.spad.pamphlet')

diff --git a/src/algebra/modmonom.spad.pamphlet b/src/algebra/modmonom.spad.pamphlet
index 593d5aa8..b91555eb 100644
--- a/src/algebra/modmonom.spad.pamphlet
+++ b/src/algebra/modmonom.spad.pamphlet
@@ -20,15 +20,11 @@ ModuleMonomial(IS: OrderedSet,
 
    MM ==> Record(index:IS, exponent:E)
 
-   T == OrderedSet  with
+   T == Join(OrderedSet, HomotopicTo MM)  with
         exponent: $ -> E
 		++ exponent(x) \undocumented
         index: $ -> IS
 		++ index(x) \undocumented
-        coerce: MM -> $
-		++ coerce(x) \undocumented
-        coerce: $ -> MM
-		++ coerce(x) \undocumented
         construct: (IS, E) -> $
 		++ construct(i,e) \undocumented
    C == MM  add
-- 
cgit v1.2.3