Franz Lehner wrote:
> 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
I get the same, looks like bug in has.
> *************************************************************
> and therefore POLYLIFT does not accept it...
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: Type
(3) -> E ==> DirectProduct(2, NonNegativeInteger)
Type: Void
(4) -> Ov := OrderedVariableList(xy)
(4) OrderedVariableList([x,y])
Type: Type
(5) -> Lift := PolynomialCategoryLifting(E, Ov, Integer, PxyDMP, Integer)
(5)
PolynomialCategoryLifting(DirectProduct(2,NonNegativeInteger),OrderedVariable
List([x,y]),Integer,DistributedMultivariatePolynomial([x,y],Integer),Integer)
Type: Type
so it looks that POLYLIFT accepts PxyDMP...
--
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.
