| 2584 | return mpKoszul(res, u, &h, v); |
| 2585 | } |
| 2586 | static BOOLEAN jjLIFT(leftv res, leftv u, leftv v) |
| 2587 | { |
| 2588 | int ul= IDELEMS((ideal)u->Data()); |
| 2589 | int vl= IDELEMS((ideal)v->Data()); |
| 2590 | #ifdef HAVE_SHIFTBBA |
| 2591 | if (rIsLPRing(currRing)) |
| 2592 | { |
| 2593 | if (currRing->LPncGenCount < ul) |
| 2594 | { |
| 2595 | Werror("At least %d ncgen variables are needed for this computation.", ul); |
| 2596 | return TRUE; |
| 2597 | } |
| 2598 | } |
| 2599 | #endif |
| 2600 | ideal m = idLift((ideal)u->Data(),(ideal)v->Data(),NULL,FALSE, |
| 2601 | hasFlag(u,FLAG_STD)); |
| 2602 | if (m==NULL) return TRUE; |
| 2603 | res->data = (char *)id_Module2formatedMatrix(m,ul,vl,currRing); |
| 2604 | return FALSE; |
| 2605 | } |
| 2606 | static BOOLEAN jjLIFTSTD(leftv res, leftv u, leftv v) |
| 2607 | { |
| 2608 | if ((v->rtyp!=IDHDL)||(v->e!=NULL)) return TRUE; |
nothing calls this directly
no test coverage detected