Dear Waldek, I don't think I have got a clear answer of why (2) doesn't give true. Should I put this into the bugtracker?
Ralf http://groups.google.com/group/fricas-devel/browse_thread/thread/47b9596a563b6df8/4d8a36d15b4a7dd7#4d8a36d15b4a7dd7 ---rhxBegin ppp.spad )abbrev domain PPP Ppp Ppp(V: Type): with if V has CoercibleTo OutputForm then CoercibleTo OutputForm fail: % -> Boolean == add Rep := Record(val: V) if V has CoercibleTo OutputForm then coerce(x: %): OutputForm == x.val :: OutputForm fail(x: %): Boolean == true ---rhxEnd ppp.spad (1) -> Integer has CoercibleTo OutputForm (1) true Type: Boolean (2) ->Ppp Integer has CoercibleTo OutputForm (2) false Type: Boolean -- 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.
