Thanks a lot. Works perfectly. Ralf
On 07/26/2011 05:24 PM, Waldek Hebisch wrote:
Ralf Hemmecke wrote:I run "FriCAS 1.1.0" and get for )compile partial2.spad >> System error: The index 4 is too large. ===================================================================== ---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.spadNow this compiles fine.
-- 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.
