On Fri, Jan 15, 2010 at 05:08:56PM +0100, [email protected] wrote:
> when trying some Groebner calculations,
> I could not find a way to coerce
> Polynomial Integer (or DMP, HDMP) to
> GeneralDistributedMultivariatePolynomial (vars,E,Integer).
sorry, I forgot the illustrations:
**********************************************************
(1) -> PxyDMP:= DistributedMultivariatePolynomial([x,y],Integer)
(1) DistributedMultivariatePolynomial([x,y],Integer)
Type: Domain
(2) -> PxyHDMP:= HomogeneousDistributedMultivariatePolynomial([x,y],Integer)
(2) HomogeneousDistributedMultivariatePolynomial([x,y],Integer)
Type: Domain
(3) ->
PxyGDMP:=GeneralDistributedMultivariatePolynomial([x,y],Integer,SplitHomogeneousDirectProduct(2,1,NonNegativeInteger))
(3)
GeneralDistributedMultivariatePolynomial([x,y],Integer,SplitHomogeneousDirect
Product(2,1,NonNegativeInteger))
Type: Domain
(4) -> p:=x+y
(4) y + x
Type: Polynomial(Integer)
(5) -> p::PxyDMP
(5) x + y
Type: DistributedMultivariatePolynomial([x,y],Integer)
(6) -> p::PxyHDMP
(6) x + y
Type: HomogeneousDistributedMultivariatePolynomial([x,y],Integer)
(7) -> p::PxyGDMP
Cannot convert from type Polynomial(Integer) to
GeneralDistributedMultivariatePolynomial([x,y],Integer,
SplitHomogeneousDirectProduct(2,1,NonNegativeInteger)) for value
y + x
(8) -> x::PxyGDMP
(8) x
Type:
GeneralDistributedMultivariatePolynomial([x,y],Integer,SplitHomogeneousDirectProduct(2,1,NonNegativeInteger))
**********************************************************
As seen here, symbols can be coerced.
But I have a bunch of large polynomials which I don't know
how to feed into GDMP.
Franz
--
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.
