Loading...
Searching...
No Matches
maps_ip.h
Go to the documentation of this file.
#ifndef MAPS_IP_H
#define MAPS_IP_H
/****************************************
* Computer Algebra System SINGULAR *
****************************************/
/*
* ABSTRACT - the mapping of polynomials to other rings
*/
#include "kernel/mod2.h"
#include "polys/matpol.h"
#include "kernel/structs.h"
#include "kernel/ideals.h"
#include "kernel/polys.h"
poly pSubstPoly(poly p, int var, poly image);
poly pSubstPar(poly p, int par, poly image);
ideal idSubstPoly(ideal id, int n, poly e);
ideal idSubstPar(ideal id, int n, poly e);
/*
* maps the expression w to res,
* switch what: MAP_CMD: use theMap for mapping, N for preimage ring
* //FETCH_CMD: use pOrdPoly for mapping
* IMAP_CMD: use perm for mapping, N for preimage ring
* default: map only poly-structures,
* use perm and par_perm, N and P,
*/
BOOLEAN maApplyFetch(int what,map theMap,leftv res, leftv w, ring preimage_r,
int *perm, int *par_perm, int P, nMapFunc nMap);
#endif
BOOLEAN
int BOOLEAN
Definition auxiliary.h:88
p
int p
Definition cfModGcd.cc:4086
map
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:505
nMapFunc
number(* nMapFunc)(number a, const coeffs src, const coeffs dst)
maps "a", which lives in src, into dst
Definition coeffs.h:80
res
CanonicalForm res
Definition facAbsFact.cc:60
w
const CanonicalForm & w
Definition facAbsFact.cc:51
ideals.h
pSubstPoly
poly pSubstPoly(poly p, int var, poly image)
Definition maps_ip.cc:403
idSubstPoly
ideal idSubstPoly(ideal id, int n, poly e)
Definition maps_ip.cc:425
maApplyFetch
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
idSubstPar
ideal idSubstPar(ideal id, int n, poly e)
Definition maps_ip.cc:386
pSubstPar
poly pSubstPar(poly p, int par, poly image)
Definition maps_ip.cc:266
matpol.h
mod2.h
polys.h
Compatibility layer for legacy polynomial operations (over currRing).
structs.h
leftv
sleftv * leftv
Definition structs.h:53