Bill Page wrote:
>
> On Thu, Sep 18, 2008 at 1:03 PM, Waldek Hebisch wrote:
> > ...
> > What you wrote works for "simple" domains. But many domains
> > have parameters. For example, given:
> >
> > (x^3+1)::Polynomial PF(5)
> >
> > you need some way to get the prime 5 into InputForm.
> >
>
> Here is a simple patch to 'interp/i-coerce.boot' that seems to provide
> automatic coercion of all domains and categories into InputForm in the
> interpreter. According to documentation in 'i-coerce.boot' it is also
> possible to call this from algebra code but I haven't tried that yet.
> The patch is based on a lot of study of how something similar was done
> for coercions of domains and categories to OutputForm.
>
> There are examples on wiki page:
>
> http://axiom-wiki.newsynthesis.org/SubDomain
>
> which also includes definitions of the new algebra domains 'Domain'
> and 'SubDomain' for other purposes.
>
Commants:
1) The last example (CliffordAlgebra...) is clearly wrong. AFAICS
we need to recursively walk the s-expression describing type and
convert all non-type parameters of types to InputForm.
2) We would like to have this functionality available at Spad level
probably in InputFormFunctions1. We probably should have a
Boot function called domainToInputForm and call it both from
algebra and from interpreter.
3) The patch could probably go in, with understanding that this
is only partial implementation.
--
Waldek Hebisch
[EMAIL PROTECTED]
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
