| 922 | } |
| 923 | |
| 924 | BOOLEAN kTest_L(LObject *L, kStrategy strat, |
| 925 | BOOLEAN testp, int lpos, TSet T, int tlength) |
| 926 | { |
| 927 | ring strat_tailRing=strat->tailRing; |
| 928 | if (L->p!=NULL) |
| 929 | { |
| 930 | if ((L->t_p==NULL) |
| 931 | &&(pNext(L->p)!=NULL) |
| 932 | &&(pGetCoeff(pNext(L->p))!=NULL)) /* !=strat->tail*/ |
| 933 | { |
| 934 | p_Test(pNext(L->p),currRing); |
| 935 | nTest(pGetCoeff(L->p)); |
| 936 | } |
| 937 | } |
| 938 | if (L->t_p!=NULL) |
| 939 | { |
| 940 | if ((pNext(L->t_p)!=NULL) |
| 941 | &&(pGetCoeff(pNext(L->t_p))!=NULL)) /* !=strat->tail*/ |
| 942 | { |
| 943 | p_Test(pNext(L->t_p),strat_tailRing); |
| 944 | nTest(pGetCoeff(L->t_p)); |
| 945 | } |
| 946 | } |
| 947 | if ((L->p!=NULL)&&(L->t_p!=NULL)) assume(pGetCoeff(L->p)==pGetCoeff(L->t_p)); |
| 948 | |
| 949 | if (testp) |
| 950 | { |
| 951 | poly pn = NULL; |
| 952 | if (L->bucket != NULL) |
| 953 | { |
| 954 | kFalseReturn(kbTest(L->bucket)); |
| 955 | r_assume(L->bucket->bucket_ring == L->tailRing); |
| 956 | if (L->p != NULL && pNext(L->p) != NULL) |
| 957 | { |
| 958 | pn = pNext(L->p); |
| 959 | pNext(L->p) = NULL; |
| 960 | } |
| 961 | } |
| 962 | kFalseReturn(kTest_T(L, strat, lpos, 'L')); |
| 963 | if (pn != NULL) |
| 964 | pNext(L->p) = pn; |
| 965 | |
| 966 | ring r; |
| 967 | poly p; |
| 968 | L->GetLm(p, r); |
| 969 | if (L->sev != 0L) |
| 970 | { |
| 971 | if (p_GetShortExpVector(p, r) != L->sev) |
| 972 | { |
| 973 | return dReportError("L[%d] wrong sev: has %lo, specified to have %lo", |
| 974 | lpos, p_GetShortExpVector(p, r), L->sev); |
| 975 | } |
| 976 | } |
| 977 | } |
| 978 | if (L->p1 == NULL) |
| 979 | { |
| 980 | // L->p2 either NULL or "normal" poly |
| 981 | pFalseReturn(pp_Test(L->p2, currRing, L->tailRing)); |
no test coverage detected