[PATCH] "#" is only defined for finiteAggregate

[oldk1331]

Function "#" is defined when "% has finiteAggregate", and the
implementation should also fall under this condition, so I fixed
this for URAGG:

--- a/src/algebra/aggcat.spad
+++ b/src/algebra/aggcat.spad
@@ -1466,12 +1466,6 @@
       while not empty? l and i > 0 repeat (l := rest l; i := i - 1)
       empty? l and zero? i

-  #x ==
-      for k in 0.. while not empty? x repeat
-          k = cycleMax and cyclic? x => error "cyclic list"
-          x := rest x
-      k
-
   tail x ==
       empty? x => error "empty list"
       y := rest x
@@ -1521,6 +1515,12 @@
       x

   if % has finiteAggregate then
+      # x ==
+          for k in 0.. while not empty? x repeat
+              k = cycleMax and cyclic? x => error "cyclic list"
+              x := rest x
+          k
+
       last(x, n) ==
           xn := x
           for i in 1..n repeat

[Waldek Hebisch]

oldk1331 wrote:
>
> Function "#" is defined when "% has finiteAggregate", and the
> implementation should also fall under this condition, so I fixed
> this for URAGG:

OK, please commit.

--
Waldek Hebisch