On 11/01/2011 11:12 PM, Bill Page wrote:
From what I can see this is not a case of multiple inheritance. It
seems that LazyStreamAggregate is just overriding the defaults
inherited from StreamAggregate. 'possiblyInfinite?' in
LazyStreamAggregate is a version of 'cyclic?' that checks for 'lazy?'.
That doesn't answer my question. Where is it specified?
Note that both are categories. Suppose I write a domain as follows (note
that I explicitly include StreamAggregate here, in order to make things
complicated):
Dom1(S: Type): Join(StreamAggregate S, LazyStreamAggregate S) ...
Dom2(S: Type): Join(LazyStreamAggregate S, StreamAggregate S) ...
Suppose I never override possiblyInfinite? in the add part of Dom1 and
Dom2, which definition of possiblyInfinite? actually holds in Dom1 and Dom2?
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.
