[Axiom-developer] [#108 InfiniteTuple and Stream] (new)

[Bill Page]

Changes 
http://page.axiom-developer.org/zope/mathaction/108InfiniteTupleAndStream/diff
--
Section

5.6 An Example: Streams of Primes

  of the Axiom Book says:

This is how you use generate to generate an infinite stream of primes.
\begin{axiom}
primes := generate(nextPrime,2)
\end{axiom}

but the result is an InfiniteTuple, not a Stream. The domain
InfiniteTuple is not documented in the book.

To create a stream one must explicitly write:
\begin{axiom}
primes := generate(nextPrime,2)$Stream Integer
\end{axiom}

or
\begin{axiom}
primes := construct generate(nextPrime,2)
\end{axiom}

--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden