Changeset 9e477a2 in git
- Timestamp:
- Apr 27, 2006, 4:19:31 PM (17 years ago)
- Branches:
- (u'spielwiese', 'f6c3dc58b0df4bd712574325fe76d0626174ad97')
- Children:
- f45bfb991cabced656e450cbed9e85720c469e54
- Parents:
- deee7fab2c59e4441205af3fcd0836df53242c88
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/tgb.cc
rdeee7f r9e477a2 5 5 * Computer Algebra System SINGULAR * 6 6 ****************************************/ 7 /* $Id: tgb.cc,v 1.8 4 2006-04-27 14:04:20bricken Exp $ */7 /* $Id: tgb.cc,v 1.85 2006-04-27 14:19:31 bricken Exp $ */ 8 8 /* 9 9 * ABSTRACT: slimgb and F4 implementation … … 3107 3107 return; 3108 3108 } 3109 if((!(c->is_homog)) &&(!(c->doubleSugar))) 3110 { 3111 3112 for (i2=i+1;i2<losl;i2++){ 3113 if (p_LmShortDivisibleBy(los[i].p,los[i].sev,los[i2].p,~los[i2].sev, 3114 c->r)){ 3115 int i3=i2; 3116 while((i3+1<losl) && (pLmEqual(los[i2].p, los[i3+1].p))) 3117 i3++; 3118 erg.to_reduce_u=i3; 3119 erg.to_reduce_l=i2; 3120 erg.reduce_by=i; 3121 erg.fromS=FALSE; 3122 assume((i==losl-1)||(pLmCmp(los[i].p,los[i+1].p)==-1)); 3123 canonicalize_region(los,erg.to_reduce_u+1,startf,c); 3124 return; 3125 } 3126 // else {assume(!p_LmDivisibleBy(los[i].p, los[i2].p,c->r));} 3127 } 3128 } 3109 3129 3110 i--; 3130 3111 }
Note: See TracChangeset
for help on using the changeset viewer.