Go to the source code of this file.
◆ fractalWalkConsistency()
Definition at line 220 of file walkProc.cc.
221{
224
226 {
227 WerrorS(
"rings must have same characteristic" );
229 }
230
233 {
234 WerrorS(
"only works for global orderings" );
236 }
237
239 {
240 WerrorS(
"rings must have same number of variables" );
242 }
243
245 {
246 WerrorS(
"rings must have same number of parameters" );
248 }
249
250 if ( state !=
WalkOk )
return state;
251
252
253
259
261 {
265 }
266 else
267 {
271 }
272
276
279 {
280 WerrorS(
"variable names do not agree" );
282 }
283
286 {
287 WerrorS(
"parameter names do not agree" );
289 }
290
291
292
295 {
296 WerrorS(
"orders of variables do not agree" );
298 }
299
300
303 {
304 WerrorS(
"orders of parameters do not agree" );
306 }
307
310
311 if ( state !=
WalkOk )
return state;
312
313
315 {
316 WerrorS(
"rings are not allowed to be qrings");
318 }
319
321 while(
dring->order[
i]!=0){
329 )
330 {
332 }
334 }
335
338 {
346 )
347 {
349 }
351 }
352
353 return state;
354}
void WerrorS(const char *s)
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)
#define omFreeSize(addr, size)
static BOOLEAN rHasLocalOrMixedOrdering(const ring r)
static int rPar(const ring r)
(r->cf->P)
static short rVar(const ring r)
#define rVar(r) (r->N)
@ WalkIncompatibleDestRing
@ WalkIncompatibleSourceRing
◆ walkConsistency()
Definition at line 53 of file walkProc.cc.
54{
57
59 {
60 WerrorS(
"rings must have same characteristic" );
62 }
65 {
66 WerrorS(
"only works for global orderings" );
68 }
70 {
71 WerrorS(
"rings must have same number of variables" );
73 }
75 {
76 WerrorS(
"rings must have same number of parameters" );
78 }
79
80 if ( state !=
WalkOk )
return state;
81
82
83
90 {
94 }
95 else
96 {
100 }
101
105
108 {
109 WerrorS(
"variable names do not agree" );
111 }
112
115 {
116 WerrorS(
"parameter names do not agree" );
118 }
119
120
123 {
124 WerrorS(
"orders of variables do not agree" );
126 }
127
128
130 {
132 {
133 WerrorS(
"orders of parameters do not agree" );
135 }
136 }
139
140 if ( state !=
WalkOk )
return state;
141
142
144 {
145 WerrorS(
"rings are not allowed to be qrings");
147 }
148
151 {
152 if(
162 )
163 {
165 }
167 }
168
171 {
172 if(
182 )
183 {
185 }
187 }
188
189 return state;
190}
@ ringorder_a64
for int64 weights