- Timestamp:
- Nov 22, 2012, 10:19:29 PM (11 years ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- 6fcddc9d1ce61bb4b060ffc6ead86cd70694c9a8
- Parents:
- e12d106a70736a96de005699524e86b37b9e9c98
- git-author:
- Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-11-22 22:19:29+01:00
- git-committer:
- Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-11-26 17:18:46+01:00
- Location:
- kernel
- Files:
-
- 4 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/ideals.cc
re12d106 r30664c 751 751 ideal idLiftStd (ideal h1, matrix* ma, tHomog hi, ideal * syz) 752 752 { 753 int i, j, k, t, inputIsIdeal=id_RankFreeModule(h1,currRing); 753 int i, j, t, inputIsIdeal=id_RankFreeModule(h1,currRing); 754 long k; 754 755 poly p=NULL, q; 755 756 intvec *w=NULL; … … 778 779 SI_SAVE_OPT2(save2); 779 780 780 k=si_max( 1,(int)id_RankFreeModule(h1,currRing));781 k=si_max((long)1,id_RankFreeModule(h1,currRing)); 781 782 782 783 if ((k==1) && (!lift3)) si_opt_2 |=Sy_bit(V_IDLIFT); -
kernel/kstd1.cc
re12d106 r30664c 2156 2156 w = &temp_w; 2157 2157 } 2158 if ((h==testHomog) 2159 ) 2158 if (h==testHomog) 2160 2159 { 2161 2160 if (strat->ak == 0) -
kernel/kstdfac.cc
re12d106 r30664c 905 905 strat->LazyDegree = 1; 906 906 strat->ak = id_RankFreeModule(F,currRing); 907 if ( (h==testHomog))907 if (h==testHomog) 908 908 { 909 909 if (strat->ak==0) -
kernel/kutil.cc
re12d106 r30664c 5963 5963 strat->syzl = strat->syzmax = ps; 5964 5964 strat->syzidxmax = comp; 5965 #if def DEBUGF5 || DEBUGF515965 #if defined(DEBUGF5) || defined(DEBUGF51) 5966 5966 printf("------------- GENERATING SYZ RULES NEW ---------------\n"); 5967 5967 #endif … … 8104 8104 return r; 8105 8105 } 8106 8107 8108 8109 8110 8111 8112 8113 8106 ring res = rCopy0(r, FALSE, TRUE); 8107 for (int i=1; i<n-1; i++) 8108 { 8109 res->order[i] = res->order[i-1]; 8110 res->block0[i] = res->block0[i-1]; 8111 res->block1[i] = res->block1[i-1]; 8112 res->wvhdl[i] = res->wvhdl[i-1]; 8113 } 8114 8114 8115 8115 // new 1st block … … 8137 8137 } 8138 8138 #endif 8139 strat->tailRing = res; 8140 return (res); 8141 } 8139 strat->tailRing = res; 8140 return (res); 8141 } 8142 8142 8143 // not incremental => use Schreyer order 8143 8144 // this is done by a trick when initializing the signatures … … 8148 8149 // => we do not need to change the underlying polynomial ring at all! 8149 8150 8151 // UPDATE/NOTE/TODO: use induced Schreyer ordering 'IS'!!!!???? 8150 8152 8151 8153 /* … … 8244 8246 } 8245 8247 */ 8248 8249 assume(FALSE); 8250 return(NULL); 8246 8251 } 8247 8252
Note: See TracChangeset
for help on using the changeset viewer.