dox/html/maps_8h_source.html

#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:4078

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:504

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:73

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:404

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:115

maFetchPermLP
void maFetchPermLP(const ring preimage_r, const ring dst_r, int *perm)
Definition: maps.cc:306

idSubstPoly
ideal idSubstPoly(ideal id, int n, poly e)
Definition: maps_ip.cc:426

maCopy
map maCopy(map theMap, const ring dst_ring)
Definition: maps.cc:32

maMaxDeg_P
int maMaxDeg_P(poly p, ring preimage_r)
Definition: maps.cc:398

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:163

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:231

maEvalVariable
poly maEvalVariable(poly p, int v, int pExp, ideal s, const ring dst_r)
Definition: maps.cc:46

maMaxDeg_Ma
int maMaxDeg_Ma(ideal a, ring preimage_r)
Definition: maps.cc:360

p_MinPolyNormalize
poly p_MinPolyNormalize(poly p, const ring r)
Definition: maps.cc:430

ring.h