My Project
Loading...
Searching...
No Matches
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
17poly pSubstPoly(poly p, int var, poly image);
18poly pSubstPar(poly p, int par, poly image);
19ideal idSubstPoly(ideal id, int n, poly e);
20ideal 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*/
31BOOLEAN maApplyFetch(int what,map theMap,leftv res, leftv w, ring preimage_r,
32 int *perm, int *par_perm, int P, nMapFunc nMap);
33#endif
int BOOLEAN
Definition: auxiliary.h:87
int p
Definition: cfModGcd.cc:4078
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:504
Class used for (list of) interpreter objects.
Definition: subexpr.h:83
number(* nMapFunc)(number a, const coeffs src, const coeffs dst)
maps "a", which lives in src, into dst
Definition: coeffs.h:73
CanonicalForm res
Definition: facAbsFact.cc:60
const CanonicalForm & w
Definition: facAbsFact.cc:51
poly pSubstPoly(poly p, int var, poly image)
Definition: maps_ip.cc:404
ideal idSubstPoly(ideal id, int n, poly e)
Definition: maps_ip.cc:426
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
ideal idSubstPar(ideal id, int n, poly e)
Definition: maps_ip.cc:387
poly pSubstPar(poly p, int par, poly image)
Definition: maps_ip.cc:267
Compatibility layer for legacy polynomial operations (over currRing)