Go to the source code of this file.
|
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) |
|
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) |
|
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) |
|
◆ idSubstPoly()
Definition at line 424 of file maps_ip.cc.
425{
426
427#ifdef HAVE_PLURAL
429 {
432 res->rank =
id->rank;
434 {
436 }
438 }
439#endif
440#ifdef HAVE_SHIFTBBA
442 {
445 res->rank =
id->rank;
447 {
449 }
451 }
452#endif
454}
number ndCopyMap(number a, const coeffs src, const coeffs dst)
ideal id_SubstPoly(ideal id, int var, poly image, const ring preimage_r, const ring image_r, const nMapFunc nMap)
matrix mpNew(int r, int c)
create a r x c zero-matrix
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
#define pCopy(p)
return a copy of the poly
static BOOLEAN rIsPluralRing(const ring r)
we must always have this test!
static BOOLEAN rIsLPRing(const ring r)
◆ maCopy()
Definition at line 32 of file maps.cc.
33{
40}
CanonicalForm map(const CanonicalForm &primElem, const Variable &alpha, const CanonicalForm &F, const Variable &beta)
map from to such that is mapped onto
static poly p_Copy(poly p, const ring r)
returns a copy of p
ideal idInit(int idsize, int rank)
initialise an ideal / module
◆ maEval()
Definition at line 115 of file maps.cc.
116{
119
120
121
122
123
124
125
126
127
128
129
131 {
135 {
137
139 {
142 }
143 }
146 {
147 for(
i =
l-1;
i>=0;
i--)
148 {
150 }
152 }
153
156
159 }
161}
static FORCE_INLINE BOOLEAN nCoeff_is_algExt(const coeffs r)
TRUE iff r represents an algebraic extension field.
const CanonicalForm int s
static poly maEvalMonom(map theMap, poly p, ring preimage_r, ideal s, nMapFunc nMap, const ring dst_r)
poly p_MinPolyNormalize(poly p, const ring r)
#define omFreeSize(addr, size)
static int pLength(poly a)
static poly p_Add_q(poly p, poly q, const ring r)
◆ maEvalVariable()
Definition at line 46 of file maps.cc.
47{
50
52
54 {
57
59 {
61 }
62 else
63 {
65 {
67 }
69 }
70
72 {
75 }
77 }
78 else
79 {
81 }
83}
const Variable & v
< [in] a sqrfree bivariate poly
#define MATELEM(mat, i, j)
1-based access to matrix
poly p_Power(poly p, int i, const ring r)
void p_Normalize(poly p, const ring r)
static poly pp_Mult_qq(poly p, poly q, const ring r)
◆ maFetchPermLP()
Definition at line 306 of file maps.cc.
308{
310
313
316
319
320
322 {
323
325 {
327 }
328
329
331 {
333 }
334 }
335}
static int si_min(const int a, const int b)
◆ 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 at line 163 of file maps.cc.
166{
168
170 {
172 {
174 {
177
179 break;
180 }
181 }
183
185 {
187 {
189 {
192
194 }
195 }
196 }
197 }
199 {
201 {
203 {
205 {
208
210 break;
211 }
212 }
214 {
216 {
218 {
221
223 }
224 }
225 }
226 }
227 }
228}
◆ 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 at line 231 of file maps.cc.
234{
236
238 {
240 {
241 int cnt=0;
243 {
245 {
247 {
250
252 break;
253 }
254 else cnt++;
255 }
256 }
258
260 {
262 {
264 {
267
269 }
270 }
271 }
272 }
273 }
275 {
277 {
279 {
281 {
284
286 break;
287 }
288 }
290 {
292 {
294 {
297
299 }
300 }
301 }
302 }
303 }
304}
◆ maIMap()
poly maIMap |
( |
ring | src_ring, |
|
|
ring | dst_ring, |
|
|
poly | p ) |
◆ maMaxDeg_Ma()
Definition at line 360 of file maps.cc.
361{
366
368 {
370
372 {
374 {
377 {
380 }
381 }
383 }
384 }
387 {
389 }
393}
static int si_max(const int a, const int b)
const CanonicalForm CFMap CFMap & N
static long p_GetExp(const poly p, const unsigned long iBitmask, const int VarOffset)
get a single variable exponent @Note: the integer VarOffset encodes:
◆ maMaxDeg_P()
int maMaxDeg_P |
( |
poly | p, |
|
|
ring | preimage_r ) |
Definition at line 398 of file maps.cc.
399{
403
404
406 {
408 {
411 {
414 }
415 }
417 }
420 {
422 }
426}
◆ p_MinPolyNormalize()
poly p_MinPolyNormalize |
( |
poly | p, |
|
|
const ring | r ) |
Definition at line 430 of file maps.cc.
431{
435
437
439 {
440
443 {
445 }
446 else
447 {
452 }
453 }
457}
static FORCE_INLINE number n_Mult(number a, number b, const coeffs r)
return the product of 'a' and 'b', i.e., a*b
static FORCE_INLINE BOOLEAN n_IsZero(number n, const coeffs r)
TRUE iff 'n' represents the zero element.
static FORCE_INLINE void n_Delete(number *p, const coeffs r)
delete 'p'
static FORCE_INLINE number n_Init(long i, const coeffs r)
a number representing i in the given coeff field/ring r
The main handler for Singular numbers which are suitable for Singular polynomials.
static void p_LmDelete(poly p, const ring r)
static number p_SetCoeff(poly p, number n, ring r)
◆ pSubstPoly()
poly pSubstPoly |
( |
poly | p, |
|
|
int | var, |
|
|
poly | image ) |
Definition at line 402 of file maps_ip.cc.
403{
405#ifdef HAVE_PLURAL
407 {
409 }
410#endif
411#ifdef HAVE_SHIFTBBA
413 {
415 }
416#endif
418}
poly p_SubstPoly(poly p, int var, poly image, const ring preimage_r, const ring image_r, const nMapFunc nMap, matrix cache=NULL)