Franz Lehner wrote:
>
> when trying some Groebner calculations,
> I could not find a way to coerce
> Polynomial Integer (or DMP, HDMP) to
> GeneralDistributedMultivariatePolynomial (vars,E,Integer).
> The coercions for
> DistributedMultivariatePolynomial and
> HomogeneousDistributedMultivariatePolynomial
> seem to be in src/interp/i-coerfn.boot
>
> A possible coercion
> --coerce(dp:DistributedMultivariatePolynomial(vl,R)):% ==
> is commented out in gdpoly.spad.pamphlet.
>
> What is the best way to repair this?
>
Look at POLYLIFT. It allows you to build map between arbitrary
polynomial rings.
--
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.
