Waldek Hebisch <[email protected]> writes: > (5) -> Lift := PolynomialCategoryLifting(E, Ov, Integer, PxyDMP, Integer) > > (5) > > PolynomialCategoryLifting(DirectProduct(2,NonNegativeInteger),OrderedVariable > > List([x,y]),Integer,DistributedMultivariatePolynomial([x,y],Integer),Integer)
possibly more intuitive: Lift := PolynomialCategoryLifting(E, Ov, Integer, PxyDMP, EXPR Integer) map(o +-> (if lookup o = 1 then a::EXPR INT else b::EXPR INT), c +-> c::EXPR INT, (x+2*y + x*y)::PxyDMP)$Lift Martin
-- 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.
