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

[Martin Rubey]

Ralf Hemmecke <ralf at hemmecke.de> writes:

> > But I hesitate to write
> > UnivariatePolynomial(var, R) == with Join(CoercibleTo SUP R,
> > CoercibleTo Polynomial R,
> > CoercibleTo DMP([var], R),
> > CoercibleTo MPOLY([var], R) ...)
> > This doesn't look right.
> 
> Doesn't seem to look right. But how else would you want to export
> 
>    coerce: % -> X
> 
> for any of the replacements for X from above? They must statically be given at
> compile time or (if "extend" where available) could be added later (but also at
> compile time).

Yes, *exactly* this was my question.  And since I think it's a language
problem, I also sent it to aldor-l.

Maybe Christian Aistleitner has an idea...

Martin