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.
++ 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.
