Ralf, I think you must know the answer. This is SPAD. Unless this is an exceptional case it is probably not specified - maybe not even mentioned in the source code, but rather depends on the particular order in which the compiler does things internally.
I guess you could write a test and document the result, but as in Aldor perhaps it is best to avoid conflicting default implementations. Regards, Bill Page. On Tue, Nov 1, 2011 at 7:00 PM, Ralf Hemmecke <[email protected]> wrote: > 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. > > -- 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.
