Loading...
Searching...
No Matches
maps.h
Go to the documentation of this file.
#ifndef MAPS_H
#define MAPS_H
/****************************************
* Computer Algebra System SINGULAR *
****************************************/
/*
* ABSTRACT - the mapping of polynomials to other rings
*/
#include "coeffs/coeffs.h"
#include "polys/monomials/ring.h"
// poly maEval(map theMap, poly p, ring dst_ring, nMapFunc nMap, ideal s=NULL);
poly maEval(map theMap, poly p,ring preimage_r,nMapFunc nMap, ideal s, const ring dst_r);
map maCopy(map theMap, const ring dst_ring);
poly maIMap(ring src_ring, ring dst_ring, poly p);
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);
#ifdef HAVE_SHIFTBBA
void maFindPermLP(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, int lV);
void maFetchPermLP(const ring preimage_r, const ring dst_r, int * perm);
#endif
poly pSubstPoly(poly p, int var, poly image);
ideal idSubstPoly(ideal id, int n, poly e);
poly p_MinPolyNormalize(poly p, const ring r);
int maMaxDeg_P(poly p,ring preimage_r);
int maMaxDeg_Ma(ideal a,ring preimage_r);
poly maEvalVariable(poly p, int v,int pExp, ideal s, const ring dst_r);
#endif
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
coeffs.h
Coefficient rings, fields and other domains suitable for Singular polynomials.
n_coeffType
n_coeffType
Definition coeffs.h:27
nMapFunc
number(* nMapFunc)(number a, const coeffs src, const coeffs dst)
maps "a", which lives in src, into dst
Definition coeffs.h:80
s
const CanonicalForm int s
Definition facAbsFact.cc:51
v
const Variable & v
< [in] a sqrfree bivariate poly
Definition facBivar.h:39
pSubstPoly
poly pSubstPoly(poly p, int var, poly image)
Definition maps_ip.cc:403
maIMap
poly maIMap(ring src_ring, ring dst_ring, poly p)
maEval
poly maEval(map theMap, poly p, ring preimage_r, nMapFunc nMap, ideal s, const ring dst_r)
Definition maps.cc:117
maFetchPermLP
void maFetchPermLP(const ring preimage_r, const ring dst_r, int *perm)
Definition maps.cc:298
idSubstPoly
ideal idSubstPoly(ideal id, int n, poly e)
Definition maps_ip.cc:425
maCopy
map maCopy(map theMap, const ring dst_ring)
Definition maps.cc:34
maMaxDeg_P
int maMaxDeg_P(poly p, ring preimage_r)
Definition maps.cc:390
maFindPerm
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:155
maFindPermLP
void maFindPermLP(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, int lV)
Definition maps.cc:223
maEvalVariable
poly maEvalVariable(poly p, int v, int pExp, ideal s, const ring dst_r)
Definition maps.cc:48
maMaxDeg_Ma
int maMaxDeg_Ma(ideal a, ring preimage_r)
Definition maps.cc:352
p_MinPolyNormalize
poly p_MinPolyNormalize(poly p, const ring r)
Definition maps.cc:422
ring.h