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/v102streamaggregate.ps
20080916 tpd books/ps/v102listaggregate.ps
20080916 tpd books/ps/v102finitelinearaggregate.ps corrected diagram
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
