maps_ip.h
Go to the documentation of this file.
1 #ifndef MAPS_IP_H
2 #define MAPS_IP_H
3 /****************************************
4 * Computer Algebra System SINGULAR *
5 ****************************************/
6 /*
7 * ABSTRACT - the mapping of polynomials to other rings
8 */
9 
10 #include "kernel/mod2.h"
11 #include "polys/matpol.h"
12 
13 #include "kernel/structs.h"
14 #include "kernel/ideals.h"
15 #include "kernel/polys.h"
16 
17 poly pSubstPoly(poly p, int var, poly image);
18 poly pSubstPar(poly p, int par, poly image);
19 ideal idSubstPoly(ideal id, int n, poly e);
20 ideal idSubstPar(ideal id, int n, poly e);
21 
22 
23 /*
24 * maps the expression w to res,
25 * switch what: MAP_CMD: use theMap for mapping, N for preimage ring
26 * //FETCH_CMD: use pOrdPoly for mapping
27 * IMAP_CMD: use perm for mapping, N for preimage ring
28 * default: map only poly-structures,
29 * use perm and par_perm, N and P,
30 */
31 BOOLEAN maApplyFetch(int what,map theMap,leftv res, leftv w, ring preimage_r,
32  int *perm, int *par_perm, int P, nMapFunc nMap);
33 #endif
poly pSubstPoly(poly p, int var, poly image)
Definition: maps_ip.cc:397
CanonicalForm map(const CanonicalForm &primElem, const Variable &alpha, const CanonicalForm &F, const Variable &beta)
map from to such that is mapped onto
Definition: cf_map_ext.cc:400
BOOLEAN maApplyFetch(int what, map theMap, leftv res, leftv w, ring preimage_r, int *perm, int *par_perm, int P, nMapFunc nMap)
Definition: maps_ip.cc:45
Class used for (list of) interpreter objects.
Definition: subexpr.h:82
ideal idSubstPoly(ideal id, int n, poly e)
Definition: maps_ip.cc:413
Compatiblity layer for legacy polynomial operations (over currRing)
CanonicalForm res
Definition: facAbsFact.cc:64
number(* nMapFunc)(number a, const coeffs src, const coeffs dst)
maps "a", which lives in src, into dst
Definition: coeffs.h:73
poly pSubstPar(poly p, int par, poly image)
Definition: maps_ip.cc:260
const CanonicalForm & w
Definition: facAbsFact.cc:55
int p
Definition: cfModGcd.cc:4019
ideal idSubstPar(ideal id, int n, poly e)
Definition: maps_ip.cc:380
int BOOLEAN
Definition: auxiliary.h:87