2 * cuts in T above strat->kNoether and tries to cancel a unit * changes also S as S is a subset of T */
| 1529 | * changes also S as S is a subset of T |
| 1530 | */ |
| 1531 | void updateT(kStrategy strat) |
| 1532 | { |
| 1533 | int i = 0; |
| 1534 | LObject p; |
| 1535 | |
| 1536 | while (i <= strat->tl) |
| 1537 | { |
| 1538 | p = strat->T[i]; |
| 1539 | deleteHC(&p,strat, TRUE); |
| 1540 | /*- tries to cancel a unit: -*/ |
| 1541 | cancelunit(&p); |
| 1542 | if (TEST_OPT_INTSTRATEGY) /* deleteHC and/or cancelunit may have changed p*/ |
| 1543 | p.pCleardenom(); |
| 1544 | if (p.p != strat->T[i].p) |
| 1545 | { |
| 1546 | strat->sevT[i] = pGetShortExpVector(p.p); |
| 1547 | p.SetpFDeg(); |
| 1548 | } |
| 1549 | strat->T[i] = p; |
| 1550 | i++; |
| 1551 | } |
| 1552 | } |
| 1553 | |
| 1554 | /*2 |
| 1555 | * arranges red, pos and T if strat->kAllAxis (first time) |
no test coverage detected