Changeset 1db49f in git
 Timestamp:
 Nov 11, 2010, 4:18:11 PM (13 years ago)
 Branches:
 (u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
 Children:
 305203f55e4311b004c2b06907682977f456e3bb
 Parents:
 ffc1929d7935a3701497da7b790f35e60cb090e1
 Location:
 kernel
 Files:

 2 edited
Legend:
 Unmodified
 Added
 Removed

kernel/syz.h
rffc192 r1db49f 119 119 extern long * currShiftedComponents; 120 120 121 int syzcomp1dpc(poly p1, poly p2);122 121 void syDeletePair(SObject * so); 123 122 void syInitializePair(SObject * so); 
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 syzygycomputations191 * 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 syzygycomputations214 * 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.