Re: [fricas-devel] Re: [open-axiom-devel] [fricas-devel] Re: [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product.

On Wed, 24 Oct 2007, Bill Page wrote:

| 
| On 10/24/07, Gabriel Dos Reis wrote:
| > ...
| > Stream is an *example* of a generator like domain.  I would not want
| > to turn my BinaryTree into a Stream before iterating over it.
| >
| 
| It seems very natural to me to write:
| 
|     t:BinaryTree Integer
|     t:= ...
|     for i in t repeat ...
| 
| but perhaps the meaning is not so clear.

I don't see the `natural'-ness since a BinaryTree Integer has many
traversal views, with 3 of them being very popular.  Which one is more 
natural than the others and why?

-- Gaby