maps.h
Go to the documentation of this file.
1 #ifndef MAPS_H
2 #define MAPS_H
3 /****************************************
4 * Computer Algebra System SINGULAR *
5 ****************************************/
6 /*
7 * ABSTRACT - the mapping of polynomials to other rings
8 */
9 #include <coeffs/coeffs.h>
10 #include <polys/monomials/ring.h>
11 //#include <kernel/ideals.h>
12 
13 struct sip_smap;
14 typedef struct sip_smap * map;
15 
16 // poly maEval(map theMap, poly p, ring dst_ring, nMapFunc nMap, ideal s=NULL);
17 poly maEval(map theMap, poly p,ring preimage_r,nMapFunc nMap, ideal s, const ring dst_r);
18 
19 map maCopy(map theMap, const ring dst_ring);
20 
21 poly maIMap(ring src_ring, ring dst_ring, poly p);
22 
23 void maFindPerm(char const * const * const preim_names, int preim_n, char const * const * const preim_par, int preim_p,
24  char const * const * const names, int n, char const * const * const par, int nop,
25  int * perm, int *par_perm, n_coeffType ch);
26 poly pSubstPoly(poly p, int var, poly image);
27 ideal idSubstPoly(ideal id, int n, poly e);
28 
29 poly p_MinPolyNormalize(poly p, const ring r);
30 int maMaxDeg_P(poly p,ring preimage_r);
31 int maMaxDeg_Ma(ideal a,ring preimage_r);
32 #endif
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
const CanonicalForm int s
Definition: facAbsFact.cc:55
poly pSubstPoly(poly p, int var, poly image)
Definition: maps_ip.cc:373
const poly a
Definition: syzextra.cc:212
poly p_MinPolyNormalize(poly p, const ring r)
Definition: maps.cc:328
return P p
Definition: myNF.cc:203
const ideal
Definition: gb_hack.h:42
const CanonicalForm CFMap CFMap int &both_non_zero int n
Definition: cfEzgcd.cc:52
int maMaxDeg_P(poly p, ring preimage_r)
Definition: maps.cc:296
int maMaxDeg_Ma(ideal a, ring preimage_r)
Definition: maps.cc:258
const ring r
Definition: syzextra.cc:208
Coefficient rings, fields and other domains suitable for Singular polynomials.
polyrec * poly
Definition: hilb.h:10
map maCopy(map theMap, const ring dst_ring)
Definition: maps.cc:38
number(* nMapFunc)(number a, const coeffs src, const coeffs dst)
maps "a", which lives in src, into dst
Definition: coeffs.h:71
ideal idSubstPoly(ideal id, int n, poly e)
Definition: maps_ip.cc:423
void maFindPerm(char const *const *const preim_names, int preim_n, char const *const *const preim_par, int preim_p, char const *const *const names, int n, char const *const *const par, int nop, int *perm, int *par_perm, n_coeffType ch)
Definition: maps.cc:169
n_coeffType
Definition: coeffs.h:26
poly maIMap(ring src_ring, ring dst_ring, poly p)
poly maEval(map theMap, poly p, ring preimage_r, nMapFunc nMap, ideal s, const ring dst_r)
Definition: maps.cc:121