[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] 20080917.01.tpd.patch (bookvol10.2 remove dup function

From: daly
Subject: [Axiom-developer] 20080917.01.tpd.patch (bookvol10.2 remove dup function defn in FLAGG)
Date: Tue, 16 Sep 2008 23:40:05 -0500

reverse occurs twice in the implementation of FiniteLinearAggregate.
One copy is removed.
diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet
index f39cf6a..9ae7057 100644
--- a/books/bookvol10.2.pamphlet
+++ b/books/bookvol10.2.pamphlet
@@ -5106,7 +5106,6 @@ FiniteLinearAggregate(S:Type): Category == 
LinearAggregate S with
     if % has shallowlyMutable then
       reverse x         == reverse_! copy x
       sort(f, l) == sort_!(f, copy l)
-      reverse x         == reverse_! copy x
       if S has OrderedSet then
        sort_! l == sort_!(_<$S, l)
diff --git a/changelog b/changelog
index 301732a..29c2f46 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,4 @@
+20080917 tpd books/bookvol10.2 remove duplicate function def in FLAGG  
 20080916 tpd books/ps/
 20080916 tpd books/ps/
 20080916 tpd books/ps/ corrected diagram

reply via email to

[Prev in Thread] Current Thread [Next in Thread]