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

facutil.spad line 94

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.