| 943 | } |
| 944 | |
| 945 | BOOLEAN jjMINRES(leftv res, leftv v) |
| 946 | { |
| 947 | int len=0; |
| 948 | int typ0; |
| 949 | lists L=(lists)v->Data(); |
| 950 | intvec *weights=(intvec*)atGet(v,"isHomog",INTVEC_CMD); |
| 951 | int add_row_shift = 0; |
| 952 | if (weights==NULL) |
| 953 | weights=(intvec*)atGet(&(L->m[0]),"isHomog",INTVEC_CMD); |
| 954 | if (weights!=NULL) add_row_shift=weights->min_in(); |
| 955 | resolvente rr=liFindRes(L,&len,&typ0); |
| 956 | if (rr==NULL) return TRUE; |
| 957 | resolvente r=iiCopyRes(rr,len); |
| 958 | |
| 959 | syMinimizeResolvente(r,len,0); |
| 960 | omFreeSize((ADDRESS)rr,len*sizeof(ideal)); |
| 961 | len++; |
| 962 | res->data=(char *)liMakeResolv(r,len,-1,typ0,NULL,add_row_shift); |
| 963 | return FALSE; |
| 964 | } |
| 965 | |
| 966 | BOOLEAN jjBETTI(leftv res, leftv u) |
| 967 | { |
nothing calls this directly
no test coverage detected