>
> >> ++ 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.
>
I would just delete the sentence (and the reference to "DecimalExpansion").
--
Waldek Hebisch
[email protected]
--
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.
