poly pSubstPoly(poly p, int var, poly image)
CanonicalForm map(const CanonicalForm &primElem, const Variable &alpha, const CanonicalForm &F, const Variable &beta)
map from to such that is mapped onto
BOOLEAN maApplyFetch(int what, map theMap, leftv res, leftv w, ring preimage_r, int *perm, int *par_perm, int P, nMapFunc nMap)
Class used for (list of) interpreter objects.
ideal idSubstPoly(ideal id, int n, poly e)
Compatiblity layer for legacy polynomial operations (over currRing)
const CanonicalForm CFMap CFMap int &both_non_zero int n
number(* nMapFunc)(number a, const coeffs src, const coeffs dst)
maps "a", which lives in src, into dst
poly pSubstPar(poly p, int par, poly image)
ideal idSubstPar(ideal id, int n, poly e)