> On Wed, Dec 3, 2008 at 7:04 AM, Ralf Hemmecke wrote: > ... >> As far as I remember, the interpreter never applies 'convert' >> or 'retract' automatically. But how does it find out about a >> possible coercion? > On Wed, Dec 3, 2008 at 8:55 AM, Bill Page wrote: > I am still uncertain, however I think that there maybe something > missing in the code that is supposed to treat SubDomain as a > special case. >
I found at least two places where critical knowledge of sub-domains is built into FriCAS as a special case. See: 'Built-in' section of: http://axiom-wiki.newsynthesis.org/SandBoxNonZeroInteger In general I think the FriCAS library compiler support for SubDomain should be more complete so that such built-in knowledge is unnecessary. Comments would be most appreciated. Regards, Bill Page. --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
