| 1603 | } |
| 1604 | |
| 1605 | poly iiHighCorner(ideal I, int ak) |
| 1606 | { |
| 1607 | int i; |
| 1608 | if(!idIsZeroDim(I)) return NULL; // not zero-dim. |
| 1609 | poly po=NULL; |
| 1610 | if (rHasLocalOrMixedOrdering(currRing)) |
| 1611 | { |
| 1612 | scComputeHC(I,currRing->qideal,ak,po); |
| 1613 | if (po!=NULL) |
| 1614 | { |
| 1615 | pGetCoeff(po)=nInit(1); |
| 1616 | for (i=rVar(currRing); i>0; i--) |
| 1617 | { |
| 1618 | if (pGetExp(po, i) > 0) pDecrExp(po,i); |
| 1619 | } |
| 1620 | pSetComp(po,ak); |
| 1621 | pSetm(po); |
| 1622 | } |
| 1623 | } |
| 1624 | else |
| 1625 | po=pOne(); |
| 1626 | return po; |
| 1627 | } |
| 1628 | |
| 1629 | void iiCheckPack(package &p) |
| 1630 | { |
no test coverage detected