My Project
|
#include "kernel/mod2.h"
#include "misc/options.h"
#include "polys/monomials/p_polys.h"
#include "polys/prCopy.h"
#include "kernel/ideals.h"
#include "polys/monomials/ring.h"
#include "polys/monomials/maps.h"
#include "polys/sbuckets.h"
#include "kernel/maps/fast_maps.h"
#include "kernel/maps/find_perm.h"
#include "kernel/maps/gen_maps.h"
Go to the source code of this file.
Functions | |
static void | find_subst_for_map (const ring preimage_r, const ring image_r, const ideal image, int &var, poly &p) |
ideal | maMapIdeal (const ideal map_id, const ring preimage_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... | |
number | maEvalAt (const poly p, const number *pt, const ring r) |
evaluate the polynomial p at the pt given by the array pt More... | |
|
static |
Definition at line 16 of file gen_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 | preimage_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.