help links subscribe changes refresh edit

	IssueTracker
#107 Interpreter code generation failed for expression1 ←	↑	→ #109 hyperdoc uncompress failed

#108 InfiniteTuple and Stream

Edit detail for #108 InfiniteTuple and Stream revision 3 of 3

	1 2 3
Editor: oldk1331 Time: 2017/07/12 14:24:44 GMT+0
Note:

added:

From oldk1331 Wed Jul 12 14:24:44 +0000 2017
From: oldk1331
Date: Wed, 12 Jul 2017 14:24:44 +0000
Subject: 
Message-ID: <20170712142444+0000@axiom-wiki.newsynthesis.org>

In ituple.spad, you can see that InfiniteTuple is represented as Stream.  And there is special treatment for InfiniteTuple in interpreter code.  Maybe InfiniteTuple can be removed, to be investigated.

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." In FriCAS, the function generate has been renamed to stream.

fricas

(1) -> primes := stream(nextPrime,2)

$\label{eq1}\left[ 2, \: 3, \: 5, \: 7, \:{11}, \:{13}, \:{17}, \:{19}, \:{2 3}, \:{29}, \: \ldots \right]$

(1)

Type: InfiniteTuple?(Integer)

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:

fricas

primes := stream(nextPrime,2)$Stream Integer

$\label{eq2}\left[ 2, \: 3, \: 5, \: 7, \:{11}, \:{13}, \:{17}, \:{19}, \:{2 3}, \:{29}, \: \ldots \right]$

(2)

Type: Stream(Integer)

fricas

primes := construct stream(nextPrime,2)

$\label{eq3}\left[ 2, \: 3, \: 5, \: 7, \:{11}, \:{13}, \:{17}, \:{19}, \:{2 3}, \:{29}, \: \ldots \right]$

(3)

Type: Stream(Integer)

... --oldk1331, Wed, 12 Jul 2017 14:24:44 +0000 reply

In ituple.spad, you can see that InfiniteTuple? is represented as Stream. And there is special treatment for InfiniteTuple? in interpreter code. Maybe InfiniteTuple? can be removed, to be investigated.