PushVariables(R, E, OV, PPR)ΒΆ

facutil.spad line 94 [edit on github]

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.

pushdown: (PPR, OV) -> PPR

pushdown(p, v) is undocumented.

pushup: (PPR, List OV) -> PPR

pushup(p, lv) is undocumented.

pushup: (PPR, OV) -> PPR

pushup(p, v) is undocumented.