| 1 | #ifndef MAPS_H |
|---|
| 2 | #define MAPS_H |
|---|
| 3 | /**************************************** |
|---|
| 4 | * Computer Algebra System SINGULAR * |
|---|
| 5 | ****************************************/ |
|---|
| 6 | /* $Id$ */ |
|---|
| 7 | /* |
|---|
| 8 | * ABSTRACT - the mapping of polynomials to other rings |
|---|
| 9 | */ |
|---|
| 10 | #include <coeffs/coeffs.h> |
|---|
| 11 | #include <polys/monomials/ring.h> |
|---|
| 12 | //#include <kernel/ideals.h> |
|---|
| 13 | |
|---|
| 14 | typedef number (*nMapFunc)(number a, coeffs src, coeffs dst); |
|---|
| 15 | struct sip_smap; |
|---|
| 16 | typedef struct sip_smap * map; |
|---|
| 17 | |
|---|
| 18 | poly maEval(map theMap, poly p, ring dst_ring, nMapFunc nMap, ideal s=NULL); |
|---|
| 19 | map maCopy(map theMap, const ring dst_ring); |
|---|
| 20 | |
|---|
| 21 | ideal maGetPreimage(ring theImageRing, map theMap,ideal id); |
|---|
| 22 | |
|---|
| 23 | poly maIMap(ring src_ring, ring dst_ring, poly p); |
|---|
| 24 | |
|---|
| 25 | /* |
|---|
| 26 | BOOLEAN maApplyFetch(int what,map theMap,leftv res, leftv w, |
|---|
| 27 | ring preimage_r, int *perm, |
|---|
| 28 | int *par_perm,int P, nMapFunc nMap); |
|---|
| 29 | */ |
|---|
| 30 | void maFindPerm(char **preim_names, int preim_n, char **preim_par, int preim_p, |
|---|
| 31 | char **names, int n, char **par, int nop, |
|---|
| 32 | int * perm, int *par_perm, int ch); |
|---|
| 33 | poly pSubstPoly(poly p, int var, poly image); |
|---|
| 34 | ideal idSubstPoly(ideal id, int n, poly e); |
|---|
| 35 | |
|---|
| 36 | poly pMinPolyNormalize(poly p); |
|---|
| 37 | int maMaxDeg_P(poly p,ring preimage_r); |
|---|
| 38 | int maMaxDeg_Ma(ideal a,ring preimage_r); |
|---|
| 39 | #endif |
|---|
