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: (Polynomial R -> PPR, 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.