Changeset 4c8d61 in git
 Timestamp:
 Jan 12, 2006, 3:12:41 PM (18 years ago)
 Branches:
 (u'spielwiese', '2fa36c576e6a4ddbb1093b43c7f8e9835e17e52a')
 Children:
 9ce72aecbd5700bb291ae22e4875d6cd55c525ae
 Parents:
 81b5ccbea580cf9ad07afa719bcbae778a040bd4
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

kernel/kbuckets.cc
r81b5cc r4c8d61 2 2 * Computer Algebra System SINGULAR * 3 3 ****************************************/ 4 /* $Id: kbuckets.cc,v 1.1 4 20060110 11:00:46 SingularExp $ */4 /* $Id: kbuckets.cc,v 1.15 20060112 14:12:41 bricken Exp $ */ 5 5 6 6 #include "mod2.h" … … 1047 1047 //if (TEST_OPT_PROT) 1048 1048 // PrintS("CCCCCCCCCCCCC"); 1049 for (i= 0;i<=MAX_BUCKET;i++)1049 for (i=MAX_BUCKET;i>=0;i) 1050 1050 { 1051 1051 if (i==0) … … 1056 1056 { 1057 1057 assume(bucket>coef[i]!=NULL); 1058 assume(!(n_IsZero(pGetCoeff(bucket>coef[i]),r))); 1059 1060 1058 1061 //in this way it should crash on programming errors, yeah 1059 number temp=nGcd(coef, pGetCoeff(bucket> buckets[i]),r);1062 number temp=nGcd(coef, pGetCoeff(bucket>coef[i]),r); 1060 1063 n_Delete(&coef,r ); 1061 1064 coef=temp; … … 1065 1068 return; 1066 1069 } 1070 assume(!(n_IsZero(coef,r))); 1067 1071 } 1068 1072 } … … 1071 1075 for(i=0;i<=MAX_BUCKET;i++) 1072 1076 { 1077 1073 1078 if (bucket>buckets[i]!=NULL) 1074 1079 { 1080 assume(!(n_IsZero(coef,r))); 1075 1081 assume(bucket>coef[i]!=NULL); 1076 1082 number lc=p_GetCoeff(bucket>coef[i],r); 1077 1083 p_SetCoeff(bucket>coef[i], n_IntDiv(lc,coef,r),r); 1084 assume(!(n_IsZero(p_GetCoeff(bucket>coef[i],r),r))); 1078 1085 } 1079 1086 }
Note: See TracChangeset
for help on using the changeset viewer.