[Aldor-l] [open-axiom-devel] [fricas-devel] Re: coercion problem

[Ralf Hemmecke]

I am still not getting it.

If you have some A that doesn't just come from heaven. Maybe if your 
current domain is of type UPOLYC you are satisfied to ask for the other 
domain:

   if A has UPOLYC then
      -- use the coerce from your UPOLYCoerce package

I think, I stop here and wait for very concrete use cases of yours.
Maybe you send me some concrete pieces of your code and we stop spamming 
the list until we have a result.

Ralf