With that I get,
FriCAS (AXIOM fork) Computer Algebra System
Version: FriCAS 2010-01-08
Timestamp: Tuesday March 16, 2010 at 20:31:54
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave FriCAS and return to shell.
-----------------------------------------------------------------------------
(1) ->
(1) -> )co comp.spad
Compiling FriCAS source code from file
/home/hemmecke/scratch/comp.spad using old system compiler.
COMP abbreviates domain Composition
Composition has 1 precompilation error:
Parsing error: Apparent indentation error following add
Ralf
On 06/23/2010 03:34 PM, Martin Rubey wrote:
> The following throws me into the debugger in sbcl when compiling...
>
> )abb domain COMP Composition
> Composition(): Join(Monoid, RetractableTo List PositiveInteger) with
>
> nearConcatenation: (%, %) -> %
>
> == add
> Rep := List PositiveInteger
> per(a: Rep): % == a pretend %
> rep(a: %): Rep == a pretend Rep
>
> coerce(l: List PositiveInteger): % == per l
>
> coerce(a: %): OutputForm == coerce(rep a))$(List
> PositiveInteger)@OutputForm
>
> 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)
> odd? n => nearConcatenation(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.
