On Fri, Jan 15, 2010 at 07:05:50PM +0100, Waldek Hebisch wrote:
> Look at POLYLIFT. It allows you to build map between arbitrary
> polynomial rings.
thanks, that should do what I want.
However, I am still not there.
hyperdoc (and the source) claims that DMP(vars,R) exports
PolynomialCategory(R,DirectProduct(#vars,NonNegativeInteger),OrderedVariableList
vars)
yet I get:
*************************************************************
(1) -> xy:List Symbol := [x,y]
(1) [x,y]
Type: List(Symbol)
(2) -> PxyDMP:= DistributedMultivariatePolynomial(xy,Integer)
(2) DistributedMultivariatePolynomial([x,y],Integer)
Type: Domain
(3) -> PxyDMP has
PolynomialCategory(Integer,DirectProduct(2,NonNegativeInteger),OrderedVariableList
xy)
(3) false
Type: Boolean
*************************************************************
and therefore POLYLIFT does not accept it...
I suspect '2' is the problem here?
regards,
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.
