I run "FriCAS 1.1.0" and get for
)compile partial2.spad
>> System error:
The index 4 is too large.
Same error message was described here...
http://www.mail-archive.com/[email protected]/msg01751.html
http://www.mail-archive.com/[email protected]/msg01820.html
Ralf
=====================================================================
---rhxBEGIN partial2.spad
)abbrev category PARTCAT PartialCategory
PartialCategory(V: Type): Category == with
if V has CoercibleTo OutputForm then CoercibleTo OutputForm
inject: V -> %
retract: % -> V
failed: () -> %
failed?: % -> Boolean
)abbrev domain PARTIAL Partial
Partial(V: Type): PartialCategory V == add
Rep := Record(val: V)
if V has CoercibleTo OutputForm then
coerce(x: %): OutputForm ==
failed? x => "failed"::Symbol::OutputForm
x.val :: OutputForm
inject(v: V): % == v
retract(x: %): V == x.val
failed: % == NIL$Lisp
failed?(x: %): Boolean == EQ(x, failed)$Lisp
---rhxEND partial2.spad
=====================================================================
; /home/hemmecke/v/git/fricas/src/algebrax/PARTCAT.NRLIB/PARTCAT.fasl
written
; compilation finished in 0:00:00.008
------------------------------------------------------------------------
PartialCategory is already explicitly exposed in frame frame1
PartialCategory will be automatically loaded when needed from
/home/hemmecke/v/git/fricas/src/algebrax/PARTCAT.NRLIB/PARTCAT
PARTIAL abbreviates domain Partial
------------------------------------------------------------------------
initializing NRLIB PARTIAL for Partial
compiling into NRLIB PARTIAL
****** Domain: V already in scope
augmenting V: (CoercibleTo (OutputForm))
compiling exported coerce : $ -> OutputForm
Time: 0.02 SEC.
compiling exported inject : V -> $
PARTIAL;inject;V$;2 is replaced by LIST
Time: 0 SEC.
compiling exported retract : $ -> V
PARTIAL;retract;$V;3 is replaced by QCAR
Time: 0 SEC.
compiling exported failed : () -> $
PARTIAL;failed;$;4 is replaced by
Time: 0 SEC.
compiling exported failed? : $ -> Boolean
Time: 0 SEC.
****** Domain: V already in scope
augmenting V: (CoercibleTo (OutputForm))
>> System error:
The index 4 is too large.
--
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.
