Changeset 1db49f in git for kernel/syz1.cc
- Timestamp:
- Nov 11, 2010, 4:18:11 PM (13 years ago)
- Branches:
- (u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
- Children:
- 305203f55e4311b004c2b06907682977f456e3bb
- Parents:
- ffc1929d7935a3701497da7b790f35e60cb090e1
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/syz1.cc
rffc192 r1db49f 163 163 * exp[0] 164 164 */ 165 static int syzcomp0dpc(poly p1, poly p2)166 {167 /*4 compare monomials by order then revlex*/168 int i = pVariables;169 if ((pGetExp(p1,i) == pGetExp(p2,i)))170 {171 do172 {173 i--;174 if (i <= 1)175 {176 /*4 handle module case:*/177 if (pGetComp(p1)==pGetComp(p2)) return 0;178 else if179 (currcomponents[pGetComp(p1)]>currcomponents[pGetComp(p2)])180 return 1;181 else return -1;182 }183 } while ((pGetExp(p1,i) == pGetExp(p2,i)));184 }185 if (pGetExp(p1,i) < pGetExp(p2,i)) return 1;186 return -1;187 }188 189 /*3190 * replaces comp1dpc during homogeneous syzygy-computations191 * compares with components of currcomponents instead of the192 * exp[0]193 */194 int syzcomp1dpc(poly p1, poly p2)195 {196 int i = pVariables;197 while ((i>1) && (pGetExp(p1,i)==pGetExp(p2,i)))198 i--;199 if (i>1)200 {201 if (pGetExp(p1,i) < pGetExp(p2,i)) return 1;202 return -1;203 }204 int o1=pGetComp(p1);205 int o2=pGetComp(p2);206 if (o1==o2/*pGetComp(p1)==pGetComp(p2)*/) return 0;207 if (currcomponents[o1]>currcomponents[o2]) return 1;208 return -1;209 210 }211 212 /*3213 * replaces comp1dpc during homogeneous syzygy-computations214 * compares with components of currcomponents instead of the215 * exp[0]216 */217 165 218 166 #ifdef PDEBUG … … 276 224 } 277 225 #endif // PDEBUG 278 279 /*3280 * compares only the monomial without component281 */282 static int syzcompmonomdp(poly p1, poly p2)283 {284 int i;285 286 /*4 compare monomials by order then revlex*/287 if (pGetOrder(p1) == pGetOrder(p2))288 {289 i = pVariables;290 if ((pGetExp(p1,i) == pGetExp(p2,i)))291 {292 do293 {294 i--;295 if (i <= 1)296 return 0;297 } while ((pGetExp(p1,i) == pGetExp(p2,i)));298 }299 if (pGetExp(p1,i) < pGetExp(p2,i)) return 1;300 return -1;301 }302 else if (pGetOrder(p1) > pGetOrder(p2)) return 1;303 return -1;304 }305 226 306 227 poly syRedtail (poly p, syStrategy syzstr, int index)
Note: See TracChangeset
for help on using the changeset viewer.