Changeset 7a5d05 in git
- Timestamp:
- Apr 16, 2015, 2:00:21 PM (8 years ago)
- Branches:
- (u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
- Children:
- 1b7bc4cdfc3efa77d24a9245038005aba1b0df36
- Parents:
- e523f3501b57e41faeb3688cbe5daa7373cf1408
- Files:
-
- 10 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/ipshell.cc
re523f3 r7a5d05 2271 2271 2272 2272 ring R = (ring) omAlloc0Bin(sip_sring_bin); 2273 R->NF=k_NF; 2273 2274 2274 2275 … … 5319 5320 // allocated ring 5320 5321 R = (ring) omAlloc0Bin(sip_sring_bin); 5322 R->NF=k_NF; 5321 5323 5322 5324 coeffs cf = NULL; … … 5387 5389 TransExtInfo extParam; 5388 5390 5389 extParam.r = rDefault( ch, pars, names ); // Q/Zp [ p_1, ... p_pars ]5391 extParam.r = rDefault( ch, pars, names, k_NF); // Q/Zp [ p_1, ... p_pars ] 5390 5392 for(int i=pars-1; i>=0;i--) 5391 5393 { -
Singular/test.cc
re523f3 r7a5d05 353 353 // changing a ring for the interpreter 354 354 // re-using n and R from above 355 ring R = rDefault(32003, 3, n );355 ring R = rDefault(32003, 3, n,k_NF); 356 356 idhdl newRingHdl=enterid("R" /* ring name*/, 357 357 0, /*nesting level, 0=global*/ -
Singular/walk.cc
re523f3 r7a5d05 2288 2288 2289 2289 ring r = (ring) omAlloc0Bin(sip_sring_bin); 2290 r->NF = currRing->NF; 2290 2291 int i, nv = currRing->N; 2291 2292 … … 2370 2371 2371 2372 ring r = (ring) omAlloc0Bin(sip_sring_bin); 2373 r->NF = currRing->NF; 2372 2374 int i, nv = currRing->N; 2373 2375 … … 2440 2442 2441 2443 ring r = (ring) omAlloc0Bin(sip_sring_bin); 2444 r->NF = currRing->NF; 2442 2445 int i, nv = currRing->N; 2443 2446 … … 2515 2518 2516 2519 ring r = (ring) omAlloc0Bin(sip_sring_bin); 2520 r->NF = currRing->NF; 2517 2521 int i, nv = currRing->N; 2518 2522 … … 2598 2602 2599 2603 ring r = (ring) omAlloc0Bin(sip_sring_bin); 2604 r->NF = currRing->NF; 2600 2605 int i, nv = currRing->N; 2601 2606 … … 2676 2681 2677 2682 ring r = (ring) omAlloc0Bin(sip_sring_bin); 2683 r->NF = currRing->NF; 2678 2684 int i, nv = currRing->N; 2679 2685 int nvs = nv*nv; … … 2759 2765 2760 2766 ring r = (ring) omAlloc0Bin(sip_sring_bin); 2767 r->NF = currRing->NF; 2761 2768 int i, nv = currRing->N; 2762 2769 -
kernel/GBEngine/test.cc
re523f3 r7a5d05 425 425 n[2]=omStrDup("z2"); 426 426 427 ring R = rDefault(32003,3,n ); // ring R = rDefault(0,3,n);427 ring R = rDefault(32003,3,n,k_NF); // ring R = rDefault(0,3,n); 428 428 429 429 rWrite(R); PrintLn(); -
kernel/test.cc
re523f3 r7a5d05 536 536 n[2]=omStrDup("z2"); 537 537 538 ring R = rDefault(32003,3,n ); // ring R = rDefault(0,3,n);538 ring R = rDefault(32003,3,n,k_NF); // ring R = rDefault(0,3,n); 539 539 540 540 rWrite(R); PrintLn(); -
libpolys/polys/monomials/ring.cc
re523f3 r7a5d05 146 146 return rDefault(cf,N,n,ord_size,ord,block0,block1,wvhdl); 147 147 } 148 ring rDefault(const coeffs cf, int N, char **n )148 ring rDefault(const coeffs cf, int N, char **n, const NF_Proc NF) 149 149 { 150 150 assume( cf != NULL); … … 160 160 order[1] = 0; 161 161 162 return rDefault(cf,N,n,2,order,block0,block1); 163 } 164 165 ring rDefault(int ch, int N, char **n) 162 ring r= rDefault(cf,N,n,2,order,block0,block1); 163 r->NF=NF; 164 return r; 165 } 166 167 ring rDefault(int ch, int N, char **n, const NF_Proc NF) 166 168 { 167 169 coeffs cf; … … 169 171 else cf=nInitChar(n_Zp,(void*)(long)ch); 170 172 assume( cf != NULL); 171 return rDefault(cf,N,n );173 return rDefault(cf,N,n,NF); 172 174 } 173 175 … … 1303 1305 res->N=rVar(r); /* number of vars */ 1304 1306 res->OrdSgn=r->OrdSgn; /* 1 for polynomial rings, -1 otherwise */ 1307 res->NF=r->NF; 1305 1308 1306 1309 res->firstBlockEnds=r->firstBlockEnds; … … 3395 3398 return FALSE; 3396 3399 } 3400 static poly rNF_Dummy(ideal, ideal, poly, int, int, const ring _currRing) 3401 { 3402 WerrorS("NF not defined"); return NULL; 3403 } 3397 3404 3398 3405 BOOLEAN rComplete(ring r, int force) 3399 3406 { 3400 3407 if (r->VarOffset!=NULL && force == 0) return FALSE; 3408 if (r->NF==NULL) r->NF=rNF_Dummy; 3401 3409 rSetOutParams(r); 3402 3410 int n=rBlocks(r)-1; -
libpolys/polys/monomials/ring.h
re523f3 r7a5d05 201 201 #endif 202 202 203 typedef poly (*NF_Proc)(ideal, ideal, poly, int, int, const ring _currRing); 204 203 205 struct ip_sring 204 206 { … … 251 253 // mpz_ptr cf->modNumber; 252 254 // #endif 255 256 NF_Proc NF; /* unused for commutative rings 257 * for noncommutative qrings R/I: 258 * the k_NF of the corresponding R 259 */ 253 260 254 261 unsigned long options; /* ring dependent options */ … … 337 344 /////// void rChangeCurrRing(ring r); 338 345 339 ring rDefault(int ch, int N, char **n); 340 ring rDefault(const coeffs cf, int N, char **n); 346 // NF must be given as k_NF or equivalent for PLURAL rings: 347 ring rDefault(int ch, int N, char **n, const NF_Proc NF=NULL); 348 ring rDefault(const coeffs cf, int N, char **n, const NF_Proc NF=NULL); 341 349 ring rDefault(int ch, int N, char **n,int ord_size, int *ord, int *block0, int *block1, int **wvhdl=NULL); 342 350 ring rDefault(const coeffs cf, int N, char **n,int ord_size, int *ord, int *block0, int *block1, int **wvhdl=NULL); -
libpolys/polys/nc/gb_hack.h
re523f3 r7a5d05 28 28 ideal sca_mora(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing); 29 29 30 poly k_NF(ideal, ideal, poly, int, int, const ring _currRing);31 32 30 33 31 … … 51 49 D(ideal sca_mora(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing)) 52 50 53 D(poly k_NF(ideal, ideal, poly, int, int, const ring _currRing))54 55 51 #endif // # ifdef PLURAL_INTERNAL_DECLARATIONS_GB_HACK 56 52 #endif // PLURAL_INTERNAL_DECLARATIONS -
libpolys/polys/nc/nc.h
re523f3 r7a5d05 29 29 nc_exterior /*5*/ // Exterior Algebra(SCA): yx= -xy & (!:) x^2 = 0 30 30 }; 31 31 32 32 33 -
libpolys/polys/nc/sca.cc
re523f3 r7a5d05 1118 1118 // square = NF( var(i)^2 | Q ) 1119 1119 // NOTE: there is no better way to check this in general! 1120 square = k_NF(idQuotient, NULL, square, 0, 1, rG); // must ran in currRing == rG!1120 square = rG->NF(idQuotient, NULL, square, 0, 1, rG); // must ran in currRing == rG! 1121 1121 1122 1122 if( square != NULL ) // var(i)^2 is not in Q?
Note: See TracChangeset
for help on using the changeset viewer.