12ideal
maMapIdeal(
const ideal map_id,
const ring map_r,
const ideal image_id,
const ring image_r,
const nMapFunc nMap);
20poly
maMapPoly(
const poly map_p,
const ring map_r,
const ideal image_id,
const ring image_r,
const nMapFunc nMap);
23ideal
id_SubstPoly (ideal
id,
int var, poly image,
const ring preimage_r,
const ring image_r,
const nMapFunc nMap);
26number
maEvalAt(
const poly
p,
const number* pt,
const ring r);
number(* nMapFunc)(number a, const coeffs src, const coeffs dst)
maps "a", which lives in src, into dst
ideal id_SubstPoly(ideal id, int var, poly image, const ring preimage_r, const ring image_r, const nMapFunc nMap)
poly maMapPoly(const poly map_p, const ring map_r, const ideal image_id, const ring image_r, const nMapFunc nMap)
polynomial map for poly (vector) map_p: the poly (vector) to map map_r: the base ring for map_p image...
poly p_SubstPoly(poly p, int var, poly image, const ring preimage_r, const ring image_r, const nMapFunc nMap, matrix cache=NULL)
ideal maMapIdeal(const ideal map_id, const ring map_r, const ideal image_id, const ring image_r, const nMapFunc nMap)
polynomial map for ideals/module/matrix map_id: the ideal to map map_r: the base ring for map_id imag...
number maEvalAt(const poly p, const number *pt, const ring r)
evaluate the polynomial p at the pt given by the array pt