My Project
Loading...
Searching...
No Matches
gen_maps.h
Go to the documentation of this file.
1#ifndef GEN_MAPS_H
2#define GEN_MAPS_H
3/****************************************
4* Computer Algebra System SINGULAR *
5****************************************/
6/// polynomial map for ideals/module/matrix
7/// map_id: the ideal to map
8/// map_r: the base ring for map_id
9/// image_id: the image of the variables
10/// image_r: the base ring for image_id
11/// nMap: map for coefficients
12ideal maMapIdeal(const ideal map_id, const ring map_r,const ideal image_id, const ring image_r, const nMapFunc nMap);
13
14/// polynomial map for poly (vector)
15/// map_p: the poly (vector) to map
16/// map_r: the base ring for map_p
17/// image_id: the image of the variables
18/// image_r: the base ring for image_id
19/// nMap: map for coefficients
20poly maMapPoly(const poly map_p, const ring map_r,const ideal image_id, const ring image_r, const nMapFunc nMap);
21
22poly p_SubstPoly (poly p, int var, poly image, const ring preimage_r, const ring image_r, const nMapFunc nMap, matrix cache=NULL);
23ideal id_SubstPoly (ideal id, int var, poly image, const ring preimage_r, const ring image_r, const nMapFunc nMap);
24
25/// evaluate the polynomial p at the pt given by the array pt
26number maEvalAt(const poly p,const number* pt, const ring r);
27#endif
28
int p
Definition: cfModGcd.cc:4078
number(* nMapFunc)(number a, const coeffs src, const coeffs dst)
maps "a", which lives in src, into dst
Definition: coeffs.h:73
ideal id_SubstPoly(ideal id, int var, poly image, const ring preimage_r, const ring image_r, const nMapFunc nMap)
Definition: subst_maps.cc:71
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...
Definition: gen_maps.cc:159
poly p_SubstPoly(poly p, int var, poly image, const ring preimage_r, const ring image_r, const nMapFunc nMap, matrix cache=NULL)
Definition: subst_maps.cc:39
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...
Definition: gen_maps.cc:87
number maEvalAt(const poly p, const number *pt, const ring r)
evaluate the polynomial p at the pt given by the array pt
Definition: gen_maps.cc:167
#define NULL
Definition: omList.c:12