Changeset 836c32 in git
 Timestamp:
 Aug 23, 2016, 4:01:06 PM (7 years ago)
 Branches:
 (u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')
 Children:
 74eafed4a90b880a02beba6665b920093bec6aa2
 Parents:
 353e59740153da5f7c66ce40ec97f46571896b9a
 gitauthor:
 Andreas Steenpass <steenpass@mathematik.unikl.de>20160823 16:01:06+02:00
 gitcommitter:
 Andreas Steenpass <steenpass@mathematik.unikl.de>20171215 12:17:07+01:00
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

kernel/GBEngine/syz4.cc
r353e59 r836c32 343 343 return NULL; 344 344 } 345 long c = 0;346 if (syzterm != NULL)347 c = p_GetComp(syzterm, r)  1;348 const BOOLEAN to_check = !syz_checker>empty();349 345 const poly q = p_New(r); 350 346 pNext(q) = NULL; 351 347 const unsigned long m_not_sev = ~p_GetShortExpVector(multiplier, t, r); 352 while (true) { 353 for( ; m_current != m_finish; ++m_current) { 354 if ( !((*m_current)>sev & m_not_sev) 355 && _p_LmDivisibleByNoComp((*m_current)>lt, multiplier, t, r)) { 356 break; 357 } 358 } 359 if (m_current == m_finish) { 360 break; 348 for( ; m_current != m_finish; ++m_current) { 349 if ( ((*m_current)>sev & m_not_sev) 350  !(_p_LmDivisibleByNoComp((*m_current)>lt, multiplier, t, r))) { 351 continue; 361 352 } 362 353 const poly p = (*m_current)>lt; 363 354 const int k = (*m_current)>label; 364 ++m_current;365 355 p_ExpVectorSum(q, multiplier, t, r); // q == product == multiplier * t 366 356 p_ExpVectorDiff(q, q, p, r); // (LM(product) / LM(L[k])) … … 368 358 p_Setm(q, r); 369 359 // cannot allow something like: a*gen(i)  a*gen(i) 370 if (syzterm != NULL && (k == c))371 if (p_ExpVectorEqual(syzterm, q, r)) {360 if (syzterm != NULL && (k == p_GetComp(syzterm, r)  1) 361 && p_ExpVectorEqual(syzterm, q, r)) { 372 362 continue; 373 363 } 374 if ( to_check &&IsDivisible(syz_checker, q)) {364 if (IsDivisible(syz_checker, q)) { 375 365 continue; 376 366 }
Note: See TracChangeset
for help on using the changeset viewer.