2 * computes the s-polynomials L[ ].p in L */
| 1392 | * computes the s-polynomials L[ ].p in L |
| 1393 | */ |
| 1394 | void updateL(kStrategy strat) |
| 1395 | { |
| 1396 | LObject p; |
| 1397 | int dL; |
| 1398 | int j=strat->Ll; |
| 1399 | loop |
| 1400 | { |
| 1401 | if (j<0) break; |
| 1402 | if (hasPurePower(&(strat->L[j]),strat->lastAxis,&dL,strat)) |
| 1403 | { |
| 1404 | p=strat->L[strat->Ll]; |
| 1405 | strat->L[strat->Ll]=strat->L[j]; |
| 1406 | strat->L[j]=p; |
| 1407 | break; |
| 1408 | } |
| 1409 | j--; |
| 1410 | } |
| 1411 | if (j<0) |
| 1412 | { |
| 1413 | j=strat->Ll; |
no test coverage detected