Changeset bd10ed in git
- Timestamp:
- Feb 22, 2018, 4:55:36 PM (6 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 6198629402663b11697d755d8512ff5ca032226c
- Parents:
- 1867cd7ce4ee1a90996f9ff18e5331575cc63701
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
libpolys/polys/kbuckets.cc
r1867cd rbd10ed 104 104 #endif 105 105 pFalseReturn(p_Test(bucket->buckets[i], bucket->bucket_ring)); 106 if ( bucket->buckets_length[i] != pLength(bucket->buckets[i]))106 if ((unsigned)bucket->buckets_length[i] != pLength(bucket->buckets[i])) 107 107 { 108 108 dReportError("Bucket %d lengths difference should:%d has:%d", … … 334 334 //assume(false); 335 335 assume(bucket != NULL); 336 assume(length <= 0 || length == pLength(lm));336 assume(length <= 0 || (unsigned)length == pLength(lm)); 337 337 assume(kBucketIsCleared(bucket)); 338 338 … … 434 434 assume(bucket->coef[i]==NULL); 435 435 #endif 436 assume(pLength(p) == ( int)pl);436 assume(pLength(p) == (unsigned)pl); 437 437 //if (TEST_OPT_PROT) { Print("C(%d)",pl); } 438 438 kbTest(bucket); … … 734 734 if ((i <= bucket->buckets_used) && (bucket->buckets[i] != NULL)) 735 735 { 736 assume(pLength(bucket->buckets[i])== bucket->buckets_length[i]);736 assume(pLength(bucket->buckets[i])==(unsigned)bucket->buckets_length[i]); 737 737 //#ifdef USE_COEF_BUCKETS 738 738 // if(bucket->coef[i]!=NULL) … … 804 804 { 805 805 assume((!rIsPluralRing(bucket->bucket_ring))||p_IsConstant(m, bucket->bucket_ring)); 806 assume(l <= 0 || pLength(p) == l);806 assume(l <= 0 || pLength(p) == (unsigned)l); 807 807 int i, l1; 808 808 poly p1 = p; … … 1035 1035 if (q != NULL) 1036 1036 { 1037 assume(pLength(q) == lq);1037 assume(pLength(q) == (unsigned)lq); 1038 1038 bucket->buckets_length[i] -= lq; 1039 assume(pLength(bucket->buckets[i]) == bucket->buckets_length[i]);1039 assume(pLength(bucket->buckets[i]) == (unsigned)bucket->buckets_length[i]); 1040 1040 p = p_Add_q(p, q, lp, lq, bucket->bucket_ring); 1041 1041 } … … 1067 1067 assume(p1 != NULL && 1068 1068 p_DivisibleBy(p1, kBucketGetLm(bucket), r)); 1069 assume(pLength(p1) == ( int) l1);1069 assume(pLength(p1) == (unsigned) l1); 1070 1070 1071 1071 poly a1 = pNext(p1), lm = kBucketExtractLm(bucket); … … 1125 1125 l1--; 1126 1126 1127 assume( l1==pLength(a1));1127 assume((unsigned)l1==pLength(a1)); 1128 1128 #if 0 1129 1129 BOOLEAN backuped=FALSE; … … 1171 1171 1172 1172 number nn=pGetCoeff(bucket->buckets[0]); 1173 if ((bucket->buckets_used==0)1174 &&(!n_IsOne(nn,cf)))1175 {1176 if (TEST_OPT_PROT) PrintS("@");1177 p_SetCoeff(bucket->buckets[0],n_Init(1,cf),r);1178 return;1179 }1173 //if ((bucket->buckets_used==0) 1174 //&&(!n_IsOne(nn,cf))) 1175 //{ 1176 // if (TEST_OPT_PROT) PrintS("@"); 1177 // p_SetCoeff(bucket->buckets[0],n_Init(1,cf),r); 1178 // return; 1179 //} 1180 1180 1181 1181 if (n_Size(nn,cf)<2) return;
Note: See TracChangeset
for help on using the changeset viewer.