Martin, Could you make it customary to include full output? And FriCAS version? Perhaps SVN revision number?
That would save other people's time and actually record your problem properly in the mail archive. Ralf On 06/23/2010 03:29 PM, Martin Rubey wrote: > Martin Rubey <[email protected]> writes: > >> why doesn't this compile? > > Oh, because there is a typo in the offending line. Any chance to > improve the error message...? > >> )abb domain COMP Composition >> Composition(): Join(Monoid, RetractableTo List Integer) with >> >> nearConcatenation: (%, %) -> % >> >> == add >> Rep := List PositiveInteger >> per(a: Rep): % == a pretend % >> rep(a: %): Rep == a pretend Rep >> >> nearConcatenation(a: %, b: %): % == >> c := reverse rep a >> per concat [reverse! rest c, cons(first c + first rep b, rest >> rep b)] >> >> nearSelfConcatenation(a: %, n: PositiveInteger): % == >> one? n => a >> b := nearSelfConcatenation(nearConcatenation(a, a), >> shift(n, -1) pretend PositiveInteger) >> -- commenting the following makes it compile :-( >> odd? n => nearConcatentation(a, b) >> b >> >> a * b == >> per concat [nearSelfConcatenation(b, alpha) for alpha in rep a] >> >> > -- 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.
