++ A stream aggregate may
++ also be infinite since it may be cyclic.
this last 5 words are nonsense, I think. It can be infinite, but
non-cyclic, too.
Well, I also stumpled upon this one. But it actually doesn't say that
"infinite if and only if cyclic". It says "if cyclic then infinite".
But I agree that this sentence could be improved.
I would rather see "because" instead of "since", but maybe native
English speakers jump in here.
And there is a problem. If I have a stream that consists of all 0's then
it is certainly cyclic in a mathematical sense. But it may be that it is
not defined with the "repeating" constructor and thus it's
computationally impossible to decide cyclicity.
Furthermore, this documentation is for a category, so there should be no
reference to data structures. So I cannot, for example, write that
cyclic streams are stored in a finite (internal) data structure.
Ralf
PS:
Actually, in some sense Stream is like Aldor's Generator. Either there
is a next element or there isn't. Both is possible.
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
