PushVariables(R, E, OV, PPR)

facutil.spad line 94 [edit on github]

• R : Ring
• E : OrderedAbelianMonoidSup
• OV : OrderedSet with

  convert : % -> Symbol

  variable : Symbol -> Union(%, "failed")

• PPR : PolynomialCategory(Polynomial(R), E, OV)

This package is undocumented

map : (Mapping(PPR, Polynomial(R)), PPR) -> PPR

map(f, p) is undocumented

pushdown : (PPR, List(OV)) -> PPR

pushdown(p, lv) is undocumented

pushup : (PPR, List(OV)) -> PPR

pushup(p, lv) is undocumented