Ralf Hemmecke <[email protected]> writes:
>>> https://github.com/hemmecke/fricas-svn/blob/master/src/algebra/stream.spad.pamphlet#L552
> - "A stream is an implementation of an infinite sequence ..."
> + A stream is an implementation of a possibly infinite sequence ..."
>
> Waldek,
>
> I think your version makes perfect sense and it should also be
> enough, since Stream inherits from LazyStreamAggregate which in turn
> inherits from StreamAggregate.
>
> The following looks rather sufficient as documentation for the category.
>
> --- from aggcat.spad.pamphlet ---
> ++ A stream aggregate is a linear aggregate which possibly has an infinite
> ++ number of elements. A basic domain constructor which builds stream
> ++ aggregates is \spadtype{Stream}. From streams, a number of infinite
> ++ structures such power series can be built. 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.
> ++ For example, see \spadtype{DecimalExpansion}.
>
> Ralf
--
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.
