My Project
|
Go to the source code of this file.
Functions | |
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 image_id: the image of the variables image_r: the base ring for image_id nMap: map for coefficients More... | |
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_id: the image of the variables image_r: the base ring for image_id nMap: map for coefficients More... | |
poly | p_SubstPoly (poly p, int var, poly image, const ring preimage_r, const ring image_r, const nMapFunc nMap, matrix cache=NULL) |
ideal | id_SubstPoly (ideal id, int var, poly image, const ring preimage_r, const ring image_r, const nMapFunc nMap) |
number | maEvalAt (const poly p, const number *pt, const ring r) |
evaluate the polynomial p at the pt given by the array pt More... | |
ideal id_SubstPoly | ( | ideal | id, |
int | var, | ||
poly | image, | ||
const ring | preimage_r, | ||
const ring | image_r, | ||
const nMapFunc | nMap | ||
) |
Definition at line 71 of file subst_maps.cc.
evaluate the polynomial p at the pt given by the array pt
Definition at line 167 of file gen_maps.cc.
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 image_id: the image of the variables image_r: the base ring for image_id nMap: map for coefficients
Definition at line 87 of file gen_maps.cc.
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_id: the image of the variables image_r: the base ring for image_id nMap: map for coefficients
Definition at line 159 of file gen_maps.cc.
poly p_SubstPoly | ( | poly | p, |
int | var, | ||
poly | image, | ||
const ring | preimage_r, | ||
const ring | image_r, | ||
const nMapFunc | nMap, | ||
matrix | cache = NULL |
||
) |
Definition at line 39 of file subst_maps.cc.